Durchsetzung Typ Sicherheit beim Casting char * zu bool in C++ 11

Question

Folgende Code kompiliert gut ohne Warnungen (mit Standardoptionen zu g ++). Gibt es eine Flagge, mit der wir g ++ bitten können, in solchen Fällen Warnungen auszugeben?

void foo(bool v) { 
} 

void bar() { 
    foo("test"); 
} 

Answer 1

Ich mag clang -Weverything versuchen und die Warnungen auswählen, die Pop-out:

void foo(bool) {} 

void bar() { 
    foo("test"); 
} 

void baz() { 
    foo(nullptr);  
} 

int main() {} 

main.cpp: 5: 7: Warnung: implizite Konvertierung schaltet Stringliteral in Bool: ‚const char [5] 'zu' bool '[-Wstring-Umwandlung] foo ("test");

main.cpp: 8: 9: Warnung: implizite Konvertierung der Nullptr-Konstante in 'bool' [-Wnull-Konvertierung] foo (nullptr);

Leider wird weder -Wstring-conversion noch -Wnull-conversion von g ++ unterstützt. Sie könnten versuchen, einen Funktionsanforderungs-/Fehlerbericht an gcc zu senden.

Answer 2

Wenn ich wirklich verhindern wollte, dass eine solche Funktion einen Zeiger übergeben würde, würde ich dies in C++ 11 tun;

void foo(bool); 
template<class T> void foo(T *) = delete; 

void bar() 
{ 
    foo("Hello"); 
} 

, die einen Compilerfehler auslösen wird.

Vor C++ 11 (nicht jeder kann aus verschiedenen Gründen aktualisieren) ist eine Technik;

void foo(bool); 
template<class T> void foo(T *); // note no definition 

void bar() 
{ 
    foo("Hello"); 
} 

und dann haben die Definition von foo(bool) irgendwo (in einer und nur einer Übersetzungseinheit in Ihrem Build). Für die meisten Toolchains, die einen traditionellen Compiler und Linker verwenden (was die meisten Toolchains in der Praxis sind, einschließlich der meisten Installationen von g ++), wird der Linker-Fehler durch foo<char const>(char const*) verursacht, der nicht definiert ist. Der genaue Wortlaut des Fehlers ist linkerabhängig.

Beachten Sie, dass die Fehler von einem Entwickler bewusst umgangen werden können. Aber solche Techniken werden die versehentliche Verwendung stoppen.

Wenn Sie zulassen möchten, dass ein Zeiger außer char const * übergeben wird, deklarieren Sie einfach void foo(const char *) wie oben und deklarieren Sie die Vorlage nicht.