thread_local静态成员模板定义:使用gcc初始化失败

Question

当C++类中的静态成员都是thread_local成员模板时,它不会被初始化.

#include <unordered_map>
#include <iostream>

class A {
public:
  template<typename T>
  thread_local static std::unordered_map<int,T> m;
};

template<typename T>
thread_local std::unordered_map<int,T> A::m{};

int main() {
  // A::m<int> = std::unordered_map<int,int>{}; // solves the problem
  std::cout << A::m<int>.bucket_count() << std::endl; // returns zero.
  A::m<int>.insert({1,2}); // causes SIGPFE (hash modulo bucket_count)
}

unordered_map未初始化且存储桶计数为零.当以存储桶计数为模取得散列时,这导致零除.没有thread_local或没有template它工作正常.在使用它的每个线程(注释行)中手动初始化成员可以解决问题.

这是根据C++标准的未定义行为还是这可能是编译器错误？我尝试使用gcc 7.1.1和5.2.0两者都产生错误.clang 3.8似乎奏效了.

编辑:我使用SVN的gcc 8.0.0 20170817确认了此行为并提交了错误报告:https://gcc.gnu.org/bugzilla/show_bug.cgi？id = 81880

Answer 1

再次，结束问题：我提交了错误报告，请参阅https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81880