SFINAE mit C++ 14 Rückgabetyp Abzug

Question

Dank C++ 14, werden wir in Kürze in der Lage sein, ausführliche Trailing-Return-Typen einzuschränken; wie das allgemeine min Beispiel von David Abrahams 2011 post:

template <typename T, typename U> 
auto min(T x, U y) 
    -> typename std::remove_reference< decltype(x < y ? x : y) >::type 
{ return x < y ? x : y; } 

unter 14 C++ der Rückgabetyp verzichtet werden kann, und min wie folgt geschrieben werden kann:

template <typename T, typename U> 
auto min(T x, U y) 
{ return x < y ? x : y; } 

Dies ist ein einfaches Beispiel Der Rückgabetypabzug ist jedoch sehr nützlich für generischen Code und kann viel Replikation vermeiden. Meine Frage ist, wie integrieren wir für solche Funktionen SFINAE-Techniken? Zum Beispiel, wie kann ich std::enable_if verwenden, um unsere min Funktion einzuschränken, um Typen zurückzugeben, die integral sind?

Answer 1

Sie können die Funktion nicht mit dem Rückgabetyp SFINAE verwenden, wenn Sie Rückgabetypabzug verwenden. Dies ist in der

proposal erwähnt

Da der Rückgabetyp durch Instanziieren der Vorlage abgeleitet wird, wenn die Instantiierung ist schlecht ausgebildet ist, verursacht dies einen Fehler eher als eine Substitution Versagen.

Sie können jedoch einen zusätzlichen, nicht verwendeten Template-Parameter verwenden, um SFINAE auszuführen.

template <class T, class U> 
auto min1(T x, U y) 
{ return x < y ? x : y; } 

template <class T, class U, 
      class..., 
      class = std::enable_if_t<std::is_integral<T>::value && 
            std::is_integral<U>::value>> 
auto min2(T x, U y) 
{ 
    return x < y ? x : y; 
} 

struct foo {}; 

min1(foo{}, foo{}); // error - invalid operands to < 
min1(10, 20); 

min2(foo{}, foo{}); // error - no matching function min2 
min2(10, 20); 

Live demo