C++ 按值返回

Question

从下面的代码中，我期望类 CA 将调用以下内容

1. 构造函数创建由函数 foo 返回的临时对象
2. 复制构造函数创建要传递给main中的变量a的变量
3. 另一个复制构造函数，它将根据函数返回的值创建 a 变量。

为什么不是这样呢？我得到的结果只是

A

在我期待的时候

ABB

所以只有构造函数被调用。编译器是在幕后优化某些东西还是我错过了一些 C++ 概念？

class CA{
public:
   CA(){ std::cout << "A"; }
   CA( const CA& ){ std::cout << "B"; }
   CA& operator=(const CA& ){ std::cout << "C";return *this; }
};

CA foo(){
      return CA();
}

int main(){
 CA a = foo();    
}

Answer 1

Is compiler optimizing something behind the scenes or I missed some C++ concept?

点对点!这称为复制省略。在谷歌上查找 RVO 和 NRVO。您还应该查看三的规则。

复制省略是编译器被允许执行的影响可观察行为的唯一优化。出于这个原因，您不应该将重要的逻辑放在复制构造函数中。