Umwandlung von nullptr_t nach bool: gültig oder nicht?

Question

Ich testete den folgenden Code mit 3 Compilern und bekam 3 verschiedene Ergebnisse: Fehler, Warnung und ok.

• GCC (5.3): Fehler: ungültige benutzerdefinierte Konvertierung von 'std :: nullptr_t' to 'const Sache &'
• Clang (3.8): Warnung: implizite Umwandlung von nullptr konstant boolsche
• MSVC (14.1): kein Fehler, keine Warnung

Welche Compiler ist richtig? Ich weiß, es ist eine triviale Umwandlung zwischen einem Zeigertyp und bool. Aber was ist mit std::nullptr_t und bool?

(Am Ende Clang und MSVC sind beide mit dem Code in Ordnung. Clang etwas ausführlicher in einer positiven Art und Weise ist.)

struct Thing 
{ 
    Thing(bool) {} 
}; 

void addThing(const Thing&){} 

int main() 
{ 
    addThing(nullptr); // warning or error on this line 
} 

Answer 1

Dies ist ungültig. Nach der Regel von boolean conversions:

A prvalue of type std::nullptr_t , including nullptr , can be converted to a prvalue of type bool in context of direct-initialization. The resulting value is false .

Zitate aus dem Standard, §7.14/1 Boolean conversions [conv.bool]

For direct-initialization, a prvalue of type std​::​nullptr_­t can be converted to a prvalue of type bool ; the resulting value is false .

Die Umwandlung nur für direct-initialization erlaubt, aber nicht copy-intialization, die für das Bestehen Argument an eine Funktion, den Fall unter anderem durch Wert. z.B.

bool b1 = nullptr; // invalid 
bool b2 {nullptr}; // valid 

Also GCC ist korrekt. Aber Clang ist auch nicht falsch; Der Standard erfordert nur, dass der Compiler eine Diagnose ausgibt, wenn das Programm schlecht formatiert ist, also muss er Ihnen sagen, dass etwas passiert, danach könnte es alles tun.

Siehe Does the C++ standard specify that for some cases the compiling should fail with an error?