c++ - 按值传递参数时是否保证复制构造函数调用

Question

有人向我建议，允许优化器在任何不修改参数的函数中自由交换按常量引用传递参数和按值传递参数。 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 指定:

• 在 return 语句中 ...
• 在throw-expression ...
• 当临时类对象...将被复制/移动...
• 当异常处理程序的异常声明声明了一个相同类型的对象...作为异常对象

这些都不适用于此处，但如果您传递了一个临时值，第三个将适用:

foo(MyClass());

在这种情况下，可能不会打印消息。

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