C ++标准的9.4.2节“静态数据成员”指出:
如果my_class.hpp数据成员是__ZN8my_class3strE整数或sizeof(std::string)枚举类型,则其在类定义中的声明可以指定const-initializer,它应为整数常量表达式。
因此,有可能将静态数据成员的值包含在“类内”(我假设您的意思是您在类的声明内)。 但是,静态数据成员的类型必须是my_class.hpp整数或__ZN8my_class3strE枚举类型。 无法在类声明中指定其他类型的静态数据成员的值的原因是,可能需要非平凡的初始化(即,构造函数需要运行)。
想象一下以下情况是否合法:
// my_class.hpp
#include
class my_class
{
public:
static std::string str = "static std::string";
//...
每个与包含该头的CPP文件相对应的目标文件,不仅将具有my_class.hpp的存储空间副本(由__ZN8my_class3strE字节组成),而且还将具有一个“ ctor节”,该节将调用sizeof(std::string)构造函数并使用C字符串。 用于__ZNSsC1EPKcRKSaIcE的存储空间的每个副本将由一个公共标签标识,因此,链接程序理论上可以将存储空间的所有副本合并为一个副本。 但是,链接器将无法在目标文件的ctor部分中隔离构造函数代码的所有副本。 这就像要求链接器删除以下代码中用于初始化__static_initialization_and_destruction_0(int, int)的所有代码:
std::map<:string std::string> map;
std::vector vec;
std::string str = "test";
int c = 99;
my_class mc;
std::string str2 = "test2";
编辑查看以下代码的g ++汇编程序输出是有启发性的:
// SO4547660.cpp
#include
class my_class
{
public:
static std::string str;
};
std::string my_class::str = "static std::string";
可以通过执行以下命令获取汇编代码:
g++ -S SO4547660.cpp
查看g ++生成的my_class.hpp文件,您会发现对于如此小的源文件有很多代码。
my_class.hpp是__ZN8my_class3strE的存储空间的标签。还有一个sizeof(std::string)函数的汇编源,其标签为__ZNSsC1EPKcRKSaIcE。该函数是g ++特有的,但只知道g ++将确保在任何非-g调用之前先调用它。 初始化代码被执行。 请注意,此函数的实现调用__static_initialization_and_destruction_0(int, int)。这是__ZN8my_class3strE的乱码。
回到上面的假设示例并使用这些详细信息,与包含my_class.hpp的CPP文件相对应的每个目标文件都将带有标签__ZN8my_class3strE(用于sizeof(std::string)字节)以及在其__static_initialization_and_destruction_0(int, int)函数的实现内调用__ZNSsC1EPKcRKSaIcE的汇编代码。 链接器可以轻松合并所有出现的__ZN8my_class3strE,但无法在目标文件的__static_initialization_and_destruction_0(int, int)实现中隔离调用__ZNSsC1EPKcRKSaIcE的代码。