enable_if phương pháp chuyên môn hóa

Question

template<typename T> 
struct A 
{ 
    A<T> operator%(const T& x); 
}; 

template<typename T> 
A<T> A<T>::operator%(const T& x) { ... } 

Tôi làm cách nào để sử dụng enable_if để thực hiện chuyên môn sau cho bất kỳ loại dấu phẩy động nào (is_floating_point)?

template<> 
A<float> A<float>::operator%(const float& x) { ... } 

EDIT: Dưới đây là một câu trả lời tôi đã đưa ra đó là khác biệt so với những người đăng tải dưới đây ...

template<typename T> 
struct A 
{ 
    T x; 

    A(const T& _x) : x(_x) {} 

    template<typename Q> 
    typename std::enable_if<std::is_same<Q, T>::value && std::is_floating_point<Q>::value, A<T> >::type operator% (const Q& right) const 
    { 
     return A<T>(fmod(x, right)); 
    } 

    template<typename Q> 
    typename std::enable_if<std::is_convertible<Q, T>::value && !std::is_floating_point<Q>::value, A<T> >::type operator% (const Q& right) const 
    { 
     return A<T>(x%right); 
    } 
}; 

Giống như các áp phích bên dưới nói, sử dụng enable_if có thể không lý tưởng cho vấn đề này (rất khó đọc)

Answer 1

Sử dụng quá tải thay vì chuyên môn rõ ràng khi bạn muốn tinh chỉnh hành vi cho loại thông số cụ thể hơn. Nó dễ dàng hơn để sử dụng (bất ngờ ít hơn) và mạnh hơn

template<typename T> 
struct A 
{ 
    A<T> operator%(const T& x) { 
     return opModIml(x, std::is_floating_point<T>()); 
    } 

    A<T> opModImpl(T const& x, std::false_type) { /* ... */ } 
    A<T> opModImpl(T const& x, std::true_type) { /* ... */ } 
}; 

Một ví dụ sử dụng SFINAE (enable_if) như bạn dường như tò mò

template<typename T> 
struct A 
{ 
    A<T> operator%(const T& x) { 
     return opModIml(x); 
    } 

    template<typename U, 
      typename = typename 
       std::enable_if<!std::is_floating_point<U>::value>::type> 
    A<T> opModImpl(U const& x) { /* ... */ } 

    template<typename U, 
      typename = typename 
       std::enable_if<std::is_floating_point<U>::value>::type> 
    A<T> opModImpl(U const& x) { /* ... */ } 
}; 

Way xấu xí dĩ nhiên hơn. Không có lý do gì để sử dụng enable_if ở đây, tôi nghĩ vậy. Đó là quá mức cần thiết.

Answer 2

Bạn cũng có thể sử dụng một mẫu tham số boolean mặc định như thế này:

template<typename T> 
struct A 
{ 
    T x; 

    A(const T& _x) : x(_x) {} 

    template<bool EnableBool = true> 
    typename std::enable_if<std::is_floating_point<T>::value && EnableBool, A<T> >::type 
    operator% (const T& right) const 
    { 
     return A<T>(fmod(x, right)); 
    } 

    template<bool EnableBool = true> 
    typename std::enable_if<!std::is_floating_point<T>::value && EnableBool, A<T> >::type 
    operator% (const T& right) const 
    { 
     return A<T>(x%right); 
    } 
};