Wie funktioniert enable_if in diesem Fall

Question

#include <iostream> 
#include <functional> 
#include <memory> 

using namespace std; 

template<typename T = int> std::enable_if_t<!std::is_arithmetic<T>{}, T> nope() {} 

int main() { 
    nope(); 
} 

Dies ist ein einfacher Code, der nicht kompiliert. Wenn man sich das geändert:

int main() { 
     nope(); 
} 

zu

int main() { 
     nope<std::string>(); 
} 

es beginnt zu kompilieren. Die Frage ist, warum funktioniert das wie es funktioniert? Um genauer zu sein warum Compiler sagt mir:

keine passende Funktion für Aufruf von 'Nö()'

statt so etwas wie

enable_if :: gefunden Typ nicht (was wahr ist, wie es wirklich nicht existiert, wenn die Bedingung nicht erfüllt ist)?

Vielen Dank.

Answer 1

Wenn Sie nope() anrufen, lautet Ihr Standardtyp templateint. std::enable_if_t<!std::is_arithmetic<T>{}, T> gibt false für !std::is_arithmetic<int>{} zurück und schlägt fehl.

Ein Anruf an nope<int>() würde auch fehlschlagen, aus den gleichen Gründen wie warum nope() fehlschlägt.

Auf der anderen Seite erhält nope<std::string>true in is_arithmetic und gibt eine funktionierende Funktion zurück.

Der Compiler-Fehler, die ganz klar mit clang++ Version 5.0 erklärt, das Ergebnis wird ausgelöst:

Kandidatenvorlage ignoriert: Anforderung ‚!std::is_arithmetic<int>{}‘ war [with T = int] std::enable_if_t<!std::is_arithmetic<T>{}, T> nope() {}