重新定义 std::hash 模板结构

Question

通常，如果新类型需要哈希，则必须专门化 std::hash。我编写了一个测试哈希库，并希望将它用于标准库尚未专门化的所有类型。

我使用 gcc/4.9.3 和 clang/3.7.0 尝试了以下操作。令我惊讶的是，它确实有效。

#include <utility>
#include <functional>
#include <iostream>

namespace std {

template<typename T>
class hash
{
    public:
        size_t operator()(const T & obj)
        {
            return 99;
        }
};
}

int main(void)
{
    int i = 10;
    std::pair<int, int> pi{22,33};

    std::hash<int> hi;
    std::hash<std::pair<int, int>> hpi;

    std::cout << "Hash of int: " << hi(i) << "\n";
    std::cout << "Hash of int pair: " << hpi(pi) << "\n";
    return 0;
}

整数的哈希是整数本身（这是标准库版本），对的哈希是99。

那么两个问题。

1. 为什么有效？ std::hash 的模板版本应该已经被声明了。 （我唯一的猜测是它在更深的命名空间中，会被转发）

2. 这是标准行为吗？

编辑：对问题 1 的回答 - 已声明 template<typename T> struct hash，但似乎未在任何地方定义。这就是为什么我可以定义它。

Answer 1

17.6.4.2.1 命名空间标准 [namespace.std]

1 如果 C++ 程序添加声明或定义，则其行为未定义 namespace std 或 namespace std 内的命名空间，除非另有说明 指定的。程序可以为任何 标准库模板到namespace std 仅当声明 取决于用户定义的类型，并且专业化满足 原始模板的标准库要求，而不是 明确禁止。

由于您将已存在的通用模板重新定义为namespace std，因此您的行为未定义。这包括@T.C.在 cmets 中提到该程序运行良好。