C++ 默认构造函数 - 独钓寒江雪

本文围绕 3 个问题来理解 C++的默认构造函数：

什么是默认构造函数？
默认构造函数什么时候被调用？
编译器在什么情况下会生成默认构造函数？

一. 什么是默认构造函数

我们一般会认为默认构造函数就是编译器自动生成的那个构造函数，其实这种理解不全面。

准确的说，默认构造函数就是在调用时不需要显示地传入实参的构造函数。

根据这个原则，下面两种构造函数都是默认构造函数：

class Sample {
public:
  // 默认构造函数。
  Sample() {
    // do something
  }
};

class Sample {
public:
  // 默认构造函数。虽然有形参，但有默认值，调用的时候可以不显示的传入实参。
  Sample(int m = 10) {
    // do something
  }
};

二. 默认构造函数何时被调用

如果定义一个对象时没有使用初始化式，编译器就会使用默认构造函数。如：

Sample s;

三. 什么情况下会生成默认构造函数

有一句很经典的话可以用来回答这个问题：惟有默认构造函数被编译器需要的时候，编译器才会生成默认构造函数。

那我们只需知道什么时候“被编译器需要”，就可以知道什么情况下会生成默认构造函数了。

下面几种情况下，编译需要生成默认构造函数：

当该类的类对象数据成员有默认构造函数时。
当该类的基类有默认构造函数时。
当该类的基类为虚基类时。
当该类有虚函数时。

四. 注意事项

4.1 避免无参和缺省同时存在

无参数的默认构造函数和带缺省参数的默认构造函数同时存在时，编译器会产生二义性，从而生成编译错误。

class Sample {
public:
  // 默认构造函数
  Sample() {
    // do something
    printf("Sample()");
  }

  // 默认构造函数
  Sample(int m = 10) {
    // do something
    printf("Sample(int m = 10)");
  }
};


int main()
{
  Sample s; // error C2668: “Sample::Sample”: 对重载函数的调用不明确

    return 0;
}

4.2 不应在对象名后面加上括号

使用无参构造函数创建对象时，不应在对象名后面加上括号，否则会产生编译警告

1	warning C4930: “Sample s(void)”: 未调用原型函数(是否是有意用变量定义的?)

因为编译器误认为Sample s()语句是要声明一个返回值为Sample对象的函数s，而它又没找到函数s的定义，所以产生了警告。

class Sample {
public:
  // 默认构造函数
  Sample() {
    // do something
    printf("Sample()");
  }
};


int main()
{
  Sample s(); // warning C4930: “Sample s(void)”: 未调用原型函数(是否是有意用变量定义的?)

    return 0;
}

本文采用署名-非商业性使用-相同方式共享 4.0 国际许可协议，转载请注明出处。