在按值传递参数时,是否保证复制构造函数调用

Question

有人向我建议,允许优化器在任何不修改参数的函数中自由地交换参数传递const引用和参数传递值.这是C++标准允许的吗？

或者在代码中说明不同

struct MyClass {
    MyClass(MyClass const& mc) { std::cout << "xxx" << std::endl; }
};

void foo(MyClass mc) { }

MyClass mc;
foo(mc);

C++标准是否保证始终打印"xxx"？(参考标准赞赏)

Answer 1

是的,这里将使用复制构造函数.只有在C++ 11 12.8/31指定的某些情况下才允许复制省略:

这些都不适用于此,但如果您传递临时值,则第三个适用:

foo(MyClass());

在这种情况下,可能不会打印消息.

此外,如果复制构造函数没有副作用,那么在任何情况下(无论参数是否是临时的),都可以在"as-if"规则下省略副本,因为这样做不会影响程序的可见行为.