c++ - 什么是复制省略和返回值优化?

标签 c++ optimization c++-faq return-value-optimization copy-elision

什么是复制省略?什么是(命名)返回值优化?它们意味着什么?

它们会在什么情况下发生?什么是限制?

最佳答案

介绍

技术概述 - skip to this answer .

对于发生复制省略的常见情况 - skip to this answer .

复制省略是大多数编译器实现的优化,以防止在某些情况下进行额外(可能代价高昂)的复制。它使按值返回或按值传递在实践中可行(有限制)。

这是唯一一种省略(哈哈!)as-if 规则的优化形式 - 即使复制/移动对象有副作用,也可以应用复制省略

以下示例取自Wikipedia :

struct C {
  C() {}
  C(const C&) { std::cout << "A copy was made.\n"; }
};
 
C f() {
  return C();
}
 
int main() {
  std::cout << "Hello World!\n";
  C obj = f();
}

根据编译器和设置,以下输出都是有效的:

Hello World!
A copy was made.
A copy was made.


Hello World!
A copy was made.


Hello World!

这也意味着可以创建更少的对象,因此您也不能依赖特定数量的析构函数被调用。你不应该在复制/移动构造函数或析构函数中有关键逻辑,因为你不能依赖它们被调用。

如果省略了对复制或移动构造函数的调用,则该构造函数必须仍然存在并且必须可以访问。这确保复制省略不允许复制通常不可复制的对象,例如因为它们有一个私有(private)的或删除的复制/移动构造函数。

C++17:从 C++17 开始,直接返回对象时可以保证复制省略:

struct C {
  C() {}
  C(const C&) { std::cout << "A copy was made.\n"; }
};
 
C f() {
  return C(); //Definitely performs copy elision
}
C g() {
    C c;
    return c; //Maybe performs copy elision
}
 
int main() {
  std::cout << "Hello World!\n";
  C obj = f(); //Copy constructor isn't called
}

关于c++ - 什么是复制省略和返回值优化?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/53107336/

相关文章:

c++ - Qt 在 resizeEvent 中添加子部件

java - 在优化的情况下精确测量时间

c++ - 构造函数中这个奇怪的冒号成员 (": ") 语法是什么?

c++ - 什么是 copy-and-swap 习语?

c++ - 使用 std::vector<std::string> myString 时出错

c++ - 我在哪里可以找到与 Clang 假设的目录结构相同的 mingw32?

c++ - 我应该如何将 getDC 用作具有自动清理功能的本地对象? C++

sql-server - 将数据分布到两列中

c++ - 仅优化球线检查?

c++ - T&&(双与号)在 C++11 中是什么意思?