Warum funktioniert SFINAE nicht mit Mitgliedsfunktionen von Klassenvorlagen?

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>

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>

• 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>

• Verwenden Sie explizite Klassenvorlagenspezialisierung:

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

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!