c++ - 我可以在所有 MSVC >= 2013 上安全地使用哪些 SFINAE 技巧？

Question

在 Qt 中，我有一个绝妙的(咳咳)想法，开始为标准库数据类型定义 qHash(用于 QHash 的散列函数，Qt 的关联容器之一)的重载: std::basic_string、std::shared_ptr 等。

这个过程可能有一个捷径:我可以定义 qHash 如果类型有一个 std::hash 专门化它自动(合理地假设我们不想做比标准库在此过程中所做的更多的事情)。

也就是说，我可以使用表达式 SFINAE 实现类似的东西:

template<typename T>
auto qHash(const T &t) -> decltype(std::hash<T>()(t)) 
{ 
    return std::hash<T>()(t); 
}

不幸的是，尽管 Qt 需要 C++11 编译器，表达式 SFINAE 在任何地方都不允许，因为 MSVC 不完全支持它(在撰写本文时:所有 MSVC 版本，直到和包括 VS15 预览版 5。不管怎样，Qt 必须一直支持到 2013 年)。

因此，问题是:有没有办法以某种方式做同样的事情

1. 不使用表达 SFINAE
2. 保证适用于 >= 2013 的所有 MSVC 版本？

我正在考虑通过 enable_if 等进行简单的 C++98 SFINAE 构造，但其他 SO 答案(如 this one)让我认为 MSVC 2013 也可能会错误编译, 因此结果再次变得 Not Acceptable 。

Answer 1

我认为您不需要为此表达 SFINAE，按照这些思路应该可行。

template<typename T>
typename std::hash<T>::result_type qHash(const T &t) 
{ 
     return std::hash<T>()(t); 
}

或者几乎所有在 hash::result_type 上执行 SFINAE 的方法。不幸的是，hash::result_type 在 C++17 中已弃用，但您仍然可以#ifdef MSVC 2013 的此代码。