unordered_map 中带有模板-class 的 C2535（Microsoft Visual Studio 2015 CTP6）

Question

我在尝试编译以下代码时收到一个奇怪的 C2535 编译器错误：

template<int NUMBER>
class Container {
public:
    bool operator==(const Container& other) const { return true; }
};

namespace std {
    template <int NUMBER>
    class hash<Container<NUMBER>> {
    public:
        size_t operator()(const Container<NUMBER> & state) const {
            return 0;
        }
    };
}

int main(int argc, char* argv[]){
    auto* b = new std::unordered_map< Container<1>, int>(); //C2535
}

请注意，如果我使用自己的基于模板的 Hasher

template<int NUMBER>
class Hash {
public:
    size_t operator()(const Container<NUMBER> & state) const {
        return 0;
    }
};

int main(int argc, char* argv[]){
    auto* b = new std::unordered_map< Container<1>, int, Hash<1>>();
}

代码编译得很好。我记得代码在 Visual Studio 2013 Express 中编译时没有任何问题。

问题：这是 VS 2015 - 错误还是这种行为在某种程度上符合标准？

Answer 1

实际上，由于 §14.5.1/4 中的微妙之处，它的格式不正确：

In a redeclaration, partial specialization, explicit specialization or explicit instantiation of a class template, the class-key shall agree in kind with the original class template declaration (7.1.6.3).

并且，根据 §20.9/2，hash 被声明为

Header <functional> synopsis

// 20.9.12, hash function primary template:
template <class T> struct hash;

因此尝试

template <int NUMBER>
struct hash<Container<NUMBER>> { /*…*/ };

相反。

unordered_map 中带有模板-class 的 C2535（Microsoft Visual Studio 2015 CTP6）

C2535 with template-class in unordered_map (Microsoft Visual Studio 2015 CTP6)

c++

hash

unordered-map

visual-studio-2015