C++20成员初始化列表在Clang++与G++下的编译差异问题咨询

问题根因 #

该报错是Clang的静态检查规则比GCC更严格导致的：
你在Foo类型animal对象的聚合初始化列表里，引用了尚未完成构造的animal对象自身的ptr成员来初始化cat.ptr。
按照C++标准，聚合初始化严格按照成员声明顺序执行：animal.ptr会先被初始化为generateObject()的返回值，之后才会初始化animal.cat，这段代码的实际运行逻辑是符合预期的，但Clang的静态检查无法识别这种初始化顺序的依赖关系，误判为访问了未完全构造的对象成员，所以抛出了-Wuninitialized错误，加上你开启了-Werror把警告升级为了编译错误。

解决方案 #

方案1：拆分初始化逻辑（最推荐） #

把cat.ptr的赋值挪到构造函数体内，避开Clang的静态检查误判：

class Test {
    Foo animal;

    Test()
    : animal{
          generateObject(),
          {
             nullptr,
             0 
          }
      }
    {
        // 进入构造函数体时animal的ptr已经完成初始化，直接赋值即可
        animal.cat.ptr = animal.ptr;
    }
};

方案2：提前缓存初始化值 #

如果不想拆分聚合初始化逻辑，可以用委托构造提前缓存generateObject()的返回值，避免在初始化过程中引用未构造完成的对象：

class Test {
    Foo animal;

    Test()
    : Test(generateObject())
    {}

private:
    Test(Object* tmp)
    : animal{
        tmp,
        {tmp, 0}
    }
    {}
};

方案3：临时屏蔽对应警告（不推荐） #

如果确定代码逻辑没有问题，不想改动业务代码，可以临时关闭Clang的未初始化检查：

class Test {
    Foo animal;

    Test()
    : _Pragma("clang diagnostic push")
      _Pragma("clang diagnostic ignored \"-Wuninitialized\"")
      animal{
          generateObject(),
          {
             animal.ptr,
             0 
          }
      }
      _Pragma("clang diagnostic pop")
    {}
};

该方案会跳过静态检查，可能掩盖真正的未初始化问题，非必要不建议使用。

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