c++ - 有或没有运算符 << 的 SFINAE 重载选择？

Question

考虑这两个函数:

template <class Type, 
          class = typename std::enable_if</*HAS OPERATOR <<*/>::type>
void f(std::ostream& stream, const Type& value);

template <class Type, 
          class... DummyTypes,
          class = typename std::enable_if<sizeof...(DummyTypes) == 0>::type>
void f(std::ostream& stream, const Type& value, DummyTypes...);

由于非可变重载优先于可变重载，我想检查类型是否有 operator<<用std::ostream使用 std::enable_if在第一个版本中。

那么我应该写什么来代替 /*HAS OPERATOR <<*/ ？

Answer 1

以下应该有效

template <class Type, 
          class = decltype(std::declval<std::ostream&>() << std::declval<Type>())>
void f(std::ostream& stream, const Type& value)
{
    stream << value;
}

(请注意，在这种情况下您不需要使用 std::enable_if)