带虚函数的结构体无法使用花括号初始化的底层原因是什么

底层设计原因核心来自聚合初始化的语义定位和带虚函数类的内存布局冲突 #

• 聚合初始化的设计本质就是对纯数据集合做逐成员的浅赋值，初始化列表的元素顺序完全对应用户声明的公开非静态成员顺序，整个过程没有任何隐式的额外逻辑介入，你给多少个值就给多少个对应成员赋值，不会处理任何编译器自动生成的内部数据。
• 带虚函数的类会被编译器自动插入隐式的*虚表指针（vptr）*作为实例内存布局的第一个成员，这个指针不属于用户声明的公开成员，用户没有权限也不应该手动给它赋值。如果允许这类类作为聚合类型使用列表初始化，会出现直接的逻辑冲突：初始化列表的第一个值到底是给编译器生成的vptr赋值，还是给用户声明的第一个成员赋值？如果让编译器偷偷给vptr赋值，又打破了聚合初始化无额外隐式逻辑的设计规则。
• 另外从语义层面，带有虚函数的类本身就具备多态属性，通常不是单纯的静态数据载体，往往需要配套的构造逻辑保证多态相关的状态正确。将这类类型排除在聚合类型之外，也能避免用户误用列表初始化跳过必要的构造步骤，引发未定义行为。

你给出的示例中，没有虚函数的struct A内存布局就是int a、int b两个成员连续排布，A a{1,2}就是直接给a赋值1、b赋值2，完全符合聚合初始化的规则。添加虚函数后，内存开头多了隐式的vptr，此时它不再符合聚合类型的定义，自然无法再用初始化列表直接构造，就会抛出你看到的C2440错误。

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