草庐IT

c++ - 强制函数为纯函数

coder 2024-02-23 原文

在 C++ 中,可以将函数声明为 const,这意味着,据我所知,编译器确保函数不会修改对象。在 C++ 中是否有类似的东西可以要求函数是纯函数?如果不是在 C++ 中,是否有一种语言可以满足此要求?

如果这不可能,为什么可以要求函数是 const 而不是要求它们是纯的?是什么让这些要求不同?

为了清楚起见,我纯粹希望没有副作用,也没有使用传递给函数的变量以外的变量。因此,应该没有文件读取或系统调用等。

这里有一个更清晰的副作用定义:

不修改运行程序的计算机上的文件,也不修改作用域在函数之外的变量。除了传递给它的变量之外,没有信息用于计算函数。运行函数应该在每次运行时返回相同的东西。

注意:我做了更多研究并遇到了 pure script (感谢 jarod42 的评论)

基于对维基百科文章的快速阅读,我的印象是您可以要求纯脚本中的函数是纯函数,但我并不完全确定。

最佳答案

简短回答:不。没有名为 pure 的等效关键字可以像 const 那样限制函数。

但是,如果您有一个特定的全局变量并希望保持不变,您可以选择 static type myVar。这将要求只有该文件中的函数才能使用它,而该文件之外的任何函数都不能使用它。这意味着该文件外部的任何函数都将被限制不理会它。

至于“副作用”,我将逐一分解,以便您了解您有哪些选择:

  • 不修改运行程序的计算机上的文件。

据我所知,您不能限制函数来执行此操作。 C++ 只是不提供一种方法来约束这样的函数。但是,如果愿意,您可以设计一个不修改任何文件的功能。

  • 不修改作用域外的变量。

据我所知,除了通过指针或引用作为参数传递的任何内容外,全局变量是唯一可以在函数范围之外修改的变量。全局变量可以选择常量或静态,这将阻止您修改它们,但除此之外,据我所知,您实际上无能为力。

  • 除了传递给函数的变量外,没有任何信息用于计算函数。

同样,您不能强制它这样做,我知道。但是,如果需要,您可以将函数设计成这样工作。

  • 运行函数应该在每次运行时返回相同的东西。

我不确定我是否理解您为什么要像这样约束一个函数,但是不。不是我知道的。同样,如果您愿意,也可以这样设计。

至于为什么 C++ 不提供这样的选项?我猜可重用性。您似乎有一个特定的列表,列出了您不希望您的函数执行的操作。然而,许多其他 C++ 用户作为一个整体需要这组特定约束的可能性通常非常小。也许他们一次需要一两个,但不是一次全部。添加它似乎不值得。

然而,关于 const 却不能这样说。 const 一直被使用,尤其是在参数列表中。这是为了防止数据在通过引用或其他方式传递时被修改。因此,编译器需要知道哪些函数修改了对象。它在函数声明中使用 const 来跟踪这一点。否则,它是无从知晓的。但是,通过使用 const,它非常简单。它可以限制对象只使用保证它保持不变的函数,或者在函数声明中使用 const 关键字。

因此,const 得到了很多重用。

关于c++ - 强制函数为纯函数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56301071/

有关c++ - 强制函数为纯函数的更多相关文章

  1. ruby - 使用 ruby​​ 将 HTML 转换为纯文本并维护结构/格式 - 2

    我想将html转换为纯文本。不过,我不想只删除标签,我想智能地保留尽可能多的格式。为插入换行符标签,检测段落并格式化它们等。输入非常简单,通常是格式良好的html(不是整个文档,只是一堆内容,通常没有anchor或图像)。我可以将几个正则表达式放在一起,让我达到80%,但我认为可能有一些现有的解决方案更智能。 最佳答案 首先,不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案,它会随着HTML的变化而崩溃,或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h

  2. ruby-on-rails - 如何优雅地重启 thin + nginx? - 2

    我的瘦服务器配置了nginx,我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例,但找不到好的解决方案。有没有人能做到这一点? 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器,例如server{listen80;server

  3. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem,所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  4. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词,但有时效果很好,在某些情况下会出现此错误?这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊,我找到了!gsub!是一个非常奇怪的方法。首先,它替换了字符串,所以它实际上修改了

  5. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具,作为不接受任何输出的更大程序的一部分,以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改,我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

  6. ruby - 在 Ruby 中按名称传递函数 - 2

    如何在Ruby中按名称传递函数?(我使用Ruby才几个小时,所以我还在想办法。)nums=[1,2,3,4]#Thisworks,butismoreverbosethanI'dlikenums.eachdo|i|putsiend#InJS,Icouldjustdosomethinglike:#nums.forEach(console.log)#InF#,itwouldbesomethinglike:#List.iternums(printf"%A")#InRuby,IwishIcoulddosomethinglike:nums.eachputs在Ruby中能不能做到类似的简洁?我可以只

  7. ruby - 使用 `+=` 和 `send` 方法 - 2

    如何将send与+=一起使用?a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法,而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

  8. C51单片机——实现用独立按键控制LED亮灭(调用函数篇) - 2

    说在前面这部分我本来是合为一篇来写的,因为目的是一样的,都是通过独立按键来控制LED闪灭本质上是起到开关的作用,即调用函数和中断函数。但是写一篇太累了,我还是决定分为两篇写,这篇是调用函数篇。在本篇中你主要看到这些东西!!!1.调用函数的方法(主要讲语法和格式)2.独立按键如何控制LED亮灭3.程序中的一些细节(软件消抖等)1.调用函数的方法思路还是比较清晰地,就是通过按下按键来控制LED闪灭,即每按下一次,LED取反一次。重要的是,把按键与LED联系在一起。我打算用K1来作为开关,看了一下开发板原理图,K1连接的是单片机的P31口,当按下K1时,P31是与GND相连的,也就是说,当我按下去时

  9. ruby-on-rails - 将字符串转换为 ruby​​-on-rails 中的函数 - 2

    我需要一个通过输入字符串进行计算的方法,像这样function="(a/b)*100"a=25b=50function.something>>50有什么方法吗? 最佳答案 您可以使用instance_eval:function="(a/b)*100"a=25.0b=50instance_evalfunction#=>50.0请注意,使用eval本质上是不安全的,尤其是当您使用外部输入时,因为它可能包含注入(inject)的恶意代码。另请注意,a设置为25.0而不是25,因为如果它是整数a/b将导致0(整数)。

  10. ruby - 如何计算 Liquid 中的变量 +1 - 2

    我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止,这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量,我

随机推荐