看完this discussion我意识到我几乎完全误解了这件事:)
由于对 C++ 抽象机的描述不够严格(例如，与 JVM 规范进行比较)，如果不可能得到准确的答案，我宁愿得到关于合理“好”的规则的非正式澄清(非恶意)实现应遵循。
标准第 1.9 部分的关键概念是实现自由，即所谓的假设规则:
an implementation is free to disregard any requirement of this Standard as long as the result is as if the requirement had been obeyed, as far as can be determined from the observable behavior of the program.
根据标准(我引用 n3092)，术语“可观察的行为”表示以下含义:
— Access to volatile objects are evaluated strictly according to the rules of the abstract machine.
— At program termination, all data written into files shall be identical to one of the possible results that execution of the program according to the abstract semantics would have produced.
— The input and output dynamics of interactive devices shall take place in such a fashion that prompting output is actually delivered before a program waits for input. What constitutes an interactive device is implementation-defined.
所以，大致来说，volatile访问操作和io操作的顺序和操作数应该被保留；实现可以在保留这些不变量的程序中进行任意更改(与抽象 c++ 机器的某些允许行为相比)
期望非恶意实现足够广泛地处理 io 操作是否合理(例如，来自用户代码的任何系统调用都被视为此类操作)？ (例如，如果 RAII 包装器不包含 volatile，编译器不会丢弃 RAII 互斥锁/解锁)
“行为观察”应该从用户定义的 C++ 程序级别深入到库/系统调用中吗？当然，问题只是关于不打算从用户角度访问 io/volatile 的库调用(例如，作为新/删除操作)但可能(并且通常会)访问 volatile 或 io在库/系统实现中。编译器应该从用户的角度(并且将这些副作用视为不可观察)还是从“库”的角度(并将副作用视为可观察)来处理此类调用？
如果我需要防止编译器消除某些代码，最好不要问上述所有问题并简单地添加(可能是假的) volatile 访问操作(将所需的操作包装到 volatile 方法并调用他们在我自己的类的 volatile 实例上)在任何看起来可疑的情况下？
或者我完全错了，编译器不允许删除任何 c++ 代码，标准明确提到的情况除外(作为复制消除)
最佳答案
重要的是，编译器必须能够证明代码在删除之前没有副作用(或确定它有哪些副作用并用一些等效的部分替换它)代码)。一般来说，由于单独的编译模型，这意味着编译器在某种程度上受限于库调用具有可观察的行为并且可以被消除。
至于它的深度，它取决于库的实现。在 gcc 中，C 标准库使用编译器属性来通知编译器潜在的副作用(或没有副作用)。例如，strlen 带有 pure 属性标记，允许编译器转换此代码:
char p[] = "Hi there\n";
for ( int i = 0; i < strlen(p); ++i ) std::cout << p[i];
进入
char * p = get_string();
int __length = strlen(p);
for ( int i = 0; i < __length; ++i ) std::cout << p[i];
但是如果没有 pure 属性，编译器无法知道函数是否有副作用(除非它是内联它，并且可以看到 inside 函数)，并且无法进行上述优化。
也就是说，一般来说，编译器不会删除代码除非它可以证明它没有副作用，即不会影响程序的结果。请注意，这不仅与 volatile 和 io 有关，因为任何变量更改都可能在以后具有可观察的行为。
至于问题 3，只有当程序的行为与代码存在时完全相同(复制省略是一个异常(exception))，编译器才会删除您的代码，因此您甚至不必关心编译器是否将其删除。关于问题 4，as-if 规则是:如果编译器进行的隐式重构的结果产生相同的结果，则可以自由执行更改。考虑:
unsigned int fact = 1;
for ( unsigned int i = 1; i < 5; ++i ) fact *= i;
编译器可以自由地将代码替换为:
unsigned int fact = 120; // I think the math is correct... imagine it is
循环消失了，但行为是一样的:每次循环交互不影响程序的结果，并且变量在循环结束时具有正确的值，即如果以后在某些< em="">observable 操作，结果将是 as-if 循环已被执行。
不要太担心 可观察行为 和 as-if 规则的含义，它们基本上意味着编译器必须产生您在您的程序中编写的输出代码，即使它可以自由地通过不同的路径获得该结果。
编辑
@Konrad 对我使用 strlen 的初始示例提出了一个非常好的观点:编译器如何知道 strlen 调用可以是省略？答案是在原始示例中它不能，因此它不能忽略调用。没有什么可以告诉编译器从 get_string() 函数返回的指针不引用正在其他地方修改的内存。我已将示例更正为使用本地数组。
在修改后的示例中，数组是本地的，编译器可以验证没有其他指针指向同一内存。 strlen 接受一个 const 指针，因此它 promise 不会修改包含的内存，并且该函数是 pure 因此它 promise 不会修改任何其他状态。数组在循环结构内没有被修改，编译器收集所有这些信息可以确定对 strlen 的单个调用就足够了。如果没有 pure 说明符，编译器无法知道 strlen 的结果是否会在不同的调用中有所不同，并且必须调用它。
关于c++ - "Observable behaviour"和编译器自由消除/转换 c++ 代码，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/6664471/
我的目标是转换表单输入，例如“100兆字节”或“1GB”，并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前，我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效，但前提是输入是倍数(“gigabytes”，而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以，功能正常，
我正在尝试测试是否存在表单。我是Rails新手。我的new.html.erb_spec.rb文件的内容是:require'spec_helper'describe"messages/new.html.erb"doit"shouldrendertheform"dorender'/messages/new.html.erb'reponse.shouldhave_form_putting_to(@message)with_submit_buttonendendView本身，new.html.erb，有代码:当我运行rspec时，它失败了:1)messages/new.html.erbshou
我在从html页面生成PDF时遇到问题。我正在使用PDFkit。在安装它的过程中，我注意到我需要wkhtmltopdf。所以我也安装了它。我做了PDFkit的文档所说的一切......现在我在尝试加载PDF时遇到了这个错误。这里是错误:commandfailed:"/usr/local/bin/wkhtmltopdf""--margin-right""0.75in""--page-size""Letter""--margin-top""0.75in""--margin-bottom""0.75in""--encoding""UTF-8""--margin-left""0.75in""-
我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。 最佳答案 首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h
如何在buildr项目中使用Ruby？我在很多不同的项目中使用过Ruby、JRuby、Java和Clojure。我目前正在使用我的标准Ruby开发一个模拟应用程序，我想尝试使用Clojure后端(我确实喜欢功能代码)以及JRubygui和测试套件。我还可以看到在未来的不同项目中使用Scala作为后端。我想我要为我的项目尝试一下buildr(http://buildr.apache.org/)，但我注意到buildr似乎没有设置为在项目中使用JRuby代码本身!这看起来有点傻，因为该工具旨在统一通用的JVM语言并且是在ruby中构建的。除了将输出的jar包含在一个独特的、仅限ruby
在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
我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案 只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]
这道题是thisquestion的逆题.给定一个散列，每个键都有一个数组，例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案 这是一个迭代的解决方案，递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[
为了将Cucumber用于命令行脚本，我按照提供的说明安装了arubagem。它在我的Gemfile中，我可以验证是否安装了正确的版本并且我已经包含了require'aruba/cucumber'在'features/env.rb'中为了确保它能正常工作，我写了以下场景:@announceScenario:Testingcucumber/arubaGivenablankslateThentheoutputfrom"ls-la"shouldcontain"drw"假设事情应该失败。它确实失败了，但失败的原因是错误的:@announceScenario:Testingcucumber/ar
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server