Heim > Backend-Entwicklung > C++ > Wie funktioniert der Ausdruck SFINAE (Substitution Failure Is Not An Error) in C und wie kann er zum Definieren von Merkmalen und zum bedingten Anwenden von Funktionsüberladungen verwendet werden?

Wie funktioniert der Ausdruck SFINAE (Substitution Failure Is Not An Error) in C und wie kann er zum Definieren von Merkmalen und zum bedingten Anwenden von Funktionsüberladungen verwendet werden?

DDD
Freigeben: 2024-11-11 04:49:03
Original
728 Leute haben es durchsucht

How does Expression SFINAE (Substitution Failure Is Not An Error) work in C   and how can it be used to define traits and conditionally apply function overloads?

Ausdruck SFINAE verstehen

Im Kontext der C-Programmierung können Sie mit Ausdruck SFINAE (Substitution Failure Is Not An Error) eine Funktion bedingt anwenden Überladungen basierend auf der Gültigkeit eines Ausdrucks innerhalb der Funktionsdeklaration.

Ausdruck SFINAE in Aktion

Betrachten Sie die folgenden Codebeispiele:

Beispiel 1:

template <int I> struct A {};

char xxx(int);
char xxx(float);

template <class T> A<sizeof(xxx((T)0))> f(T) {}
Nach dem Login kopieren

Die f()-Funktion gibt eine Struktur A mit zurück Ein Parameter, den ich mit dem umgewandelten Wert des Vorlagenparameters T auf die Größe des Ergebnisses des Aufrufs von xxx() gesetzt habe (T)0.

Beispiel 2:

struct X {};
struct Y { Y(X) {} };

template <class T> auto f(T t1, T t2) -> decltype(t1 + t2); // #1
X f(Y, Y); // #2

X x1, x2;
X x3 = f(x1, x2); // deduction fails on #1 (cannot add X+X), calls #2
Nach dem Login kopieren

In Beispiel 2 ermöglichen die f()-Funktionsüberladungen beide Additionen numerischer Typen (#1) und Konstruktion von Y aus X (#2). Wenn die Funktion f() mit x1 und x2 (die X-Objekte sind) aufgerufen wird, wird die Überladung, die Y erstellt, ausgewählt, da die erste Überladung für X-Objekte ungültig ist.

Häufiger Anwendungsfall: Merkmal Definition

Der Ausdruck SFINAE wird häufig bei der Merkmalsdefinition verwendet, wo er es Ihnen ermöglicht, Merkmale basierend auf der Existenz bestimmter Mitgliedsfunktionen in einer Klasse zu definieren. Zum Beispiel:

struct has_member_begin_test {
  template <class U> static auto test(U* p) -> decltype(p->begin(), std::true_type());
  template <class> static auto test(...) -> std::false_type;
};

template <class T> struct has_member_begin
  : decltype(has_member_begin_test::test<T>(0)) {};
Nach dem Login kopieren

Die Strukturvorlage has_member_begin kann verwendet werden, um zu überprüfen, ob eine Klasse eine begin()-Memberfunktion hat. Es verwendet Ausdruck SFINAE, um zu bestimmen, ob der begin()-Ausdruck einen gültigen Typ oder Ausdruck zurückgibt, und gibt std::true_type zurück, wenn gültig, andernfalls std::false_type.

Wichtiger Hinweis:

Expression SFINAE ist eine relativ neue Ergänzung der C-Sprache und wird nicht von allen Compilern vollständig unterstützt. Wenn Sie in Ihrem Code auf Probleme mit Expression SFINAE stoßen, ist es wichtig zu überprüfen, ob Ihre Compilerversion dies unterstützt.

Das obige ist der detaillierte Inhalt vonWie funktioniert der Ausdruck SFINAE (Substitution Failure Is Not An Error) in C und wie kann er zum Definieren von Merkmalen und zum bedingten Anwenden von Funktionsüberladungen verwendet werden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

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
Beliebte Tutorials
Mehr>
Neueste Downloads
Mehr>
Web-Effekte
Quellcode der Website
Website-Materialien
Frontend-Vorlage