nazwa funkcji w instrukcji if jest przekształcany w dziwny sposób

Question

z tym kodem (ważny C++ 11):

#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; 
} 

Pytanie jest w środku zestawienia if. Podczas gdy typeid zwraca mi coś, co wygląda na FbiE (co moim zdaniem jest językiem gcc dla typu funkcji), nie rozumiem, dlaczego ten typ jest niejawnie przekształcany w bool (tylko przykład, działa również z int).

Dlaczego instrukcja if kompiluje i ocenia true?

Answer 1

Nie ma castingu w kodzie. Gips to wyraźna konwersja. Zakładam, że pytasz: Co robi niejawna konwersja funkcji na Bool?

Odpowiedź brzmi: funkcja jest konwertowana na wskaźnik funkcji. Następnie wskaźnik funkcji jest konwertowany na bool poprzez niejawną konwersję. Że konwersja jest zdefiniowany jako otrzymując:

• false dla funkcji null pointer
• true dla każdego innego wskaźnika funkcji

Więc w kodzie, ciało if (my_awesome_func) zawsze jest wpisany. (Przekonwertowanie rzeczywistej funkcji na wskaźnik funkcji nigdy nie daje zerowego wskaźnika).