函数式语言导致使用递归来解决很多问题,因此它们中的许多都执行尾调用优化 (TCO)。 TCO 导致从另一个函数(或它本身,在这种情况下,此功能也称为尾递归消除,它是 TCO 的子集)调用一个函数,作为该函数的最后一步,不需要新的堆栈框架,这减少了开销和内存使用。
Ruby 显然从函数式语言中“借用”了很多概念(lambda、map 等函数等),这让我很好奇:Ruby 是否执行尾调用优化?
最佳答案
不,Ruby 不执行 TCO。但是,它也不执行 TCO。
Ruby 语言规范并未提及任何有关 TCO 的内容。它没有说您必须这样做,但也没有说您不能 这样做。你不能依赖它。
这与 Scheme 不同,在 Scheme 中,语言规范要求所有实现必须执行 TCO。但它也不同于 Python,Guido van Rossum 在多个场合(最后一次是几天前)明确表示 Python 实现不应该执行 TCO。
Yukihiro Matsumoto 同情 TCO,他只是不想强制所有 实现支持它。不幸的是,这意味着您不能依赖 TCO,或者如果您依赖,您的代码将不再可移植到其他 Ruby 实现。
因此,一些 Ruby 实现会执行 TCO,但大多数不会。例如,YARV 支持 TCO,尽管(目前)您必须明确取消注释源代码中的一行并重新编译 VM,以激活 TCO——在未来的版本中,它将在实现证明后默认启用稳定的。 Parrot 虚拟机本身支持 TCO,因此 Cardinal 也可以很容易地支持它。 CLR 对 TCO 有一些支持,这意味着 IronRuby 和 Ruby.NET 可能可以做到。 Rubinius 可能也能做到。
但是 JRuby 和 XRuby 不支持 TCO,而且它们可能不会,除非 JVM 本身获得对 TCO 的支持。问题是这样的:如果你想有一个快速的实现,和Java快速无缝的集成,那么你应该和Java堆栈兼容,尽可能使用JVM的堆栈。您可以使用蹦床或显式连续传递样式很容易地实现 TCO,但是您不再使用 JVM 堆栈,这意味着每次您想要调用 Java 或从 Java 调用 Ruby 时,您都必须执行某种操作转换,这是缓慢的。因此,XRuby 和 JRuby 选择了速度和 Java 集成,而不是 TCO 和延续(它们基本上有相同的问题)。
这适用于所有想要与某些本身不支持 TCO 的主机平台紧密集成的 Ruby 实现。例如,我猜想 MacRuby 也会遇到同样的问题。
关于ruby - Ruby 是否执行尾调用优化?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/824562/
我正在学习如何使用Nokogiri,根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div
总的来说,我对ruby还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用
我有一个字符串input="maybe(thisis|thatwas)some((nice|ugly)(day|night)|(strange(weather|time)))"Ruby中解析该字符串的最佳方法是什么?我的意思是脚本应该能够像这样构建句子:maybethisissomeuglynightmaybethatwassomenicenightmaybethiswassomestrangetime等等,你明白了......我应该一个字符一个字符地读取字符串并构建一个带有堆栈的状态机来存储括号值以供以后计算,还是有更好的方法?也许为此目的准备了一个开箱即用的库?
我有一个Ruby程序,它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重,我想提高压缩级别,因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗?是否有另一个允许指定压缩级别的Ruby库? 最佳答案 这是我通过查看rubyzip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d
类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc
很好奇,就使用rubyonrails自动化单元测试而言,你们正在做什么?您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您?git中的预提交Hook?只是手动调用?我完全理解测试,但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的,并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您? 最佳答案 不确定您到底想听什么,但是有几个级别的自动代码库控制:在处理某项功能时,您可以使用类似autotest的内容获得关于哪些有效,哪些无效的即时反馈。要确保您的提
这似乎应该有一个直截了当的答案,但在Google上花了很多时间,所以我找不到它。这可能是缺少正确关键字的情况。在我的RoR应用程序中,我有几个模型共享一种特定类型的字符串属性,该属性具有特殊验证和其他功能。我能想到的最接近的类似示例是表示URL的字符串。这会导致模型中出现大量重复(甚至单元测试中会出现更多重复),但我不确定如何让它更DRY。我能想到几个可能的方向...按照“validates_url_format_of”插件,但这只会让验证干给这个特殊的字符串它自己的模型,但这看起来很像重溶液为这个特殊的字符串创建一个ruby类,但是我如何得到ActiveRecord关联这个类模型
假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外,还有什么方法可以访问C和m中的其他内容?我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)?如何在使用完匿名模块后将其删除,使其定义的常量不再存在? 最佳答案 三个答案:是的,使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于
我试图在一个项目中使用rake,如果我把所有东西都放到Rakefile中,它会很大并且很难读取/找到东西,所以我试着将每个命名空间放在lib/rake中它自己的文件中,我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题,但没有任务。我现在只有一个.rake文件作为测试,名为“servers.rake”,它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时
出于纯粹的兴趣,我很好奇如何按顺序创建PI,而不是在过程结果之后生成数字,而是让数字在过程本身生成时显示。如果是这种情况,那么数字可以自行产生,我可以对以前看到的数字实现垃圾收集,从而创建一个无限系列。结果只是在Pi系列之后每秒生成一个数字。这是我通过互联网筛选的结果:这是流行的计算机友好算法,类机器算法:defarccot(x,unity)xpow=unity/xn=1sign=1sum=0loopdoterm=xpow/nbreakifterm==0sum+=sign*(xpow/n)xpow/=x*xn+=2sign=-signendsumenddefcalc_pi(digits