Die C-Syntax für Funktionszeiger verstehen

Question

Im folgenden Code wird Vtable implementiert.

Im folgenden Code,

struct A; 

typedef struct { 
    void (*A)(struct A*); 
    void (*update)(struct A*); 
    int (*access)(struct A*); 
} A_functable; 

typedef struct A{ 
    int a; 
    A_functable *vmt; 
} A; 

---

ich nicht (*A) als Funktionszeiger verstehen konnte in void (*A)(struct A*); zu erwähnen, das Mitglied in A_functable ist, wo A

typedef struct A{ 
     int a; 
     A_functable *vmt; 
    } A; 

---

ist, wie um diese Syntax zu verstehen?

Answer 1

In

void (*A)(struct A*); 

die erste A bezieht sich nicht auf typedef struct A { ... } A so dass nur weiter unten definiert wird. Zu diesem Zeitpunkt weiß der Compiler nichts über einen Typ namens A. A ist einfach der Name des Strukturelements, genau wie update und access.

(struct A nicht auf die Struktur beziehen, aber: Es gibt eine struct A; Erklärung weiter oben.)

Answer 2

Sie sind in verschiedenen Namespaces.

In C gibt es vier verschiedene Namensräume

• Tags für eine Struktur/Union/enum
• Mitglieder von Struktur/Union
• Labels (eigentlich einen eigenen Namensraum zu jeder Struktur/Union zugeordnet ist)
• Gewöhnliche Identifikatoren.

(Abschnitt 6.1.2.3 von C90)

Identifiers in unterschiedlichen Namensräumen wird nicht mit einem anderen, und wird hierin als getrennte Einheiten kollidieren.

Also, in Ihrem Fall

• Das Mitglied der Struktur, (*A) ein Funktionszeiger zu sein, ist in der zweiten Namespace.
• Die Tags für die Struktur typedef struct A befinden sich im ersten Namespace,
• Der Strukturtyp, der ein gewöhnlicher Bezeichner ist, befindet sich im vierten Namespace.
• Darüber hinaus befindet sich der Funktionstyp für den Funktionszeiger (*A)(struct A*) im vierten Namespace und ist ein gewöhnlicher Typ.