безымянные struct и union, WinAVR Опции

[ARV]

расширение GNU для GCC вводит возможность задавать в структурах безымянные поля типа struct или union, например, так:

Код

typedef struct {
  uint8_t fix;
  union {
      uint8_t param;
      void *ptr;
   };
}flex_struct_t;

flex_struct_t rec;

и потом в зависимости от условий обращаться rec.param или rec.ptr, как будто эти поля родные для структуры. все хорошо (если не считать того, что Eclipse такой записи не понимает и не подсказывает при вводе имена этих объединенных полей), пока не начинаешь запихивать такие структуры во flash:

Код

PROGMEM flex_struct_t fixed = {.fix=0, .param = 123};

приводит к ошибке unknown field 'param' specified in initializer

вопрос, как обычно, традиционный: что делать? это баг или фича?

[MrYuran]

все хорошо (если не считать того, что Eclipse такой записи не понимает и не подсказывает при вводе имена этих объединенных полей), пока не начинаешь запихивать такие структуры во flash:

Код

PROGMEM flex_struct_t fixed = {.fix=0, .param = 123};

приводит к ошибке unknown field 'param' specified in initializer

А если запихивать не в флешь?
При обращении к полям нет ошибок?

Если дать имя не только типу, но и структуре, то эклипс наверно начнёт "видеть" её поля.
По крайней мере, в С::В именно так.

[dimka76]

а если попробовать проинитить так

Код

PROGMEM flex_struct_t fixed = {0,  123};

[ARV]

если инициализировать переменную - ошибка все равно есть. если просто в программе работать с полями - все нормально.

не понимаются именно инициализаторы... просто для настоящих переменных это не принципиально, т.к. всегда можно поля ручками проинициализировать, а для flash альтернатив нету...

[MrYuran]

А если так:

Код

PROGMEM flex_struct_t fixed = {.fix=0, {.param = 123}};

[ARV]

а если попробовать проинитить так

Код

PROGMEM flex_struct_t fixed = {0,  123};

так можно, но выдается warning. зато так непонятно, что к чему инициализируется - от этого и хочется уйти

А если так:

Код

PROGMEM flex_struct_t fixed = {.fix=0, {.param = 123}};

В ТОЧКУ! спасибо!

странно, что все-таки для обращения к полю не надо писать что-то типа rec..param - понимает же GCC, что поля надо достать из union-а...

[dimka76]

Код

PROGMEM flex_struct_t fixed = {0,  123};

так можно, но выдается warning. зато так непонятно, что к чему инициализируется - от этого и хочется уйти

а что за предупреждение ?

[IgorKossak]

... Eclipse такой записи не понимает и не подсказывает при вводе имена этих объединенных полей ...

Helios понимает и всё прекрасно показывает.
Попробуйте покопаться в Preferences->C/C++->Editor->Content Assist->Advanced

[ARV]

Helios понимает и всё прекрасно показывает.
Попробуйте покопаться в Preferences->C/C++->Editor->Content Assist->Advanced

увы... не показывает у меня, и настройки не помогают.

но, что гораздо хуже, я все равно в тупике с инициализаторами

Код

typedef struct {
    prog_char    *text;
    uint8_t        type;
    union{
        struct {
            union{
                uint8_t id;
                int        *num;
            };
            func_ptr    func;
        };
        struct {
            uint8_t        vcnt;
            uint8_t        *vid;
            prog_char    **var;
        };
        _tm    submenu;
    };
} menu_item_t;

#define simple_item(t,i,f)    {.text = t, .type = i_simple, {{{.id=i}, .func = f}}}
#define int_item(t,n,f)        {.text = t, .type = i_int, {{{.num = n}, .func = f}}}
#define var_item(t,c,vi,v)    {.text = t, .type = i_var,{ {.vcnt=0}} }
#define sub_item(t,s)        {.text = t, .type = i_sub, {.submenu = s}}

PROGMEM menu_t mainmenu = {
        .itemcount = 5,
        .items = {
                simple_item(m1,1,NULL),
                int_item(m2,&varvar,NULL),
                var_item(m3,3,&vi,&vars),
                simple_item(m4,1,NULL),
                simple_item(m5,2,NULL)
        }
};

в этом куске: сначала структура с объединенными полями, затем макросы для инициализации разных вариантов этой структуры, в конце - массив элементов с разными вариантами. так вот, var_item() вызывает ошибку - не найдено поле vcnt - в чем дело, не пойму... все прочие варианты отрабатывают...

[MrYuran]

что-то у вас странное...

#define var_item(t,c,vi,v) {.text = t, .type = i_var,{ {.vcnt=0}} }

Слева у макроса четыре аргумента, а справа используется только один...

[ARV]

что-то у вас странное...

Слева у макроса четыре аргумента, а справа используется только один...

да не в этом же дело... это я уже всякие упрощения делал, чтобы найти причину - изначально все 4 параметра использовались...
никак не получается задать поле - вот в чем беда!

[MrYuran]

Что-то вы перемудрили...
Как можно инициализировать все элементы юниона, если они друг на друга наложены?
Писать одно поверх другого?

[ARV]

почему все? я инициализирую только в одном варианте! внутри охватывающего юниона 2 варианта структуры - инициализирую ИЛИ первый вариант, ИЛИ второй - но не в перемешку!

[ARV]

Жаль, что все знатоки Си, которых тут немало, не желают подсказать, в чем я не прав, и объяснить, как следует поступить... если компилятор описание структуры считает корректным, если доступ к полям происходит - что не так с инициализацией?

[dimka76]

Код

union{
                uint8_t id;
                int        *num;
            };

Вы пытаетесь объединить 16-ти битную переменную и 8-битную. Указатель в памяти занимает два байта.

Код

union{
        struct {
            union{
                uint8_t id;
                int        *num;
            };
            func_ptr    func;
        };
        struct {
            uint8_t        vcnt;
            uint8_t        *vid;
            prog_char    **var;
        };

Здесь у вас тоже структуры разного размера