值初始化：MSVC与clang编译器兼容性差异及疑问

这个问题我碰到过类似的情况，其实是旧版本clang的编译器bug，不是你对C++标准的理解有误～

首先，你对标准的认知是正确的：在构造函数的成员初始化列表中，m_a()和m_a{}在这种场景下，最终都应该触发值初始化（针对非聚合类型）或聚合初始化（针对聚合类型），最终效果都是将成员零初始化，标准里这两种方式是合法且等价的。

那为什么旧版本clang会报错呢？原因是clang 3.8和5.0存在一个已知的编译器bug：它们没有正确处理用户定义构造函数中，用空的{}初始化聚合类型成员（比如数组、无自定义构造函数的结构体）的情况。当你使用m_a()时，clang能正确识别这是值初始化；但碰到m_a{}时，旧版本clang错误地判定这种聚合初始化方式在成员初始化列表中无效，从而拒绝编译。

而MSVC 2017严格遵循了C++14标准，正确支持这种初始化方式；后来的clang版本（比如6.0及以后）也修复了这个bug，所以能正常编译你的代码。

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