jjzjj

ruby - 为什么像 1 + n *= 3 这样的语句在 Ruby 中是允许的？

coder 2025-04-27 原文

许多 Ruby 文档中的优先级表列出了二进制算术运算的优先级高于其相应的复合赋值运算符。这让我相信像这样的代码不应该是有效的 Ruby 代码，但它确实是。

1 + age *= 2

如果优先规则是正确的，我希望上面的代码会像这样用括号括起来:
((1 + age) *= 2) #ERROR: Doesn't compile

但事实并非如此。

那么什么给呢？

最佳答案

正在检查 ruby -y输出，您可以确切地看到正在发生的事情。鉴于1 + age *= 2的来源，输出表明会发生这种情况(简化):
tINTEGER找到，识别为 simple_numeric ，这是一个 numeric ，这是一个 literal ，这是一个 primary .知乎+接下来，primary被识别为 arg .
+成立。还不能成交。
tIDENTIFIER成立。知道下一个 token 是 tOP_ASGN (运算符(operator)分配)，tIDENTIFIER被识别为 user_variable ，然后作为 var_lhs .
tOP_ASGN成立。还不能成交。
tINTEGER成立。和上一个一样，最终识别为primary .知道下一个 token 是 \n , primary被识别为 arg .

此时我们有arg + var_lhs tOP_ASGN arg在堆栈上。在此背景下，我们承认最后一个 arg如 arg_rhs .我们现在可以弹出 var_lhs tOP_ASGN arg_rhs从堆栈中并将其识别为 arg , 堆栈以 arg + arg 结尾，可以简化为 arg .
arg然后被识别为 expr , stmt , top_stmt , top_stmts . \n被识别为 term ，然后 terms ，然后 opt_terms . top_stmts opt_terms被识别为 top_compstmt ，最终 program .

另一方面，给定来源 1 + age * 2 ， 有时候是这样的:
tINTEGER找到，识别为 simple_numeric ，这是一个 numeric ，这是一个 literal ，这是一个 primary .知乎+接下来，primary被识别为 arg .
+成立。还不能成交。
tIDENTIFIER成立。知道下一个 token 是 * , tIDENTIFIER被识别为 user_variable ，然后 var_ref ，然后 primary , 和 arg .
*成立。还不能成交。
tINTEGER成立。和上一个一样，最终识别为primary .知道下一个 token 是 \n , primary被识别为 arg .

堆栈现在是 arg + arg * arg . arg * arg可以减少到arg ，结果 arg + arg也可以减少到arg .
arg然后被识别为 expr , stmt , top_stmt , top_stmts . \n被识别为 term ，然后 terms ，然后 opt_terms . top_stmts opt_terms被识别为 top_compstmt ，最终 program .

关键区别是什么？在第一段代码中，age (a tIDENTIFIER) 被识别为 var_lhs (作业的左侧)，但在第二个中，它是 var_ref (变量引用)。为什么？因为 Bison 是一个 LALR(1) 解析器，这意味着它具有单 token 前瞻。所以age是 var_lhs因为 Ruby 看到了 tOP_ASGN接下来;它是 var_ref当它看到* .这是因为 Ruby 知道(使用 Bison 生成的巨大 state transition table)一个特定的产生是不可能的。具体来说，此时栈为arg + tIDENTIFIER ，下一个标记是 *= .如 tIDENTIFIER被识别为 var_ref (这导致 arg )和 arg + arg减少到 arg ，则没有以 arg tOP_ASGN 开头的规则;因此，tIDENTIFIER不允许成为var_ref ，然后我们看下一个匹配规则(var_lhs 一个)。

所以 Aleksei 是部分正确的，因为“当它看到语法错误时，它会尝试另一种方式”是有道理的，但它仅限于 future 的一个标记，而“尝试”只是在状态表中查找。 Ruby 无法执行我们人类用来理解诸如 "the horse raced past the barn fell" 之类的句子的复杂修复策略。 ，我们很高兴地解析到最后一个单词，然后在第一个解析结果不可能时重新评估整个句子。

tl;dr:优先表不完全正确。 Ruby 源代码中没有它存在的地方；相反，它是各种解析规则相互作用的结果。当引入赋值的左侧时，许多优先级规则就会失效。

