Heim > Backend-Entwicklung > C++ > Warum funktioniert SFINAE nicht mit Mitgliedsfunktionen von Klassenvorlagen?

Warum funktioniert SFINAE nicht mit Mitgliedsfunktionen von Klassenvorlagen?

Barbara Streisand
Freigeben: 2024-11-04 21:55:02
Original
250 Leute haben es durchsucht

Why Doesn't SFINAE Work with Member Functions of Class Templates?

Warum funktioniert SFINAE (enable_if) nicht für Mitgliedsfunktionen einer Klassenvorlage?

In C ermöglicht Ihnen SFINAE (Substitution Failure Is Not An Error) dies Aktivieren oder deaktivieren Sie Code je nach Typ eines Vorlagenarguments. Beim Umgang mit Mitgliedsfunktionen einer Klassenvorlage funktioniert SFINAE jedoch oft nicht wie erwartet.

Hier ist ein Beispiel, das das Problem verdeutlicht:

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

struct A {};
struct B {};

template <typename T>
struct Foo
{
    typename std::enable_if<std::is_same<T, A>::value>::type bar()
    {}

    typename std::enable_if<std::is_same<T, B>::value>::type bar()
    {}
};</code>
Nach dem Login kopieren

In diesem Beispiel definiert Foo zwei überladene Memberfunktionen bar(). Die erste Überladung ist aktiviert, wenn T A ist, und die zweite ist aktiviert, wenn T B ist. Wenn Sie jedoch versuchen, diesen Code zu kompilieren, erhalten Sie eine Fehlermeldung, die darauf hinweist, dass die Überladungen nicht aufgelöst werden können.

Der Grund für diesen Fehler ist, dass SFINAE nur für abgeleitete Vorlagenargumente funktioniert. Bei Memberfunktionen einer Klassenvorlage wird das Vorlagenargument nicht abgeleitet, sondern explizit angegeben. Um das Problem zu beheben, können Sie eine der folgenden Techniken verwenden:

  • Verwenden Sie explizite Vorlagenargumente:

    <code class="cpp">struct Foo
    {
      void bar(A) {}
      void bar(B) {}
    };</code>
    Nach dem Login kopieren
  • Verwenden Sie std::enable_if innerhalb der Mitgliedsfunktionen:

    <code class="cpp">template <typename T>
    struct Foo
    {
      template<typename U = T>
      typename std::enable_if<std::is_same<U, A>::value>::type bar() {}
    
      template<typename U = T>
      typename std::enable_if<std::is_same<U, B>::value>::type bar() {}
    };</code>
    Nach dem Login kopieren
  • Verwenden Sie explizite Klassenvorlagenspezialisierung:

    <code class="cpp">template <> struct Foo<A> { void bar() {} };
    template <> struct Foo<B> { void bar() {} };</code>
    Nach dem Login kopieren

Das obige ist der detaillierte Inhalt vonWarum funktioniert SFINAE nicht mit Mitgliedsfunktionen von Klassenvorlagen?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Quelle:php.cn
Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn
Neueste Artikel des Autors
Beliebte Tutorials
Mehr>
Neueste Downloads
Mehr>
Web-Effekte
Quellcode der Website
Website-Materialien
Frontend-Vorlage