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

Question

在previous 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“。OR
• construct一个本地临时文件，并将其复制到"c“中。带有参数"i，d"

的OR

• construct "c“

Answer 2

该标准规定不需要使用复制构造函数-参见第12.8/15节：

15每当使用复制构造函数复制临时类对象，并且该对象和副本具有相同的cv非限定类型时，允许实现将原始对象和副本视为引用相同对象的两种不同方式，并且根本不执行复制，即使类复制构造函数或析构函数具有副作用。

更多的是类似的脉络。

Answer 3

方法不通过引用传递参数并将结果赋值给它吗？