复制构造函数与返回值优化

Question

在前一个问题中,似乎一个普通的按值返回函数总是将其return参数复制到从中分配的变量中.

这是标准所要求的,还是可以通过构建'赋值'变量来优化函数,即使在函数体内也是如此？

struct C { int i; double d; };

C f( int i, int d ) {
    return C(i,d); // construct _and_ copy-construct?
}

int main() {
    C c = f( 1, 2 ); 
}

Answer 1

该标准允许任何级别的复制遗漏:

• 构造一个本地临时的,复制构造它到一个返回值,并将返回值复制 - 构造到本地"c".要么
• 构造一个本地临时,并复制构造成"c".要么
• 用"i,d"参数构造"c"

Answer 2

标准说不需要使用拷贝构造函数 - 参见12.8/15节:

15每当使用复制构造函数复制临时类对象,并且此对象和副本具有相同的cv-nonqualified类型时,允许实现将原始对象和副本视为引用同一对象的两种不同方式而不是即使类复制构造函数或析构函数有副作用,也要执行复制.

还有更多类似的东西.