C++为什么要保证哈希不会抛出异常

哈希容器的用户间接地使用哈希功能，不希望简单的操作发生异常。这是标准库的要求。

Example, bad（反面示例）       

template<>
struct hash<My_type> {  // thoroughly bad hash specialization
    using result_type = size_t;
    using argument_type = My_type;

    size_t operator() (const My_type & x) const
    {
        size_t xs = x.s.size();
        if (xs < 4) throw Bad_My_type{};    // "Nobody expects the Spanish inquisition!"
        return hash<size_t>()(x.s.size()) ^ trim(x.s);
    }
};

int main()
{
    unordered_map<My_type, int> m;
    My_type mt{ "asdfg" };
    m[mt] = 7;
    cout << m[My_type{ "asdfg" }] << '\n';
}

如果你已经定义了哈希特化，争取简单地实现为通过异或和标准库哈希特化的组合。        

• 提示抛出异常的哈希。