关于ruby - 为什么像 1 + n *= 3 这样的语句在 Ruby 中是允许的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/57654434/

rubycode别为arg

有关ruby - 为什么像 1 + n *= 3 这样的语句在 Ruby 中是允许的？的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用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

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. Ruby 解析字符串 - 2

    我有一个字符串input="maybe(thisis|thatwas)some((nice|ugly)(day|night)|(strange(weather|time)))"Ruby中解析该字符串的最佳方法是什么？我的意思是脚本应该能够像这样构建句子:maybethisissomeuglynightmaybethatwassomenicenightmaybethiswassomestrangetime等等，你明白了......我应该一个字符一个字符地读取字符串并构建一个带有堆栈的状态机来存储括号值以供以后计算，还是有更好的方法？也许为此目的准备了一个开箱即用的库？

  4. ruby - 使用 RubyZip 生成 ZIP 文件时设置压缩级别 - 2

    我有一个Ruby程序，它使用rubyzip压缩XML文件的目录树。gem。我的问题是文件开始变得很重，我想提高压缩级别，因为压缩时间不是问题。我在rubyzipdocumentation中找不到一种为创建的ZIP文件指定压缩级别的方法。有人知道如何更改此设置吗？是否有另一个允许指定压缩级别的Ruby库？ 最佳答案 这是我通过查看ruby​​zip内部创建的代码。level=Zlib::BEST_COMPRESSIONZip::ZipOutputStream.open(zip_file)do|zip|Dir.glob("**/*")d

  5. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类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

  6. ruby-on-rails - 使用 Ruby on Rails 进行自动化测试 - 最佳实践 - 2

    很好奇，就使用ruby​​onrails自动化单元测试而言，你们正在做什么？您是否创建了一个脚本来在cron中运行rake作业并将结果邮寄给您？git中的预提交Hook？只是手动调用？我完全理解测试，但想知道在错误发生之前捕获错误的最佳实践是什么。让我们理所当然地认为测试本身是完美无缺的，并且可以正常工作。下一步是什么以确保他们在正确的时间将可能有害的结果传达给您？ 最佳答案 不确定您到底想听什么，但是有几个级别的自动代码库控制:在处理某项功能时，您可以使用类似autotest的内容获得关于哪些有效，哪些无效的即时反馈。要确保您的提

  7. ruby-on-rails - rails : keeping DRY with ActiveRecord models that share similar complex attributes - 2

    这似乎应该有一个直截了当的答案，但在Google上花了很多时间，所以我找不到它。这可能是缺少正确关键字的情况。在我的RoR应用程序中，我有几个模型共享一种特定类型的字符串属性，该属性具有特殊验证和其他功能。我能想到的最接近的类似示例是表示URL的字符串。这会导致模型中出现大量重复(甚至单元测试中会出现更多重复)，但我不确定如何让它更DRY。我能想到几个可能的方向...按照“validates_url_format_of”插件，但这只会让验证干给这个特殊的字符串它自己的模型，但这看起来很像重溶液为这个特殊的字符串创建一个ruby​​类，但是我如何得到ActiveRecord关联这个类模型

  8. ruby - 在 Ruby 中使用匿名模块 - 2

    假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外，还有什么方法可以访问C和m中的其他内容？我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)？如何在使用完匿名模块后将其删除，使其定义的常量不再存在？ 最佳答案 三个答案:是的，使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

  9. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用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时

  10. ruby - 如何在 Ruby 中顺序创建 PI - 2

    出于纯粹的兴趣，我很好奇如何按顺序创建PI，而不是在过程结果之后生成数字，而是让数字在过程本身生成时显示。如果是这种情况，那么数字可以自行产生，我可以对以前看到的数字实现垃圾收集，从而创建一个无限系列。结果只是在Pi系列之后每秒生成一个数字。这是我通过互联网筛选的结果:这是流行的计算机友好算法，类机器算法:defarccot(x,unity)xpow=unity/xn=1sign=1sum=0loopdoterm=xpow/nbreakifterm==0sum+=sign*(xpow/n)xpow/=x*xn+=2sign=-signendsumenddefcalc_pi(digits

随机推荐