Funktionsname in if-Anweisung ist auf seltsame Weise

Question

Mit diesem Code (gültig C++ 11) umgewandelt:

#include <stdio.h> 
#include <typeinfo> 

bool my_awesome_func(int param) { 
    return (param > 1); 
} 

int main(int argc, char const *argv[]) { 
    fprintf(stderr, "type of my_awesome_func: %s\n", 
      typeid(my_awesome_func).name()); 
    if (my_awesome_func) { 
    fprintf(stderr, "WHAT???\n"); 
    } 
    return 0; 
} 

Die Frage innerhalb der if Aussage. Während typeid mir etwas zurückgibt, das wie FbiE aussieht (was ich glaube, ist gcc Sprache für Funktionstyp) Ich verstehe nicht, warum dieser Typ implizit in bool konvertiert wird (nur ein Beispiel, funktioniert auch mit int).

Warum kompiliert und bewertet die if-Anweisung "true"?

Answer 1

In Ihrem Code ist kein Casting vorhanden. Ein Cast ist eine explizite Conversion. Ich nehme an, Sie fragen: Was macht implizite Konvertierung einer Funktion zu bool tun?

Die Antwort darauf lautet: Die Funktion wird in einen Funktionszeiger umgewandelt. Dann wird der Funktionszeiger über implizite Konvertierung in bool konvertiert. Diese Umwandlung als Nachgeben definiert:

• false für einen Null-Funktionszeiger
• true für andere Funktionszeiger

Also in Ihrem Code, der Körper von if (my_awesome_func) immer eingegeben. (Das Konvertieren einer tatsächlichen Funktion in einen Funktionszeiger ergibt niemals einen Nullzeiger).