Wie kann SFINAE effektiv mit Mitgliedsfunktionen von Klassenvorlagen verwendet werden?

SFINAE für Mitgliedsfunktionen von Klassenvorlagen

Im bereitgestellten Code wird SFINAE auf die Mitgliedsfunktionen einer Klassenvorlage angewendet. Bei diesem Ansatz tritt jedoch ein Fehler auf, da SFINAE nur auf abgeleitete Vorlagenargumente anwendbar ist, insbesondere für Funktionsvorlagen.

In diesem Fall ist die Klasse Foo eine Vorlage, aber beide Mitgliedsfunktionen bar() werden unabhängig davon bedingungslos instanziiert des Vorlagenparameters T. Dies führt zu einem Kompilierungsfehler, der darauf hinweist, dass die beiden Überladungen nicht beide gültig sein können.

Um dieses Problem zu beheben, kann SFINAE korrekt verwendet werden, indem die Vorlagenargumente für die Mitgliedsfunktionen abgeleitet werden. Die folgenden Änderungen können vorgenommen werden:

<code class="cpp">#include <type_traits>

struct A{};
struct B{};

template <typename T>
struct Foo
{
    template <typename U = T>   // Deduce the template argument
    typename std::enable_if<std::is_same<U, A>::value>::type
    bar() {}

    template <typename U = T>   // Deduce the template argument
    typename std::enable_if<std::is_same<U, B>::value>::type
    bar() {}
};</code>

Durch die Ableitung der Vorlagenargumente für die Mitgliedsfunktionen kann SFINAE nun basierend auf dem tatsächlichen Vorlagenargument, das für Foo bereitgestellt wird, bestimmen, welche Überladung von bar() instanziiert werden soll. Dieser Ansatz stellt sicher, dass der Code erfolgreich kompiliert wird und sich wie beabsichtigt verhält.

Das obige ist der detaillierte Inhalt vonWie kann SFINAE effektiv mit Mitgliedsfunktionen von Klassenvorlagen verwendet werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!