Question

最近我遇到了我无法理解的奇怪的C ++行为。我有一个像这样的头文件：

1:  struct LogLevel {
2:  public:
3:    static const LogLevel ERROR;
4:
5:    LogLevel(int id) : _id(id) {}
6:
7:  private:
8:     int _id;
9:     std::string _name;
10: };

然后单独的C ++实现文件：

1:  LogLevel l = LogLevel::ERROR;
2:  const LogLevel LogLevel::ERROR(1);

第1行导致分段错误。我知道它与未初始化的内存有关，但我无法理解条形图背后发生了什么。

如果在实现文件中交换第1行和第2行，那么一切正常。

对我来说非常困惑的是，如果你只是用头文件中的第9行注释掉std :: string成员的定义，那么一切都会好的。

有没有人有明智的解释？

Answer 1

在同一单元中，静态变量按其定义的顺序初始化。

所以当你有这条线时：

LogLevel l = LogLevel::ERROR;

变量LogLevel::ERROR尚未运行其构造函数。这会导致未定义的行为。这个UB表现为段错误的原因可能是因为你复制了一个尚未初始化的std::string值，因此它的内部指针将是狂野的。

撤消定义的顺序可以解决问题，因为当您尝试将其分配给LogLevel::ERROR时，l确实存在。

NB。最好是l static。这可以防止您意外地从另一个单元引用它，因此您可以避免静态初始化顺序问题。如果您有意要从其他单位引用它，则必须确保在输入main()之前不在该单元中访问它。

Answer 2

在初始化之前不能使用值。

LogLevel l = LogLevel::ERROR;

默认复制构造函数尝试将ERROR._name复制到l._name，即使ERROR._name尚未初始化。这是未定义的行为，可能导致崩溃。正如您所注意到的，解决方案是更改两行代码的顺序。

将未初始化的类实例分配给类指针会导致分段错误

2 个答案: