当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
发布于 2017-12-17 21:13:26
再一次结束这个问题:我提交了一个错误报告,请参阅https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81880
https://stackoverflow.com/questions/45719784
复制相似问题