草庐IT

c++ - 在C++标准中，它在哪里表示用它代表的源代码替换类别描述的间距协议(protocol)？

coder 2023-11-13 原文

冒着提出一个过于挑剔的问题的风险，我花了很长时间试图证明(作为整个标准在不同上下文中发生的事情的一个例子)以下 integer literal 的定义是合理的。在 C++11 标准的 §2.14.2 中，特别是关于一个细节，即语法符号本身中空格的存在。

(请注意，此示例 - 整数文字的定义 - 不是我的问题的重点。我的问题的重点是询问 C++ 标准本身使用的语法描述符号，特别是关于语法类别名称之间的空格。我在这里给出的例子 - 整数文字的定义 - 之所以特别选择，只是因为它作为一个简单而清晰的例子。)

(为简洁而缩写，来自 §2.14.2):

integer-literal:
    decimal-literal integer-suffix_opt

decimal-literal:
    nonzero-digit
    decimal-literal digit

(如预期的那样，nonzero-digit 和 digit，[0] 1 ... 9)。 (注:标准中以上文字均为斜体。)

这一切对我来说都是有意义的，假设语法类别描述之间的空格 decimal-literal和 digit被理解为不存在于实际的源代码中，而只存在于语法描述本身中，因为它出现在第 2.14.2 节中。

这个约定——在符号内的类别描述之间放置一个空格，可以理解为源代码中不存在空格——在规范的其他地方使用。这里的示例只是一个明确的案例，其中空间显然不应该出现在源代码中。 (有关标准中的反例，请参阅此问题的附录，其中当类别描述被源代码中的实际标记替换时，类别描述之间必须存在空格或其他分隔符，或者这些分隔符是可选的。)

同样，冒着挑剔的风险，我无法在标准中的任何地方找到一个约定声明，即在解释诸如本例中的符号时，源代码中不存在空格。

该标准在 §1.6.1(及其后)中讨论了符号约定。我能找到的唯一相关文本是:

In the syntax notation used in this International Standard, syntactic categories are indicated by italic type, and literal words and characters in constant width type. Alternatives are listed on separate lines except in a few cases where a long set of alternatives is marked by the phrase “one of.”



我不会那么挑剔；然而，我发现标准中使用的符号有点棘手，所以我想清楚所有细节。我感谢任何愿意花时间让我了解这一点的人。

附录 为了回应类似“很明显，最终源代码中不应包含空格的声明，因此标准无需明确说明这一点”的评论:我在这个问题中选择了一个简单的例子，很明显的地方。标准中有很多情况下，如果没有 a.语言的先验知识(在我看来)，例如 §8.0.4 讨论“const”和“volatile”:
cv-qualifier-seq:
    cv-qualifier cv-qualifier-seq_opt

... 请注意这里的相反假设(最终源代码中需要空格或另一个或多个分隔符)，但这不可能从语法符号本身推断出来。

也有空格是可选的情况，例如:
noptr-abstract-declarator:
    noptr-abstract-declarator_opt parameters-and-qualifiers

(在这个例子中，为了说明这一点，我不会给出节号或解释正在讨论的内容；我只是问从语法符号本身是否很明显，在这种情况下，最终源代码中的空格在 token 之间是可选的。)

我怀疑这些评论——“这是显而易见的，所以它一定是这样的”——是我选择的例子如此明显的结果。这正是我选择这个例子的原因。

最佳答案

§2.7.1

There are five kinds of tokens: identifiers, keywords, literals, operators, and other separators. Blanks, horizontal and vertical tabs, newlines, formfeeds, and comments (collectively, “white space”), as described below, are ignored except as they serve to separate tokens.



因此，如果文字是标记，并且空格用于分隔标记，则文字数字之间的空格将被解释​​为两个单独的标记，因此不能成为同一文字的一部分。

关于c++ - 在C++标准中，它在哪里表示用它代表的源代码替换类别描述的间距协议(protocol)？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13754778/

amp43codebr的c++c++11standards

