有人向我建议,允许优化器在任何不
修改参数的
函数中自由地交换参数传递const引用和参数传递值.这是C标准允许的吗？
或者在代码中说明不同
struct MyClass {
MyClass(MyClass const& mc) { std::cout << "xxx" << std::endl; }
};
void foo(MyClass mc) { }
MyClass mc;
foo(mc);
C标准是否保证始终打印“xxx”？ (参考标准赞赏)
是的,这里将使用复制构造
函数.只有在C 11 12.8 / 31规定的某些情况下才允许复制省略：
>在退货声明中……
>在一个投掷表达中……
>当临时类对象…将被复制/移动时…
>当异常处理程序的异常声明声明与异常对象相同类型的对象时
这些都不适用于此,但如果您传递临时值,则第三个适用：
foo(MyClass());
在这种情况下,可能不会打印消息.
此外,如果复制构造函数没有副作用,那么在任何情况下(无论参数是否是临时的),都可以在“as-if”规则下省略副本,因为这样做不会影响程序的可见行为.
