我有一个 unordered_map<Block, int>其中 Block 是一个简单的结构，定义如下:

struct Block {
    size_t start;
    size_t end;

    bool operator==(const Block& b) const {
        return start == b.start && end == b.end;
    }
};

namespace std {
template<>
struct hash<Block> {
    size_t operator()(const Block& b) const {
        return b.start;
    }
};
} 

当尝试访问 map 时，我确实在 gdb 中收到以下错误消息(g++ 4.7.1 和 clang++ 3.1 都相同):

Program received signal SIGFPE, Arithmetic exception.
0x0000000000401e0b in std::__detail::_Mod_range_hashing::operator() (this=0x7fffffffd8e0, __num=0, __den=0)
    at /usr/include/c++/4.7/bits/hashtable_policy.h:245
245     { return __num % __den; }

我的 libstdc++ 版本是 3.4.17(即来自 GCC 4.7 的版本)

相关回溯:

#0  0x0000000000401e0b in std::__detail::_Mod_range_hashing::operator() (this=0x7fffffffd8e0, __num=0, __den=0)
    at /usr/include/c++/4.7/bits/hashtable_policy.h:245
#1  0x0000000000407199 in std::__detail::_Hash_code_base<Block, std::pair<Block const, int>, std::_Select1st<std::pair<Block const, int> >, std::hash<Block>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, true>::_M_bucket_index (this=0x7fffffffd8e0, __c=0, __n=0) at /usr/include/c++/4.7/bits/hashtable_policy.h:787
#2  0x0000000000405230 in std::_Hashtable<Block, std::pair<Block const, int>, std::allocator<std::pair<Block const, int> >, std::_Select1st<std::pair<Block const, int> >, std::equal_to<Block>, std::hash<Block>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, true, false, true>::_M_bucket_index
    (this=0x7fffffffd8e0, __k=..., __c=0) at /usr/include/c++/4.7/bits/hashtable.h:466
#3  0x00000000004038de in std::__detail::_Map_base<Block, std::pair<Block const, int>, std::_Select1st<std::pair<Block const, int> >, true, std::_Hashtable<Block, std::pair<Block const, int>, std::allocator<std::pair<Block const, int> >, std::_Select1st<std::pair<Block const, int> >, std::equal_to<Block>, std::hash<Block>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, true, false, true> >::at (
    this=0x7fffffffd8e0, __k=...) at /usr/include/c++/4.7/bits/hashtable_policy.h:474
#4  0x0000000000403001 in SplicedAlignment::FindOptimalEndBlock() const::{lambda(Block const&)#1}::operator()(Block const&) const (__closure=0x7fffffffd990, block=...) at splicing.cpp:151
#5  0x00000000004040b3 in std::for_each<__gnu_cxx::__normal_iterator<Block const*, std::vector<Block, std::allocator<Block> > >, SplicedAlignment::FindOptimalEndBlock() const::{lambda(Block const&)#1}>(__gnu_cxx::__normal_iterator<Block const*, std::vector<Block, std::allocator<Block> > >, SplicedAlignment::FindOptimalEndBlock() const::{lambda(Block const&)#1}, SplicedAlignment::FindOptimalEndBlock() const::{lambda(Block const&)#1}) (__first=..., __last=..., __f=...)
    at /usr/include/c++/4.7/bits/stl_algo.h:4442

编辑:我不认为它实际上会有所不同在哪里我调用函数只要我给它相同的参数，但显然它确实如此:

std::for_each(blocks.begin(), blocks.end(), [&](const Block& block) {
   map.at(block);
}

导致错误，而只是有:

const Block& block = blocks[0];
map.at(block);

工作得很好( blocks 是一个简单的 vector<Block>& )

最佳答案

旁白:如果您的散列函数不能抛出异常，那么给它一个 noexcept 异常规范非常重要，否则散列表需要将每个元素的散列码与元素本身一起存储(这会增加内存使用并影响性能)，以便不得抛出的容器操作不必重新计算哈希码。

SIGFPE 意味着除以零，从回溯来看它发生在这里:

    { return __num % __den; }

这可能意味着 __den 为零。该值来自 HashMap 的桶计数，不应为零。

你能确认当它崩溃时 m._M_bucket_count 是零吗？

如果是这样，则表明您以某种方式损坏了 map (您是否尝试过使用 -D_GLIBCXX_DEBUG 进行编译以打开 libstdc++ Debug模式检查？您是否尝试过在 valgrind<>?) 或者 libstdc++ 代码中存在错误(这是可能的，但不太可能)。

下面的一些其他答案给出了 map 如何损坏的示例，例如使用 malloc 为其分配存储空间，但实际上并未在该存储空间中构造对象，也未使用 memset 覆盖对象。

另一种可能性是你的散列映射是一个全局变量，你正在从另一个全局变量的构造函数访问它，它运行到 Static Initialization Order Fiasco 中。 .如果在其构造函数运行之前使用映射，则桶计数将为零。

关于c++ - SIGFPE 访问 unordered_map 时，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/13580823/