Schonmal std::enable_if benutzt? Ich nicht. Man kann damit Funktionen deaktivieren... Irgendwie... SFINAE... Gesundheit!
Die Beispiele dazu sind alles nur Kraut und Rüben. Vor lauter Template Scheiße sieht man den Kern der Aussage nicht.
Also, hier mein eigenen Testfall:
// Template Parameter N wird einfach an die Funktionen weitergegeben
template<int N>
class Testclass {
public:
// Um enable_if und SFINAE zu nutzen, muss die Funktion ein Template sein.
// Dummerweise muss der Template Parameter afaik auch in enable_if genutzt werden.
template<int U=N>
enable_if_t< U>=1 , int>
eins() {
return 1;
}
// Wo steckt der Rueckgabetyp? Im zweiten enable_if Template Paramter. Strange...
template<int U=N>
enable_if_t< U>=2 , int>
zwei() {
return 2;
}
// Dabei darauf achten, dass die beiden dreioverload() Funktionen auch unterschiedliche Template Typen
// haben. Sonst ist, wie beim normalen function overload, kein ueberladen moeglich. Wo ist der Unterschied
// in den Typen? N ist gleich. U ist gleich. int ist gleich. Nur der erste Parameter von enable_if evaluiert
// einmal zu true und einmal zu false. Das sind zwei unterschiedliche Typen!
template<int U=N>
enable_if_t< U>=3 , int>
dreioverload() {
return 3;
}
template<int U=N>
enable_if_t< !(U>=3) , int>
dreioverload() {
return -1;
}
};
cout << Testclass<1>().eins() << "\n";
cout << Testclass<2>().eins() << "\n";
cout << Testclass<2>().zwei() << "\n";
cout << Testclass<2>().dreioverload() << "\n"; // Print -1
Mal abwarten ob so etwas im normalen Code sinnvoll einsetzbar ist.