问为什么无法在类主体中初始化静态const字符串成员

EN

char是一种基本类型(参考3.9.1基本类型basic.fundamental在草案n4296 for C++14中)。它既没有构造函数也没有析构函数，可以在constexpr中使用。

另一方面，std::string是一个类类型。更确切地说，它是basic_string的一个专门化，即basic_string<char>。basic_string类有很多构造函数，包括在代码中使用的const char *参数的构造函数，但是没有一个被声明为constexpr，所以不能构建constexpr std::string。这是有意义的，因为创建一个std::string并不简单，它包含了一个char数组的动态分配：

basic_string(const图表* s，const分配器&a=分配器())； ..。第一个元素被s指向的数组的分配副本。

但是IMHO正确的方法是声明一个数组：

class myClass
{
     static constexpr const char S[] ="aa";
}
const char A::S[];  // do not forget to define the static element if it is later odr-used...

顺便说一句，如果以后在程序中使用odr，静态数据成员将被定义在类定义之外。实现通常允许在类定义之外不定义积分常量或指针(无论如何，一个定义规则不需要诊断，未定义的行为允许预期的结果)，但是严格的C++语义不需要。

参考n4296 C++14草案: 9.4.2静态数据成员class.static.data§3

如果非易失性const静态数据成员为整型或枚举类型，则类定义中的声明可以指定一个大括号或相等的初始化器，其中作为分配表达式的每个初始化器-子句都是一个常量表达式(5.20)。文本类型的静态数据成员可以在类定义中使用constexpr说明符声明；如果是，则其声明应指定一个大括号或相等的初始化器，其中作为赋值表达式的每个初始化器-子句都是一个常量表达式。注:在这两种情况下，成员可能以常量表达式出现。-end注意，如果在程序中使用odr (3.2)，则成员仍应定义在名称空间范围内，并且命名空间范围定义不应包含初始化器。