为何GCC编译器有时不触发-Wuninitialized未初始化警告？

当结构体Obj定义了只初始化x1的显式构造函数，x2未初始化却在main中被使用时，执行g++ --std=c++17 -Wall abc.cpp编译未触发-Wuninitialized警告；但去掉显式构造函数后，编译器能正常对未初始化的x1和x2发出警告，这一行为可以从GCC的警告检测逻辑来解释：

代码示例1（无警告） #

#include <iostream>

using namespace std;

struct Obj
{
    int x1;
    int x2;

    Obj() : x1(0) {}
};

int main()
{
    Obj obj;
    cout << obj.x1 << endl;
    cout << obj.x2 << endl;
    return 0;
}

编译命令：g++ --std=c++17 -Wall abc.cpp，编译过程无任何警告输出。

代码示例2（有警告） #

#include <iostream>

using namespace std;

struct Obj
{
    int x1;
    int x2;

//    Obj() : x1(0) {}
};

int main()
{
    Obj obj;
    cout << obj.x1 << endl;
    cout << obj.x2 << endl;
    return 0;
}

编译后警告信息：

g++ --std=c++17 -Wall abc.cpp
abc.cpp: In function ‘int main()’:
abc.cpp:16:17: warning: ‘obj.Obj::x1’ is used uninitialized in this function [-Wuninitialized]
   16 |     cout << obj.x1 << endl;
      |                 ^~
abc.cpp:17:17: warning: ‘obj.Obj::x2’ may be used uninitialized in this function [-Wmaybe-uninitialized]
   17 |     cout << obj.x2 << endl;
      |                 ^~

原因解释 #

1. 自定义构造函数的处理逻辑
   当你为结构体定义了显式的构造函数时，GCC会默认认为你是主动控制成员的初始化策略——哪怕你只初始化了部分成员，编译器也会假设你清楚未初始化成员的状态，因此不会主动触发-Wuninitialized警告。

2. 默认构造函数的处理逻辑
   当没有自定义构造函数时，编译器会生成默认构造函数，该构造函数不会初始化任何非类类型的成员（如int这类基本类型）。此时编译器能明确追踪到成员未被初始化就被使用，因此会触发对应的警告。

3. 如何在自定义构造函数场景下触发警告
   若要检测自定义构造函数中未初始化的成员，需要额外启用-Wextra（或单独启用-Wmaybe-uninitialized），同时建议结合优化等级（如-O1及以上）来提升检测的准确性。例如执行编译命令：g++ --std=c++17 -Wall -Wextra -O1 abc.cpp，就能看到针对代码示例1中x2的未初始化警告。

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