c++ - SFINAE 禁止临时调用时检测操作

Question

可以使用以下模式来检测 x 是否可以应用于 T

template<class T, class Enable = void>
struct CanDoX: std::false_type{};

template<class T>
struct CanDoX<T, std::void_t<decltype(x(std::declval<T>()))>>:std::true_type{};

如果 x 会怎样已被定义为

Foo const& x(Bar const&&) = delete;
Foo const& x(Bar const& val) 
    {return val.get();}

现在CanDoX<Bar>::value是false ，因为没有重载接受临时的。不知何故，必须有一个 Bar val在 x(val) 测试之前.

Answer 1

std::declval<T>()返回 T&&所以更好的匹配是Foo const& x(Bar const&&) .

但你可以在 std::declval 中使用左值引用获得左值:

template<class T>
struct CanDoX<T, std::void_t<decltype(x(std::declval<T&>()))>>:std::true_type{};

或

template<class T>
struct CanDoX<T, std::void_t<decltype(x(std::declval<const T&>()))>>:std::true_type{};

根据您的需要。