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

发布时间：2020-12-16 03:35:55 所属栏目：百科来源：网络整理

导读：有人向我建议,允许优化器在任何不修改参数的函数中自由地交换参数传递const引用和参数传递值.这是C标准允许的吗？或者在代码中说明不同 struct MyClass { MyClass(MyClass const mc) { std::cout "xxx" std::endl; }};void foo(MyClass mc) { }MyClass mc;f

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

或者在代码中说明不同

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

void foo(MyClass mc) { }

MyClass mc;
foo(mc);

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

解决方法

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

>在退货声明中……
>在一个投掷表达中……
>当临时类对象…将被复制/移动时…
>当异常处理程序的异常声明声明与异常对象相同类型的对象时

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

foo(MyClass());

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

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!