Wie unterscheidet sich SFINAE bei der Anwendung auf Rückgabetypen und Vorlagenparameter?

SFINAE-Anwendbarkeit in Rückgabetypen vs. Vorlagenparametern

In der C-Programmierung ist SFINAE (Substitution Failure Is Not An Error) eine Technik für Template-Metaprogrammierung. Mit SFINAE können Sie Vorlagenparameter verwenden, um Einschränkungen für die Art der Argumente anzugeben, die an eine Vorlagenfunktion oder -klasse übergeben werden können.

In Ihrem Beispiel haben Sie zwei Implementierungen einer Funktion namens foo:

template<typename T,
         typename = typename std::enable_if<std::is_integral<T>::value>::type>
auto foo(T) -> void;

template<typename T,
         typename = typename std::enable_if<std::is_floating_point<T>::value>::type>
auto foo(T) -> void;

Die erste Implementierung verwendet SFINAE mit der Metafunktion std::enable_if in den Vorlagenparametern. Dies bedeutet, dass die Template-Funktion foo nur mit Typen aufgerufen werden kann, die die Bedingung std::is_integral::value erfüllen.

Die zweite Implementierung verwendet jedoch SFINAE mit std::enable_if in der Rückgabe Typ der Vorlagenfunktion. In diesem Fall kann die Funktion foo mit jedem Typ aufgerufen werden, aber der Rückgabetyp ist nur dann vom Typ void, wenn T die Bedingung std::is_integral::value erfüllt.

In Ihrem Beispiel: Die Kompilierung der ersten Implementierung schlägt fehl, da das Standardvorlagenargument für den zweiten Vorlagenparameter nicht berücksichtigt wird, wenn ermittelt wird, ob die Vorlage bereits für den ersten Vorlagenparameter instanziiert ist. Daher geht der Compiler davon aus, dass Sie versuchen, dieselbe Funktionsvorlage zweimal neu zu deklarieren, was zu dem Fehler führt.

Andererseits funktioniert die zweite Implementierung, weil der Ausdruck typename std::enable_if::value>::type wird während der Vorlageninstanziierung ausgewertet und als Rückgabetyp der Funktion verwendet. Da dieser Ausdruck Teil der Signatur der Template-Funktion ist, ermöglicht er SFINAE, basierend auf dem Wert von T.

zwischen verschiedenen Template-Spezialisierungen zu unterscheiden

Das obige ist der detaillierte Inhalt vonWie unterscheidet sich SFINAE bei der Anwendung auf Rückgabetypen und Vorlagenparameter?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!