草庐IT

ruby - 在 Ruby 的正则表达式中，前瞻和后视概念如何支持这种零宽度断言概念？

coder 2025-06-17 原文

我刚刚经历了这个概念 Zero-Width Assertions从文档中。我想到了一些快速的问题-

  • 为什么这样的名字Zero-Width Assertions ?
  • Look-ahead怎么了和 look-behind概念支持这样的Zero-Width Assertions概念？
  • 什么这样的?<=s , <!s , =s , <=s - 4 个符号在模式内指示？你能帮我集中精力了解实际发生的事情

    • 我还尝试了一些小代码来理解逻辑，但对它们的输出没有那么自信:
    irb(main):001:0> "foresight".sub(/(?!s)ight/, 'ee')
=> "foresee"
irb(main):002:0> "foresight".sub(/(?=s)ight/, 'ee')
=> "foresight"
irb(main):003:0> "foresight".sub(/(?<=s)ight/, 'ee')
=> "foresee"
irb(main):004:0> "foresight".sub(/(?<!s)ight/, 'ee')
=> "foresight"

    任何人都可以帮我理解吗？

    编辑

    在这里，我尝试了两个带有“零宽度断言”概念的片段，如下所示:
    irb(main):002:0> "foresight".sub(/(?!s)ight/, 'ee')
=> "foresee"

    另一个没有“零宽度断言”概念，如下所示:
    irb(main):003:0> "foresight".sub(/ight/, 'ee')
=> "foresee"

    以上两者都产生相同的输出，现在在内部如何 regexp他们自己移动以产生输出 - 你能帮我想象一下吗？

    谢谢

    最佳答案

    正则表达式从左到右匹配，并在它们移动时沿字符串移动某种“光标”。如果您的正则表达式包含像 a 这样的常规字符，这意味着:“如果光标前面有一个字母 a，请将光标向前移动一个字符，然后继续。否则，出现问题；备份并尝试其他操作。”所以你可能会说 a有一个字符的“宽度”。

    “零宽度断言”就是这样:它断言关于字符串的某些内容(即，如果某些条件不成立则不匹配)，但它不会向前移动光标，因为它的“宽度”为零.

    您可能已经熟悉一些更简单的零宽度断言，例如 ^和 $ .这些匹配字符串的开头和结尾。如果光标在看到这些符号时不在开头或结尾，则正则表达式引擎将失败、备份并尝试其他操作。但它们实际上并没有向前移动光标，因为它们不匹配字符；他们只检查光标在哪里。

    前瞻和后视的工作方式相同。当正则表达式引擎尝试匹配它们时，它会围绕光标检查正确的模式是在它的前面还是后面，但在匹配的情况下，它不会移动光标。

    考虑:

    /(?=foo)foo/.match 'foo'

    这将匹配!正则表达式引擎是这样的:
  • 从字符串的开头开始:|foo .
  • 正则表达式的第一部分是 (?=foo) .这意味着:仅匹配 foo出现在光标之后。可以？嗯，是的，所以我们可以继续。但是光标不会移动，因为这是零宽度。我们还有|foo .
  • 接下来是 f .有没有f在光标前？是的，所以继续，将光标移过 f :f|oo .
  • 接下来是 o .有没有o在光标前？是的，所以继续，将光标移过 o :fo|o .
  • 同样的事情，把我们带到 foo| .
  • 我们到达了正则表达式的末尾，没有失败，所以模式匹配。

    • 特别是关于你的四个断言:
  • (?=...)是“前瞻”；它断言 ...确实出现在光标之后。
    1.9.3p125 :002 > 'jump june'.gsub(/ju(?=m)/, 'slu')
 => "slump june"

    “jump”中的“ju”匹配，因为接下来是“m”。但是“june”中的“ju”下一个没有“m”，所以它是单独存在的。

    由于它不会移动光标，因此在其后放置任何内容时必须小心。 (?=a)b永远不会匹配任何东西，因为它检查下一个字符是 a ，然后还要检查相同的字符是否为 b ，这是不可能的。
  • (?<=...)是“后视”；它断言 ...确实出现在光标之前。
    1.9.3p125 :002 > 'four flour'.gsub(/(?<=f)our/, 'ive')
 => "five flour"

    “four”中的“our”匹配，因为在它之前有一个“f”，但“flour”中的“our”在它之前有一个“l”，所以它不匹配。

    像上面一样，您必须小心放置在它之前的内容。 a(?<=b)永远不会匹配，因为它检查下一个字符是 a , 移动光标，然后检查前一个字符是否为 b .
  • (?!...)是“负前瞻”；它断言 ...不会出现在光标之后。
    1.9.3p125 :003 > 'child children'.gsub(/child(?!ren)/, 'kid')
 => "kid children"

    “child”匹配，因为接下来是一个空格，而不是“ren”。 “ child ”没有。

    这可能是我最常用的一种；精细控制接下来不能发生的事情就派上用场了。
  • (?<!...)是“负面回顾”；它断言 ...不会出现在光标之前。
    1.9.3p125 :004 > 'foot root'.gsub(/(?<!r)oot/, 'eet')
 => "feet root"

    “foot”中的“oot”很好，因为它前面没有“r”。 “root”中的“oot”显然有一个“r”。

    作为额外的限制，大多数正则表达式引擎要求 ...在这种情况下具有固定长度。所以你不能使用 ? , + , * , 或 {n,m} .

    • 你也可以嵌套这些，否则做各种疯狂的事情。我主要将它们用于我知道永远不必维护的一次性使用，因此我没有任何实用的实际应用程序示例；老实说，它们很奇怪，您应该先尝试以其他方式做您想做的事。 :)

    事后思考:语法来自 Perl regular expressions ，其中使用了 (?后面是许多扩展语法的各种符号，因为 ?本身是无效的。所以<=本身没有任何意义； (?<=是一个完整的标记，意思是“这是回顾的开始”。就像如何+=和 ++是独立的运算符，即使它们都以 + 开头.

    不过，它们很容易记住:=表示向前看(或者，实际上，“这里”)，<表示向后看，!有“不”的传统含义。

    关于你后面的例子:
    irb(main):002:0> "foresight".sub(/(?!s)ight/, 'ee')
=> "foresee"

irb(main):003:0> "foresight".sub(/ight/, 'ee')
=> "foresee"

    是的，这些产生相同的输出。这是使用前瞻的棘手之处:
  • 正则引擎已经尝试了一些东西，但都没有奏效，现在在fores|ight .
  • 它检查 (?!s) .是光标后的字符s ?不，是 i !所以那部分匹配并且匹配继续，但是光标没有移动，我们仍然有 fores|ight .
  • 它检查 ight .是否ight在光标之后？嗯，是的，确实如此，所以移动光标:foresight| .
  • 我们完成了!

    • 光标移到子字符串 ight 上，所以这是完整的匹配，这就是被替换的内容。

    做 (?!a)b没用，因为你说:下一个字符不能是 a ，而且必须是 b .但这与仅匹配 b 相同!

    这有时很有用，但您需要更复杂的模式:例如，(?!3)\d将匹配任何不是 3 的数字。

    这就是你想要的:
    1.9.3p125 :001 > "foresight".sub(/(?<!s)ight/, 'ee')
 => "foresight"

    这断言 s之前不来ight .

    关于ruby - 在 Ruby 的正则表达式中，前瞻和后视概念如何支持这种零宽度断言概念？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14387631/

    后视前瞻codebr34rubyregexruby-1.9.3

    有关ruby - 在 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

    随机推荐