每当表达式未定义时,在C++中启用函数模板

Question

每当一些表达可以函数模板被启用的未定义(例如,x类型t是不流传送的对std::cout).就像是

template<typename t>
auto f(const t &x) 
  -> typename enable_if_undefined<decltype(std::cout << x)>::type;

使用SFINAE,我只看到如果定义表达式时如何启用,但是如果表达式未定义则不知道如何执行.

Answer 1

你需要一个帮助器,它提供一个你可以反转的布尔值:

template<typename, typename=void>
struct has_cout
    : std::false_type {};

template<typename T>
struct has_cout<T, decltype(std::cout << std::declval<T>(),void())>
    : std::true_type {};

template<typename T>
auto f(const T& x) 
  -> typename std::enable_if<!has_cout<T>::value>::type;

实例