لماذا لا يتطابق أي من قوالب الوظائف هذه مع عمليات الإنشاء؟

Question

فشل التعليمة البرمجية التالية في الترجمة مع Intel C++ 2013.

#include <type_traits>
#include <iostream>


template <
    typename T, 
    typename std::enable_if<std::is_integral<T>::value>::type
>
void myfunc( T a) 
{ 
    std::cout << a << std::endl;
}

template <
    typename T, 
    typename std::enable_if<!std::is_integral<T>::value>::type
>
void myfunc( T a) 
{ 
    std::cout << a << std::endl;
}




int main()
{
    double a;
    int b;
    myfunc(a);
    myfunc(b);

    return 0;

}

هنا هو إخراج الخطأ:

ConsoleApplication1.cpp(33): error : no instance of overloaded function "myfunc" matches the argument list
1>              argument types are: (double)
1>      myfunc(a);
1>      ^
1>  
1>ConsoleApplication1.cpp(34): error : no instance of overloaded function "myfunc" matches the argument list
1>              argument types are: (int)
1>      myfunc(b);
1>      ^
1>  

هل أنا على خطأ؟

Answer 1

الطريقة المعتادة والصحيحة للاستخدام enable_if في الوظيفة هو التمسك بها في نوع الإرجاع.

template <typename T>
typename std::enable_if<std::is_integral<T>::value>::type myfunc(T a) {
    std::cout << a << " (integral)" << std::endl;
}

template <typename T>
typename std::enable_if<!std::is_integral<T>::value>::type myfunc(T a) {
    std::cout << a << " (non-integral)" << std::endl;
}

---

بالنسبة لمتغيرك فالطريقة الصحيحة هي:

template <typename T,
          typename = typename std::enable_if<std::is_integral<T>::value>::type>
void myfunc(T a) {
    std::cout << a << " (integral)" << std::endl;
}

..."enable_if" هو أ وسيطة القالب الافتراضية.وهو لا يعمل في حالتك لأن هذه الوظيفة ليست مثقلة.