"Chuyển đổi" từ loại này sang loại tương tự gây ra lỗi

Question

Tôi có hàm mẫu trong đó loại enum được chuyển thành loại cơ bản của nó hoạt động tốt, nhưng tôi đã viết quá tải phải lấy số nguyên và tự trả về một lỗi mà int không phải là kiểu liệt kê. Trong mẫu của tôi, điều này cần phải được lọc ra. Chuyện gì thế?

Dưới đây là các mẫu mã:

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 đang được đánh giá trong std::enable_if mặc dù std::is_enum<TT>::value là false như false không phải là một lỗi. Vì một kiểu liệt kê không được đánh giá, nó gây ra lỗi. Nếu chúng ta di chuyển SFINAE vào các tham số mẫu, chúng ta có thể nhận được tình trạng quá tải mong muốn và vẫn trả về đúng loại.

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; 
} 

Bạn có thể nhìn thấy nó làm việc trong này Live Example

Answer 2

Bằng cách cố gắng để nhanh chóng std::underlying_type<T> với T đó không phải là một kiểu enum, bạn đang vi phạm một yêu cầu rằng các tiêu chuẩn áp đặt trên mẫu tham số T:

§ 20.10.7.6 [meta.trans.other]/Bảng 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. 

Dưới đây là một phương pháp thay thế nếu người ta không muốn bất kỳ mẫu tham số bổ sung:

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; 
} 

Bằng cách này, instantiation của std::underlying_type<TT> được hoãn lại cho đến khi tình trạng std::enable_if đánh giá để true, bởi vì một lồng nhau type định nghĩa được yêu cầu cho số tiền trả lại std::enable_if<B,T>::type.

DEMO