Opaque Pointer in C

[Sebi (Gast)]

Hallo,

ich habe ein kleines Problem in C.
in der Struktur T_Car1 habe ich den Opaque Pointer car2.
Allerdings bekomme ich die Fehlermeldung: unknown type name 'T_Car2'
Wie kann das sein? An dieser Stelle muss der Compiler die Größe von
T_Car2 nicht kennen. Es handelt sich ja um einen Pointer und dessen 
Größe ist ja bekannt. Trotzdem mekkert der Compiler. Wer kann helfen
Danke.

typedef struct
{
    int test1;
    int test2;
    T_Car2* car2;
}T_Car1;


typedef struct
{
    int test1;
    int test2;
    T_Car1 car1;
}T_Car2;

[Marc (Gast)]

Er muß aber wissen, daß ein T_Car2 existiert (könnte ja auch ein 
Tippfehler sein).

Und daß der existiert, sagst du halt erst ein paar Zeilen später.

[Sebi (Gast)]

Leider funktioniert eine foreward declaration struct T_Car2; nicht. An 
was kann das liegen?

[Peter II (Gast)]

Sebi schrieb:
> Leider funktioniert eine foreward declaration struct T_Car2; nicht. An
> was kann das liegen?

ich würde denke, das die Struct keine namen hat.

struct Car1T;
struct Car2T;

struct Car1T
{
    int test1;
    int test2;
    T_Car2* car2;
};

struct Car2T
{
    int test1;
    int test2;
    T_Car1 car1;
}

sollte für c++ reichen, wenn es noch c ist, dann das typedef noch machen

typedef struct Car1T; T_Car1;
typedef struct Car2T; T_Car2;

[Klaus W. (mfgkw)]

Zwei der Semikolon kannst du anderweitig verwenden...

[Peter II (Gast)]

Klaus W. schrieb:
> Zwei der Semikolon kannst du anderweitig verwenden...

sind auch noch andere Fehler drin - aber man will ja nicht alles 
vorkauen...

[Aldi (Gast)]

Ich sehe keinen Fehler mehr. Bitte sag die Lösung.

[Peter II (Gast)]

Aldi schrieb:
> Ich sehe keinen Fehler mehr. Bitte sag die Lösung.

T_Car2* car2;   ->   Car2T* char2;

[Löser (Gast)]

Du kannst die Vorwärtsdeklaration direkt in der Typendefinition mit 
angeben:

> typedef struct T_Car_tag
> {
>     int test1;
>     int test2;
>     T_Car_tag* car2;
> }T_Car1;

[Tester (Gast)]

Das funktioniert bei mir nicht!

[(prx) A. K. (prx)]

typedef struct T_Car1
{
    int test1;
    int test2;
    struct T_Car2* car2;
}T_Car1;


typedef struct T_Car2
{
    int test1;
    int test2;
    T_Car1 car1;
}T_Car2;

[Sebi (Gast)]

A. K. schrieb:
> typedef struct T_Car1
> {
>     int test1;
>     int test2;
>     struct T_Car2* car2;
> }T_Car1;
>
> typedef struct T_Car2
> {
>     int test1;
>     int test2;
>     T_Car1 car1;
> }T_Car2;

Danke. Das funktioniert.
Und das: struct T_Car2* car2; ist jetzt also der opaque pointer.

[Peter II (Gast)]

Tester schrieb:
> Das funktioniert bei mir nicht!

sollte aber, was bekommst du für einen Fehler?

[Daniel A. (daniel-a)]

Peter II schrieb:
> sollte aber, was bekommst du für einen Fehler?
Sollte es nicht, das sind die netten unterschiede zwischen c und c++.

[Klaus W. (mfgkw)]

Sebi schrieb:
> Und das: struct T_Car2* car2; ist jetzt also der opaque pointer.

Wäre es, wenn du nicht wüsstest, worauf er zeigt.
Das ist bei dir aber eigentlich ja nur der Fall, wenn du den Bildschirm 
ausschaltest.

Genau genommen ist er es höchstens insofern, als der Compiler es bei der 
ersten Verwendung noch nicht weiß (sondern erst kurz danach).

[Hannes J. (Firma: _⌨_) (pnuebergang)]

Was Klaus sagen möchte ist, dass das es bei dem Problem gar nicht um 
einen Opaque Pointer geht, weil T_Car2 nicht nur (vorwärts) Deklariert, 
sondern auch definiert wird.

Nur wenn die Definition von T_Car2 vom normalen Verwender des Codes 
verborgen wäre würde es sich um einen Opaque Pointer für den Verwender 
des Codes handeln.

Das ist einfache eine Forward Reference, also eine Referenz auf einen 
Typen der erst später definiert wird. In C löst man eine Forward 
Reference mit einer Forward Declaration auf. Die Forward Declaration ist 
in diesem Fall die Deklaration eines Incomplete Types.

Die Definition eines Incomplete Types ist einfach, ein Typ dessen Größe 
momentan nicht bekannt ist. Incomplete Types gibt es nur bei structs, 
unions und Arrays und mit void. Andere Datentypen kann man nur 
vollständig deklarieren.