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

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

1 个答案: