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

在 previous question中,看起来普通的返回值函数总是将其返回参数复制到从其分配的变量中.

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

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 ); 
}

解决方法

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

>构造一个本地临时,复制 – 构造它到一个返回值,并将返回值复制 – 构造到本地“c”.要么>构造一个本地临时和复制构造到“c”.要么>使用参数“i,d”构造“c”