使用不同concept对std::hash特化出现重定义错误原因咨询

错误原因 #

C++的类模板偏特化冲突检查发生在模板定义阶段，而非模板实例化阶段，和当前是否存在同时匹配两个concept的类型无关。
你定义的两个std::hash偏特化：

template <HashableWithMember T> struct std::hash<T>;
template <HashableRange R> struct std::hash<R>;

满足以下两个触发冲突的条件：

• 两个偏特化的模板参数形态完全一致（都是单个无嵌套的类型参数）
• 对应的约束HashableWithMember和HashableRange之间没有明确的包含关系，编译器无法判定两个偏特化的优先级顺序，因此直接判定为重定义。

解决方案 #

你只需要给其中一个偏特化增加互斥约束，明确两个特化的优先级即可，比如给范围特化增加「不满足成员Hash约束」的限制：

template <HashableWithMember T>
struct std::hash<T> {
  size_t operator()(const T& t) const { return t.Hash(); }
};

template <HashableRange R>
requires (!HashableWithMember<R>)
struct std::hash<R> {
  size_t operator()(const R& r) const {
    // 你的范围哈希实现
    return 0;
  }
};

这样修改后，若存在类型同时满足两个约束，会优先匹配HashableWithMember的特化，不会出现歧义，编译器也不会再报重定义错误。

内容的提问来源于stack exchange，提问作者ofo