variables Array in einer struct richtig initialisieren

[Ralf W. (Gast)]

Hallo,

ich programmiere in C im Atmelstudio 6.2 für den ATMEGA2560.
In einem Header habe ich folgende Strukturen

#define ungueltig 4294967295
#define namelenght 15

uint32_t SerienNummer;
uint8_t TestschrittAnzahl; // ? Wird im eigentlichen Testprogramm neu deklariert und initialisiert.

typedef enum{
    Spannung,
//    AC,
//    aBit,
//    aByte,
    setBit,
    resetBit,
//    TBReceive,
    TBSend,
//    TBSendReceive,
    TBSeriennummer,
    TBSNNetzteil,
    TBTuerOeffner,
    startTime_s,
    stopTime_s,
    WaitForDigInHigh,  //wartet bis DigIn(uint8_t mask) == High, setzt Programm dann fort
    Delay_ms,
}t_eMessArt;

typedef struct{
    t_eMessArt messart;
    uint8_t retry;
    void *argument;
}t_sAction;

typedef struct{
    char name[namelenght];
    char min_sign;
    char max_sign;
    char ist_sign;
    uint64_t min;
    uint64_t max;
    uint64_t ist;
    uint8_t actioncount;
    bool ausgefallen;
    t_sAction actions[];
}t_sTestschritt;

Diese werden in einem anderen Header korrekt initialisiert:

t_sMessArgument VDC_KL1_KL2Argument = {
    .High = E1_H,
    .Low = E1_L,
    .Range = &Range_200V,
    .AC = false,
};

t_sTestschritt VDC_KL1_KL2 = {
    .name = "VDC Kl1 Kl2\n",
    .min_sign = '-',
    .max_sign = '-',
    .ist_sign = '-',
    .min = 350000000,
    .max = 300000000,
    .ist = ungueltig,
    .actioncount = 1,
    .ausgefallen = true,
    .actions = {
        {.messart = Spannung,
         .retry = 3,
         .argument = &VDC_KL1_KL2Argument,
        }
    }
};

Jetzt brauche ich aber einen Testschritt t_sTestschritt mit 20 actions.
Ich versuche das so zu deklarieren:

t_sAction FileAction[20];

t_sTestschritt FileTestschritt = {
  .actioncount = 20,
  .ausgefallen = true,
  .actions = FileAction
};

Das haut mir aber der Compiler um die Ohren.

Warning  1  missing braces around initializer [-Wmissing-braces]  C:\Dokumente und Einstellungen\ralf.COMANCHE\Eigene Dateien\Elektronik\AVR\7573\testprogramm\testschritte.h  67  1  7573
Warning  2  (near initialization for 'FileTestschritt.actions') [-Wmissing-braces]  C:\Dokumente und Einstellungen\ralf.COMANCHE\Eigene Dateien\Elektronik\AVR\7573\testprogramm\testschritte.h  67  1  7573
Error  3  incompatible types when initializing type 'enum <anonymous>' using type 'struct t_sAction *'  C:\Dokumente und Einstellungen\ralf.COMANCHE\Eigene Dateien\Elektronik\AVR\7573\testprogramm\testschritte.h  67  1  7573

Wie kann ich zur CompileZeit dem Testschritt ein Array von 20 t_sAction 
zuweisen?

[Stefan K. (stefan64)]

Welche Zeile davon ist die 67?

Gruß, Stefan

[Ralf W. (Gast)]

Hallo,

Zeile 67 ist die Klammer hinter:

  .actions = FileAction
}; <- Zeile 67

[Jörg W. (dl8dtl) (Moderator)]

Ralf W. schrieb:
> Wie kann ich zur CompileZeit dem Testschritt ein Array von 20 t_sAction
> zuweisen?

Gar nicht.

So ein flexible array member besitzt im Rahmen der Struktur selbst
erst einmal keinen Speicher.  Daher kann man auf diese nur dann
zugreifen, wenn sichergestellt ist, dass irgendwo anders her Speicher
dafür bereitgestellt worden ist.  Das bedeutet letztendlich, dass
der ganze Konstrukt nur dann Sinn hat, wenn man auf die Struktur über
Zeiger zugreift.

Sinngemäß findet sich das im Standard in Abschnitt “6.7.2 Type
specifiers”, Absatz 18 wieder:

