“as-if rule ”赋予编译器优化或重新排序表达式的权利，这些表达式在某些规则下不会对程序的输出和正确性产生影响，例如；
§1.9.5
A conforming implementation executing a well-formed program shall produce the same observable behavior as one of the possible executions of the corresponding instance of the abstract machine with the same program and the same input.
我在上面链接的 cppreference url 特别提到了 C++14 下 volatile 对象的值以及“新表达式”的特殊规则:
New-expression has another exception from the as-if rule: the compiler may remove calls to the replaceable allocation functions even if a user-defined replacement is provided and has observable side-effects.
我假设这里的“可替换”就是在
中讨论的例子§18.6.1.1.2
Replaceable: a C++ program may define a function with this function signature that displaces the default version defined by the C++ standard library.
根据 as-if 规则，下面的 mem 可以被删除或重新排序是否正确？
{
... some conformant code // upper block of code
auto mem = std::make_unique<std::array<double, 5000000>>();
... more conformant code, not using mem // lower block of code
}
有没有办法确保它不被删除，并停留在上下代码块之间？想到一个放置得当的 volatile(/或 volatile std::array 或 auto 的左侧)，但由于没有读取 mem，我认为即使这样在 下也无济于事好像规则。
边注；我一直无法让 visual studio 2015 优化 mem 和分配。
澄清:观察的方法是，对操作系统的分配调用来自两个 block 的任何 i/o 之间。这一点是针对测试用例和/或尝试让对象分配到新位置。
最佳答案
是的；不。不在 C++ 中。
C++的抽象机根本不谈系统分配调用。只有这种影响抽象机行为的调用的副作用由 C++ 修复，即使这样，编译器也可以自由地做其他事情，只要它在抽象机方面产生相同的可观察行为。抽象机中的程序。
在抽象机中，auto mem = std::make_unique<std::array<double, 5000000>>();创建一个变量 mem .如果使用它，您可以访问大量 double s 打包成一个数组。抽象机可以随意抛出异常，或者为你提供那么大量double ;两者都可以。
请注意，通过new 替换所有分配的是合法的C++ 编译器。无条件 throw分配失败(或返回 nullptr 对于无抛出版本)，但这将是一个糟糕的实现质量。
在分配它的情况下，C++ 标准并没有真正说明它来自哪里。例如，编译器可以自由使用静态数组，并生成 delete。调用空操作(请注意，它可能必须证明它捕获了在缓冲区上调用 delete 的所有方法)。
接下来，如果你有一个静态数组，如果没有人读取或写入它(并且无法观察到构造)，编译器可以随意删除它。
话虽这么说，上面的大部分内容都依赖于编译器知道发生了什么。
所以一个办法就是让编译器无法知道。让您的代码加载一个 DLL，然后将指针传递给 unique_ptr在您希望知道其状态的位置到该 DLL。
因为编译器无法优化运行时 DLL 调用，所以变量的状态基本上必须符合您的预期。
遗憾的是，在 C++ 中没有动态加载代码的标准方法，因此您必须依赖当前的系统。
该DLL可以单独写成一个noop；或者，您甚至可以检查一些外部状态，并根据外部状态有条件地加载数据并将其传递给 DLL。只要编译器不能证明所说的外部状态会发生，它就不能围绕正在进行的调用进行优化。不是。然后，永远不要设置该外部状态。
在 block 的顶部声明变量。在未初始化时将指向它的指针传递给伪造的外部 DLL。在初始化之前重复，然后在之后重复。然后最后，在销毁它之前在 block 的末尾执行它，.reset()它，然后再做一次。
关于c++ - 假设规则和移除分配，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/34907922/
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
通过rubykoans.com，我在about_array_assignment.rb中遇到了这两段代码你怎么知道第一个是非并行赋值，第二个是一个变量的并行赋值？在我看来，除了命名差异之外，代码几乎完全相同。4deftest_non_parallel_assignment5names=["John","Smith"]6assert_equal["John","Smith"],names7end45deftest_parallel_assignment_with_one_variable46first_name,=["John","Smith"]47assert_equal'John
我早就知道Ruby中的“常量”(即大写的变量名)不是真正常量。与其他编程语言一样，对对象的引用是唯一存储在变量/常量中的东西。(侧边栏:Ruby确实具有“卡住”引用对象不被修改的功能，据我所知，许多其他语言都没有提供这种功能。)所以这是我的问题:当您将一个值重新分配给常量时，您会收到如下警告:>>FOO='bar'=>"bar">>FOO='baz'(irb):2:warning:alreadyinitializedconstantFOO=>"baz"有没有办法强制Ruby抛出异常而不是打印警告？很难弄清楚为什么有时会发生重新分配。 最佳答案
如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:
我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我
假设您在Ruby中执行此操作:ar=[1,2]x,y=ar然后，x==1和y==2。是否有一种方法可以在我自己的类中定义，从而产生相同的效果？例如rb=AllYourCode.newx,y=rb到目前为止，对于这样的赋值，我所能做的就是使x==rb和y=nil。Python有这样一个特性:>>>classFoo:...def__iter__(self):...returniter([1,2])...>>>x,y=Foo()>>>x1>>>y2 最佳答案 是的。定义#to_ary。这将使您的对象被视为要分配的数组。irb>o=Obje
我正在使用Dragonfly在Rails3.1应用程序上处理图像。我正在努力通过url将图像分配给模型。我有一个很好的表格:{:multipart=>true}do|f|%>RemovePicture?Dragonfly的文档指出:Dragonfly提供了一个直接从url分配的访问器:@album.cover_image_url='http://some.url/file.jpg'但是当我在控制台中尝试时:=>#ruby-1.9.2-p290>picture.image_url="http://i.imgur.com/QQiMz.jpg"=>"http://i.imgur.com/QQ
我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“
使用Paperclip，我想从这样的URL抓取图像:require'open-uri'user.photo=open(url)问题是我最后得到一个像“open-uri20110915-4852-1o7k5uw”这样的文件名。有什么方法可以更改user.photo上的文件名？作为一个额外的变化，Paperclip将我的文件存储在S3上，所以如果我可以在初始分配中设置我想要的文件名就更好了，这样图像就会上传到正确的S3key。像这样:user.photo=open(url),:filename=>URI.parse(url).path 最佳答案
这是我理想中想要的。用户做:a="hello"输出为Youjustallocated"a"!=>"Hello"顺序无关紧要，只要我能实现该消息即可。 最佳答案 不，没有直接的方法可以做到这一点，因为在执行代码之前，Ruby字节码编译器会丢弃局部变量名。YARV(MRI1.9.2中使用的RubyVM)提供的关于局部变量的唯一指令是getlocal和setlocal，它们都对整数索引进行操作，而不是变量名。以下是1.9.2源代码中insns.def的摘录:/****************************************