复制构造函数不被调用,而它应该被调用

Copy constructor is not called whereas it should be

本文关键字:调用 构造函数 复制      更新时间:2023-10-16
#include <iostream>
using namespace std;
class Base{
    int a;
public:
    Base(int b):a(b){cout<<"0"<<endl;}
    Base(Base const &b):a(b.a){cout<<"1"<<endl;}
private:
    Base(Base &b);
};
Base fun(){
    return 2;//
}
int main(){
    fun();
    return 0;
}

我认为它会调用 Base(int b( 来构造一个临时对象,然后使用 基数(基座常量和b(,所以它会去"0"和"1",但作为 fack 它只去"0"的问题,为什么?

这个问题被称为复制省略:在某些情况下,编译器被允许复制(或移动(对象的构造。值得注意的是,每当复制临时对象(即没有名称的对象(时,都可以省略副本。还允许编译器在从函数返回命名值时省略副本。这通常称为 [命名] 返回值优化或 NRVO。

可以省略副本的情况是(在C++标准中,您可以在第 12.8 节 [class.copy] 第 31 段中找到详细信息(:

  • 复制临时变量时
  • 使用其名称返回局部变量(但不是函数参数(时
  • 使用其名称抛出局部变量(但不是函数参数(时
  • 按值捕获异常时

即使应用此优化会更改程序的行为,即当复制(或移动(构造函数或析构函数具有副作用时,也特别允许复制省略。