As a special case, the last element of a structure with more than one
named member may have an incomplete array type; this is called a flexible
array member. In most situations, the flexible array member is ignored.
In particular, the size of the structure is as if the flexible array
member were omitted except that it may have more trailing padding than
the omission would imply. Howev er, when a . (or ->) operator has a left
operand that is (a pointer to) a structure with a flexible array member
and the right operand names that member, it behaves as if that member
were replaced with the longest array (with the same element type) that
would not make the structure larger than the object being accessed; the
offset of the array shall remain that of the flexible array member, even
if this would differ from that of the replacement array. If this array
would have no elements, it behaves as if it had one element but the
behavior is undefined if any attempt is made to access that element or
to generate a pointer one past it.

[Ralf W. (Gast)]

Hallo,

irgendwie geht es halt doch, wenn ich es so schreibe:

t_sTestschritt FileTestschritt = {
  .actioncount = 20,
  .ausgefallen = true,
    .actions = {
    {},
    {},
  }
};

Nach meinem dafürhalten habe ich jetzt ein Array für .actions
mit 2 Elementen. Schreibe ich da jetzt 20 leere Klammern habe ich
meine 20 Elemente.
Aber dafür muß es doch eine bessere Schreibweise geben. Oder?

[Jörg W. (dl8dtl) (Moderator)]

Ralf W. schrieb:
> Aber dafür muß es doch eine bessere Schreibweise geben. Oder?

Sei doch froh, dass es dafür überhaupt eine gibt.

Dürfte eine GCC-Erweiterung sein, der sich damit also schon mal
über das vom Standard vorgeschriebene Maß hinaus bewegt hat.

[53453453454353 (Gast)]

problem ist halt das der vergebene speicher feststehen muss.
deine {} klammern tun das gleiche wie actions[20]

sie reservieren den speicher.

wenn du das dynamisch brauchst dann wirst du um malloc/free nicht 
drumherum kommen.

[Ralf W. (Gast)]

Hallo,

irgendwie hat Jörg recht. Korrekt muß die struct t_sTestschritt so 
deklariert werden.

typedef struct{
    char name[namelenght];
    char min_sign;
    char max_sign;
    char ist_sign;
    uint64_t min;
    uint64_t max;
    uint64_t ist;
    uint8_t actioncount;
    bool ausgefallen;
    t_sAction *actions;
}t_sTestschritt;

Also das Feld actions wird ein Pointer. Dann kann ich schreiben:

t_sAction FileAction[20];

t_sTestschritt FileTestschritt = {
  .actioncount = 20,
  .ausgefallen = true,
  .actions = FileAction
};

Das bricht zwar den anderen Code. Aber den kann ich so umschreiben:

t_sMessArgument VDC_KL1_KL2Argument = {
    .High = E1_H,
    .Low = E1_L,
    .Range = &Range_200V,
    .AC = false,
};

t_sAction VDC_KL1_KL2Action1 = {
    .messart = Spannung,
    .retry = 3,
    .argument = &VDC_KL1_KL2Argument,
};

t_sTestschritt VDC_KL1_KL2 = {
    .name = "VDC Kl1 Kl2\n",
    .min_sign = '-',
    .max_sign = '-',
    .ist_sign = '-',
    .min = 350000000,
    .max = 300000000,
    .ist = ungueltig,
    .actioncount = 1,
    .ausgefallen = true,
    .actions = &VDC_KL1_KL2Action
};

[Jörg W. (dl8dtl) (Moderator)]

Ralf W. schrieb:
> Korrekt muß die struct t_sTestschritt so deklariert werden.

Du kannst auch das mit dem flexible array member benutzen.  Die
Idee ist dabei dann nur, dass du den eigentlichen Speicher dafür
irgendwo in passender Größe per malloc() beschaffst.  sizeof(struct)
kannst du benutzen, um alles außer dem flexible array zu
bestimmen, d. h. wenn du 20 Elemente im Array hinter der eigentlichen
struct haben willst, allozierst du

malloc(sizeof(struct xxx) + 20 * sizeof(array yy))

Davon darfst du dann einen Typecast auf einen Zeiger auf die struct
machen und nun auf den zusätzlichen Speicher am Ende typsicher
zugreifen.