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 ++（Ubuntu 5.4.0-6ubuntu1〜16.04.11）5.4.0 20160609

Answer 1

您有一个static initialization order fiasco。

不要将定义放在 header 文件中，因为这将导致每个translation unit都有其在头文件中定义的变量的副本。

这意味着gTable1返回的getConfigTable与gTable1文件中定义的main.cc是不同的。而且其他gTable1在使用时可能尚未初始化。

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

Answer 2

此代码受static initialization order fiasco的影响。在gTable1翻译单元中初始化table_provider.cc时，gName翻译单元中的main.cc可能未初始化。请注意，由于gTable1是在头文件中声明的static变量，所以每个转换单元将具有一个单独的实例。因此，直接访问并使用getConfigTable会引用不同的对象。

具有std无序映射的SIGFPE

2 个答案: