Typedef Funktion vs Funktionszeiger

Question

Ich versuche, Funktionsdeklaration mit typedefs zu verstehen.

Was macht dieser Code in C++?

typedef void fcn_t(void); 
typedef void (*ptr_t)(void); 

fcn_t f; 
fcn_t *pf; 
ptr_t pf2; 

In meinem Verständnis:

• fcn_t ist der Typ einer Funktion, so dass die Linie mit f ist eine Funktion Erklärung (keine Definition), und ich konnte es später definieren wie void f(void) { blabla(); bleble(); } als ob ich void f(void); anstelle von fcn_t f; deklariert hätte;
• fcn_t * ist der Typ eines Funktionszeigers und die Linie mit pf ist eine Zeigervariable Definition und pf ist default-initialisiert (der Codeauszug unter der Annahme von dem globalen Bereich ist);
• Es gibt keinen Unterschied zwischen fcn_t* und ptr_t, also alles, was ich über pf gesagt habe, gilt für pf2.

Habe ich es richtig gemacht? Hat eine der drei Deklarationen ihre Bedeutung geändert, wenn ich sie als extern markiert habe? Was würde sich ändern, wenn der Code als C anstatt als C++ kompiliert würde?

Answer 1

Ja, Sie sind in allen drei Punkten richtig. Die einzige Sache, die sich ändern würde, wenn Sie sie extern markierten, sind die Funktionszeiger. Funktionsdeklarationen sind standardmäßig extern in C++.

Versuchen und kompilieren Sie das folgende Programm

template <typename...> 
struct WhichType; 

typedef void fcn_t(void); 
typedef void (*ptr_t)(void); 

// constexpr auto one = WhichType<fcn_t>{}; 
// constexpr auto two = WhichType<fcn_t*>{}; 
// constexpr auto three = WhichType<ptr_t>{}; 

fcn_t f; 

void f() {} 

int main() { 
    f(); 
} 

uncommenting die kommentierten Zeilen werden Sie wahrscheinlich einen Compiler-Fehler geben, der Ihnen sagt, welche Arten der WhichType Instanz mit instanziiert wird, und als Ergebnis sollte es zeigen Ihnen die genaue Typen aller drei Dinge, nach denen du gefragt hast. Es ist ein Trick, den ich in Scott Meyers Buch "Effective Modern C++" gefunden habe.

---

Um zu testen, ob die Erklärungen sind extern oder nicht, zwei einfache Implementierung Dateien schreiben, mit einer der Definition der Variablen

main.cpp

template <typename...> 
struct WhichType; 

typedef void fcn_t(void); 
typedef void (*ptr_t)(void); 

fcn_t f; 

int main() { 
    f(); 
} 

Definition enthält. cpp

void f() {} 

und dann kompilieren, verknüpfen und ausführen definition.cpp und main.cpp (über g++ -std=c++14 definition.cpp main.cpp und dann ./a.out). Wenn die Deklaration nicht extern war, würde die Kompilierung mit einem undefinierten Symbolfehler fehlschlagen.

Answer 2

Hier ist eine einfache Darstellung dieser typedef

#include <stdio.h> 

typedef void fcn_t(void); 
typedef void (*ptr_t)(void); 

fcn_t f; 
fcn_t *pf; 
ptr_t pf2; 

void 
f(void) 
{ 
    printf("I am void\n"); 
} 

void 
vSayHi(void) 
{ 
    printf("Hi\n"); 
} 

int 
main(void) 
{ 

    pf2 = vSayHi; 
    pf2(); 

    pf = vSayHi; 
    pf(); 

    f(); 

    return 0; 
} 

OUTPUT:

Hi 
Hi 
I am void