Auswahl der Elementfunktion mit Enable_if

Question

Ich habe eine Klasse, die ich auf der Grundlage des Werts in der Vorlage verschiedene Aktionen ausführen muss. Aber ich erhalte eine Fehlermeldung „Prototyp passt nicht jeder in der Klasse ...“

#include <iostream> 
#include <type_traits> 
using namespace std; 

template<int t> 
struct A 
{ 
    template<typename EqualTwo> 
    void test(); 
}; 

template<int t> 
template<typename std::enable_if<t == 2>::value> 
void A<t>::test() 
{ 
    cout << "T is equal to two."; 
} 

template<int t> 
template<typename std::enable_if<t != 2>::value> 
void A<t>::test() 
{ 
    cout << "T is not equal to two."; 
} 

int main() { 
    A<5> five; 
    A<2> two; 
    cout << five.test() << endl; 
    cout << two.test() << endl; 
    return 0; 
} 

Answer 1

Ihr Code vermasselt wird, wahrscheinlich das, was Sie tun möchten, ist die folgende:

template<int t, typename Enable = void> 
struct A; 

template<int t> 
struct A<t, typename std::enable_if<t == 2>::type> { 
    void test() { cout << "T is equal to two." << endl; } 
}; 

template<int t> 
struct A<t, typename std::enable_if<t != 2>::type> { 
    void test() { cout << "T is not equal to two." << endl; } 
}; 

und in main():

int main() { 
    A<5> five; 
    A<2> two; 
    five.test(); 
    two.test(); 
} 

Live Demo

Edit:

Leider können Sie eine Memberfunktion einer Vorlagenklasse nicht spezialisieren, es sei denn, Sie spezialisieren die Klasse selbst.

Sie könnten jedoch wie folgt vorgehen:

template<int t> 
struct A { 
    void test() { 
    if(t == 2) { 
     cout << "T is equal to two." << endl; 
    } else { 
     cout << "T is not equal to two" << endl; 
    } 
    } 
};