從類型到相同類型的「轉換」導致錯誤

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