模板结构体大括号初始化：GCC与Clang编译差异咨询

嘿，这个问题其实戳中了C++标准中聚合初始化规则的细节，以及两大编译器对标准的不同执行尺度——结论是GCC严格遵循标准要求，而Clang做了非标准的兼容扩展，你的代码能在Clang编译通过，但确实存在可移植性问题。

先还原一下你的场景（大概率是这样）：你写的Node模板大概是类似这样的结构：

template<typename T>
struct Node {
    Node* next;
    T data;
    // 可能针对自定义类型有构造函数，或者用了类内成员初始化器
};

当你初始化Node<int>的时候用了聚合初始化的写法，比如：

Node<int> my_node = {nullptr, 42};

这时候Clang顺利通过，GCC却抛出了那个“无法转换初始化列表到Node”的错误。

背后的核心原因 #

问题出在聚合类型的定义和聚合初始化的规则上：

• C标准对聚合类型的定义有严格限制：比如C11中，带有类内成员初始化器（比如Node* next = nullptr;）的结构体不属于聚合类型；C++14才放宽了这个限制，允许带类内初始化器的结构体成为聚合类型。
• 如果你的代码是在C11标准下编译，GCC会严格执行规则：如果Node因为类内初始化器不算聚合类型，那你用{}的聚合初始化写法就不合法；但Clang做了扩展，即使在C11模式下也允许这种初始化。
• 另一种可能：你的模板中针对自定义类型生成了构造函数，但基础类型没有。这时候Node是聚合类型，但GCC对聚合初始化的参数匹配检查更严格，而Clang允许了更灵活的匹配。

怎么解决可移植性问题 #

最稳妥的方式是避免依赖聚合初始化的编译器差异，直接给Node模板添加一个通用的构造函数，让所有类型都通过构造函数初始化：

template<typename T>
struct Node {
    Node* next;
    T data;

    // 显式构造函数，覆盖所有类型的初始化场景
    Node(Node* n = nullptr, const T& val = T{}) : next(n), data(val) {}
};

这样不管是自定义类型还是int这类基础类型，都通过构造函数来初始化，GCC和Clang都会乖乖编译通过，彻底解决可移植性问题。

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