SIGFPE与std无序映射

Question

下面是一个简单的应用程序，如果我取消对main.cc中提到的行的注释，它将为我带来SIGFPE。

config.h

#ifndef SRC_CONFIG_H_
#define SRC_CONFIG_H_

#include <cstdint>
#include <unordered_map>
#include <string>
#include <tuple>
#include <vector>

using ConfigTable_t = std::unordered_map<uint16_t, std::tuple<std::string, std::vector<uint8_t> > >;

static const ConfigTable_t gTable1 {
  { 0x100, std::make_tuple( "table1", std::vector<uint8_t> { 5,5,5,5,5,5 } ) }
};

static const ConfigTable_t gTable2 {
  { 0x200, std::make_tuple( "table2", std::vector<uint8_t> { 0,1,2,3,4,5 } ) }
};

const ConfigTable_t & getConfigTable();

#endif

table_provider.cc

#include "config.h"

const ConfigTable_t & getConfigTable() {
    return gTable1;
}

main.cc

#include "config.h"

static const uint16_t gId = 0x100;
// static const std::string gName = std::get<0>(getConfigTable().at(gId)); //  <-- Doesn't work
static const std::string gName = std::get<0>(gTable1.at(gId));             //  <-- Works  

int main() {
  return 0;
}

在https://stackoverflow.com/a/36406774/3884862中有一个与这个问题相关的指针，但我不知道为什么会发生这种情况。

我用

g++ -std=c++14 main.cc table_provider.cc -o试验

g++ (Ubuntu5.4.0-6 ubuntu1~16.04.11) 5.4.0 20160609

Answer 1

你有一个静态初始化顺序失败。

不要将定义放在头文件中，因为这将导致每个https://en.wikipedia.org/wiki/Translation_unit_(programming)都有自己在头文件中定义的变量的副本。

这意味着getConfigTable返回的gTable1将与main.cc文件中定义的gTable1不同。当您使用它时，其他的gTable1可能还没有初始化。

解决方案是将全局变量放在一个转换单元(源文件)中。或者更好的是，根本没有全局变量。

Answer 2

这段代码受到静态初始化顺序失败的影响。在gTable1翻译单元中初始化gName时，可能不会初始化main.cc翻译单元中的gName。注意，由于gTable1是在头文件中声明的static变量，所以每个翻译单元都有一个单独的实例。因此，直接访问它并使用getConfigTable将引用不同的对象。