C++11标准中聚合类与字面类定义矛盾的澄清及constexpr构造器相关问题咨询

一、聚合类与字面类的“矛盾”其实是规则的不同分支 #

你提到的《C++ Primer 第5版》里的表述看起来矛盾，其实是因为字面类的定义包含两种情况，书中可能没把分支说透：

• 聚合类作为字面类的情况：当一个聚合类的所有数据成员都是字面类型时，它自动成为字面类，这时候确实不需要定义任何构造函数——因为聚合类的核心条件之一就是没有用户定义的构造函数（C11标准下），它依靠聚合初始化来创建对象，而C11允许对聚合类进行constexpr初始化（比如constexpr MyAggregate a{1, 2};），这完全符合字面类的要求。
• 非聚合的字面类：这类类必须提供至少一个constexpr构造函数，因为它不能用聚合初始化，必须通过构造函数来完成编译期初始化，这时候它本身就不是聚合类了，自然不违反聚合类“无用户定义构造函数”的条件。

换句话说，书中的两个表述分别对应字面类的两个子类（聚合型和非聚合型），并不矛盾——聚合型字面类不需要构造函数，非聚合型字面类必须有constexpr构造函数，两者互不冲突。

二、为什么构造函数可以声明为constexpr，但不能声明为const #

这个问题要从两个修饰符的本质说起：

• const修饰成员函数的意义：是保证该函数不会修改对象的状态（即不会修改非mutable的成员变量）。但构造函数的作用恰恰是初始化对象的状态——在构造函数执行时，对象还处于未完全初始化的状态，这时候谈“不修改对象”完全没有意义，语法上也不允许给构造函数加上const修饰，因为const成员函数的this指针是const T*类型，而构造函数需要修改对象，this必须是T*类型，这就产生了冲突。
• constexpr修饰构造函数的意义：是允许构造函数在编译期执行，从而创建编译期常量对象。它的规则是构造函数的函数体要么为空，要么只包含初始化列表，或者符合constexpr函数的其他要求（比如没有副作用、只能调用其他constexpr函数等）。它和const成员函数的设计目的完全不同，constexpr关注的是编译期计算能力，而不是对象的不可修改性，所以语法上是允许的，而且是C++11引入的重要特性，用于增强编译期常量的表现力。

举个简单例子：

// 聚合型字面类，无需构造函数
struct AggregateLiteral {
    int a;
    double b;
};
constexpr AggregateLiteral al{3, 4.5}; // 合法，编译期初始化

// 非聚合型字面类，需要constexpr构造函数
struct NonAggregateLiteral {
    int x;
    constexpr NonAggregateLiteral(int val) : x(val) {} // 合法的constexpr构造函数
};
constexpr NonAggregateLiteral nal{10}; // 合法，编译期初始化

// 错误示例：给构造函数加const
struct BadStruct {
    int y;
    BadStruct(int val) const : y(val) {} // 编译错误！构造函数不能是const
};

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