C: Struct function pointer prototype

[Walter T. (nicolas)]

Guten Morgen,

ich habe in einem struct einen Funktionszeiger auf eine Funktion, die 
den struct als Parameter übergeben bekommt:

typedef struct IconData_s
{
    void (*fcn) (IconData_t);
    uint8_t slot;
    int8_t thisState;
    int8_t lastState;
}
IconData_t;

Das funktioniert. Die Funktion läßt sich beim Iterieren über das struct 
array aufrufen.

Will ich stattedessen eine Funktion mit Funktionszeiger als Argument 
aufrufen, schlägt der Build fehl:

typedef struct IconData_s
{
    void (*fcn) (IconData_t *);
    uint8_t slot;
    int8_t thisState;
    int8_t lastState;
}
IconData_t;

Stattdessen muß ich mit einem "incomplete type struct" hantieren:

struct IconData_s;
typedef struct IconData_s IconData_t;

struct IconData_s
{
    void (*fcn) (IconData_t *);
    uint8_t slot;
    int8_t thisState;
    int8_t lastState;
};

Was ist für den Compiler (hier: ARM-GCC) der große Unterschied?

[mh (Gast)]

Walter T. schrieb:
> Guten Morgen,
>
> ich habe in einem struct einen Funktionszeiger auf eine Funktion, die
> den struct als Parameter übergeben bekommt:typedef struct IconData_s
> {
>     void (*fcn) (IconData_t);
>     uint8_t slot;
>     int8_t thisState;
>     int8_t lastState;
> }
> IconData_t;
> Das funktioniert. Die Funktion läßt sich beim Iterieren über das struct
> array aufrufen.

Bist du sicher, dass das funktioniert? Würde mich wundern.
IcondData_t ist in dieser Zeile noch nicht bekannt.

void (*fcn) (IconData_t);

Wenn du die Warnungen einschaltest, sagt dir dein Compiler das auch.

warning: parameter names (without types) in function declaration
    3 |     void (*fcn) (IconData_t);
      |     ^~~~

Der Wortlaut der Warnung ist in diesem Fall nicht ideal, aber sollte 
einen in die richtige Richtung weisen.

[mh (Gast)]

mh schrieb:
> Wenn du die Warnungen einschaltest, sagt dir dein Compiler das auch.

Korrektur: Selbst der ARM gcc 4.5.4 gibt ohne extra Optionen eine 
Warnung aus.

[Walter T. (nicolas)]

Die Warnung habe ich auch.

Es funktioniert insoweit, als daß das richtige passiert, d.h. die 
Funktion läßt sich korrekt aufrufen und schreibt auch einen Zahlenwert 
aus dem struct korrekt in die Konsole. Aber klar. Die Warnung ist da.

Nur das eine ist ein Fehler - das andere eine Warnung - was ist für den 
Kompiler der große Unterschied?

[A. S. (Gast)]

Walter T. schrieb:
> void (*fcn) (IconData_t);

In dieser Zeile ist IconData_t keine Struktur, sondern default int. Du 
wirst einen Compiler mit C89 verwenden.

Das Stichwort ist "vorwärtsdeklaration" und das tut nun wirklich nicht 
so weh, wie es "incomplete type" vermuten lässt.

[Martin (Gast)]

Folgendes sollte funktionieren:

typedef struct IconData_s
{
    void (*fcn) ( struct IconData_s *);
    uint8_t slot;
    int8_t thisState;
    int8_t lastState;
}
IconData_t;

Gruß Martin

[Walter T. (nicolas)]

A. S. schrieb:
> In dieser Zeile ist IconData_t keine Struktur, sondern default int.

Warum? Ich hätte einen undefinierten Typ erwartet, also einen Fehler.

[mh (Gast)]

Weil es der Standard vorschreibt. Der nächste Satz, den du nicht zitiert 
hast, weißt darauf hin.

[Yalu X. (yalu) (Moderator)]

Dieses

    void (*fcn) (IconData_t);

ist K&R-C und steht für

    void (*fcn) (int IconData_t);

in ISO-C. IconData_t ist also nicht der Argumenttyp, sondern der
Argumentname.

Deswegen erscheint die Warnung

warning: parameter names (without types) in function declaration

(Name ist da, aber Typ fehlt)

[Walter T. (nicolas)]

Yalu X. schrieb:
> in ISO-C. IconData_t ist also nicht der Argumenttyp, sondern der
> Argumentname.

Danke für die Klarstellung! Ich hatte ganz vergessen, daß man den 
Argumentnamen hier auch schon deklarieren darf, weil er ja eh ignoriert 
wird.

[Oliver S. (oliverso)]

Das wird deutlich, wenn man

void (*fcn) (IconData_t a);

draus macht.
Dann kommt der erwartete "error: unknown type name 'IconData_t'"

Lösung:

void (*fcn) (struct IconData_s a);

Oliver

[Yalu X. (yalu) (Moderator)]

Clang liefert hier sogar einen Error:

test.c:5:18: error: a parameter list without types is only allowed in a
      function definition
    void (*fcn) (IconData_t);
                 ^

Ich habe auf die Schnelle zwar nicht die entsprechende Stelle in der
ISO-Norm gefunden, aber das die Fehlermeldung ist vermutlich
gerechtfertigt, da in K&R-C reine Deklarationen keine Argumentliste
enthalten.

Hier zeigt sich ein weiteres Mal die Problematik von typedef, die darin
besteht, dass syntaktisch nicht zwischen Typ- und Variablennamen
unterschieden werden kann. Im konkreten Fall wird ein Identifier, der
eigentlich als Typname gedacht ist, aber noch nicht deklariert wurde,
als Variablenname interpretiert.