有关c++ - 在C++标准中，它在哪里表示用它代表的源代码替换类别描述的间距协议(protocol)？的更多相关文章

  1. ruby - 如何在 buildr 项目中使用 Ruby 代码？ - 2

    如何在buildr项目中使用Ruby？我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序，我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/)，但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻，因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby​​

  2. ruby-on-rails - Rails 源代码 : initialize hash in a weird way? - 2

    在rails源中:https://github.com/rails/rails/blob/master/activesupport/lib/active_support/lazy_load_hooks.rb可以看到以下内容@load_hooks=Hash.new{|h,k|h[k]=[]}在IRB中，它只是初始化一个空哈希。和做有什么区别@load_hooks=Hash.new 最佳答案 查看rubydocumentationforHashnew→new_hashclicktotogglesourcenew(obj)→new_has

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

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

  4. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

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

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

  6. ruby-on-rails - 浏览 Ruby 源代码 - 2

    我的主要目标是能够完全理解我正在使用的库/gem。我尝试在Github上从头到尾阅读源代码，但这真的很难。我认为更有趣、更温和的踏脚石就是在使用时阅读每个库/gem方法的源代码。例如，我想知道RubyonRails中的redirect_to方法是如何工作的:如何查找redirect_to方法的源代码？我知道在pry中我可以执行类似show-methodmethod的操作，但我如何才能对Rails框架中的方法执行此操作？您对我如何更好地理解Gem及其API有什么建议吗？仅仅阅读源代码似乎真的很难，尤其是对于框架。谢谢! 最佳答案 Ru

  7. ruby - 模块嵌套代码风格偏好 - 2

    我的假设是moduleAmoduleBendend和moduleA::Bend是一样的。我能够从thisblog找到解决方案,thisSOthread和andthisSOthread.为什么以及什么时候应该更喜欢紧凑语法A::B而不是另一个，因为它显然有一个缺点？我有一种直觉，它可能与性能有关，因为在更多命名空间中查找常量需要更多计算。但是我无法通过对普通类进行基准测试来验证这一点。 最佳答案 这两种写作方法经常被混淆。首先要说的是，据我所知，没有可衡量的性能差异。(在下面的书面示例中不断查找)最明显的区别，可能也是最著名的，是你的

  8. ruby - 寻找通过阅读代码确定编程语言的ruby gem？ - 2

    几个月前，我读了一篇关于ruby​​gem的博客文章，它可以通过阅读代码本身来确定编程语言。对于我的生活，我不记得博客或gem的名称。谷歌搜索“ruby编程语言猜测”及其变体也无济于事。有人碰巧知道相关gem的名称吗？ 最佳答案 是这个吗:http://github.com/chrislo/sourceclassifier/tree/master 关于ruby-寻找通过阅读代码确定编程语言的rubygem？，我们在StackOverflow上找到一个类似的问题：

  9. ruby - Net::HTTP 获取源代码和状态 - 2

    我目前正在使用以下方法获取页面的源代码:Net::HTTP.get(URI.parse(page.url))我还想获取HTTP状态，而无需发出第二个请求。有没有办法用另一种方法做到这一点？我一直在查看文档，但似乎找不到我要找的东西。 最佳答案 在我看来，除非您需要一些真正的低级访问或控制，否则最好使用Ruby的内置Open::URI模块:require'open-uri'io=open('http://www.example.org/')#=>#body=io.read[0,50]#=>"["200","OK"]io.base_ur

  10. ruby - 将 spawn() 的标准输出/标准错误重定向到 Ruby 中的字符串 - 2

    我想使用spawn(针对多个并发子进程)在Ruby中执行一个外部进程，并将标准输出或标准错误收集到一个字符串中，其方式类似于使用Python的子进程Popen.communicate()可以完成的操作。我尝试将:out/:err重定向到一个新的StringIO对象，但这会生成一个ArgumentError，并且临时重新定义$stdxxx会混淆子进程的输出。 最佳答案 如果你不喜欢popen，这是我的方法:r,w=IO.pipepid=Process.spawn(command,:out=>w,:err=>[:child,:out])

随机推荐