C++中构造函数是否必须初始化成员变量？未全初始化会怎样？

嘿，这个问题问得很接地气——毕竟实际写代码时，确实不是每次都需要把所有成员变量一次性初始化。咱们分场景和成员类型来唠清楚会发生啥：

一、仅初始化部分成员变量的情况 #

这里核心要看成员变量的类型，不同类型的行为差异很大：

• 自定义类型成员（比如你自己写的类、std::string这类标准库类）：哪怕你没在构造函数里显式初始化它，编译器也会自动调用这个自定义类型的默认构造函数（前提是这个类有可用的默认构造）。如果这个自定义类没有默认构造函数，那编译器直接报错，连编译都过不了。
• 内置类型成员（int、double、指针、bool这些）：这就容易踩坑了：
  • 如果是在栈上创建的对象，未显式初始化的内置成员会是垃圾值（就是这块内存之前残留的随机数据）；
  • 如果是在堆上用new创建的对象，要是写的是new 类名()（带括号），内置成员会被值初始化（比如int变成0，指针变成nullptr）；但要是写new 类名（不带括号），那还是垃圾值。
• 静态成员变量：不管构造函数咋写，静态成员都不会在构造函数里初始化——它的初始化是在类外部（C++11及以后也支持类内inline初始化），跟对象的构造过程完全没关系。

举个直观的代码例子：

class Demo {
public:
    int num;
    std::string str; // 自定义类型，有默认构造
    static int static_num;

    // 只初始化num，str没显式处理
    Demo() : num(100) {}
};

// 静态成员单独初始化，和构造函数无关
int Demo::static_num = 200;

int main() {
    Demo stack_obj; // 栈对象：num=100，str被默认构造为空字符串，static_num=200
    Demo* heap_obj1 = new Demo; // 堆对象（不带括号）：num=100，str空字符串
    Demo* heap_obj2 = new Demo(); // 堆对象（带括号）：若num未初始化会被设为0，此处已初始化所以还是100
}

二、完全不初始化成员变量的构造函数 #

这种情况要么是你自己写了一个空构造函数，要么是编译器自动生成的默认构造（当你没写任何构造函数时），咱们分情况看：

class EmptyCtor {
public:
    int x;
    std::string y;

    // 完全没初始化任何成员的空构造
    EmptyCtor() {}
};

• 对于std::string y这类自定义类型成员，依然会自动调用默认构造，变成空字符串；
• 对于int x这类内置类型：栈上对象里的x是垃圾值，堆上用new EmptyCtor创建的x也是垃圾值，只有用new EmptyCtor()时x才会被初始化为0；
• 特殊情况：如果类里有const成员或者引用成员，那你必须在构造函数的初始化列表里显式初始化它们，不然编译器直接报错——因为const变量和引用必须在创建时就绑定值，没法后期赋值。比如下面这段代码根本过不了编译：

class InvalidClass {
public:
    const int fixed_val;
    int& ref_val;

    InvalidClass() {} // 编译错误！fixed_val和ref_val必须初始化
};

这种情况必须改成：InvalidClass(int v, int& r) : fixed_val(v), ref_val(r) {}才行。

三、需要注意的坑 #

• 未初始化的内置成员会带来不可预测的行为：比如用未初始化的int做计算，结果完全随机，调试起来特别头疼；
• 未初始化的指针更危险：不小心操作野指针会直接导致程序崩溃（段错误）；
• 一定要开编译器警告！比如GCC的-Wall、Clang的-Weverything，编译器会主动提醒你“未初始化的成员变量”，别忽略这些警告，它们能帮你避开很多低级bug。

内容的提问来源于stack exchange，提问作者fibo11235