为何使用std::make_unique时GCC无缺失初始化器警告？

1. GCC对标准库的特殊豁免处理 #

GCC的libstdc++标准库实现中，std::make_unique这类核心模板函数被编译器赋予了警告豁免机制：

• 要么是代码中标记了__attribute__((no_warn_missing_field_initializers))属性，直接跳过该警告检查；
• 要么是编译器内部对标准库代码做了特殊逻辑处理，避免对标准库自身的实现触发这类警告。
  这种设计是为了兼容标准库的通用场景——某些看似“未初始化”的成员，是标准允许的合理设计，编译器不会对标准库代码抛出干扰性警告。

2. 自定义模板无豁免，触发常规检查 #

你自己实现的make_unique属于用户自定义代码，编译器会按照常规规则进行警告扫描：
当模板实例化后调用S的构造函数时，编译器检测到S::s没有被显式初始化，就会触发-Wmissing-field-initializers警告，这是普通用户代码的正常检查行为。

3. Clang的行为差异说明 #

Clang的-Wmissing-field-initializers警告触发条件更严格，仅针对**聚合初始化（列表初始化）**场景：
比如S s4{2};这种写法属于聚合初始化，此时如果类成员未被全部显式初始化，Clang才会抛出警告；而通过构造函数的调用（包括S s2(2);、make_unique内部的构造调用）不属于聚合初始化范畴，所以不会触发该警告。

示例代码 #

#include <memory>
#include <string>

struct S {
    int n;
    std::string s;
    S(int val) : n(val) {} // 仅初始化成员n，s未被初始化
};

// 自定义make_unique实现
template<typename T, typename... Args>
std::unique_ptr<T> my_make_unique(Args&&... args) {
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

int main() {
    S s2(2);          // GCC触发警告，Clang不触发
    auto s3 = std::make_unique<S>(3); // GCC无警告，Clang无警告
    auto s4 = my_make_unique<S>(4);   // GCC触发警告，Clang无警告
    S s5{5};          // Clang触发警告，GCC部分版本也会触发
}

内容的提问来源于stack exchange，提问作者VL-80