从类型到相同类型的“转换”导致错误

Question

我有一个模板函数，其中枚举类型转换为其基础类型，但工作正常，但我写了一个重载应该采取一个整数并返回自身，它给我一个int不是枚举类型的错误。在我的模板中，这应该被过滤掉。哪里不对？

这里是模板代码：

template <typename TT> 
    static constexpr auto get_value(TT t) 
    -> typename std::enable_if<!std::is_enum<TT>::value, TT>::type 
    { 
     return t; 
    } 

    template <typename TT> 
    static constexpr auto get_value(TT t) 
    -> typename std::enable_if<std::is_enum<TT>::value, typename std::underlying_type<TT>::type>::type 
    { 
     return (typename std::underlying_type<TT>::type)t; 
    } 

Demo

Answer 1

std::underlying_type<TT>::type在std::enable_if即使std::is_enum<TT>::value是false为false是不是一个错误被评估。由于正在评估非枚举类型，因此会导致错误。如果我们将SFINAE移入模板参数中，我们可以得到所需的重载并仍然返回正确的类型。

template <typename TT, typename std::enable_if<!std::is_enum<TT>::value, TT>::type* = nullptr> 
static constexpr auto get_value(TT t) -> TT 
{ 
    return t; 
} 

template <typename TT, typename std::enable_if<std::is_enum<TT>::value>::type* = nullptr> 
static constexpr auto get_value(TT t) -> typename std::underlying_type<TT>::type 
{ 
    return (typename std::underlying_type<TT>::type)t; 
} 

你可以看到它在这个Live Example

Answer 2

工作正常，尝试实例std::underlying_type<T>与T这不是一个枚举类型，你违反了该标准的模板参数T规定要求：

§20.10.7.6 [meta.trans.other] /表57：

 Template   |   Condition   |  Comments 
------------------------+---------------------------+----------------------- 
template <class T>  | T shall be an enumeration | The member typedef 
struct underlying_type; | type (7.2)    | type shall name 
         |       | the underlying type 
         |       | of T. 

这里的，如果一个人不喜欢任何额外的模板参数的另一种方法：

template <typename TT> 
static constexpr auto get_value(TT t) 
    -> typename std::enable_if<!std::is_enum<TT>::value, TT>::type 
{ 
    return t; 
} 

template <typename TT> 
static constexpr auto get_value(TT t) 
    -> typename std::enable_if<std::is_enum<TT>::value 
          , std::underlying_type<TT> 
       >::type::type 
{ 
    return (typename std::underlying_type<TT>::type)t; 
} 

这样，std::underlying_type<TT>实例化被推迟，直到std::enable_if条件值为true，因为嵌套type定义请求为什么std::enable_if<B,T>::type返回。

DEMO