WinAVR(Ну или C) + Массивы в структуре, Массивы в структуре. Опции

[Quasar]

При таком определении компилятор ругается:

Код

typedef struct {  
    const char  Engl[];
    const char  Russ[];
} LangStruct PROGMEM;

Мол переменной длинны, массив не в конце.

Собственно вопрос, а возможно ли вообще в С размещать таким образом два массива?

[Quasar]

ИМХО это очччень не хорошо, если это на самом деле работает. Ни когда не известно, какого размера структура

Ну почему не известно, длинна всех типов в структуре, плюс длинна массива, полученная при инициализации, так получается. Кстати именно поэтому видимо и требование такое, что бы массив был в конце структуры, вот два и не получится разместить .

Код

В определении типа не нужно указывать атрибутов (PROGMEM), они указываются при обьявлении переменных этого типа :

Ну почему же не нужно, смотря для чего, в данном случае надо что бы всё было во флеш, зачем же тогда по сто раз PROGMEM писать.

Сообщение отредактировал Quasar - Jul 30 2007, 12:20

[prottoss]

Ну почему не известно, длинна всех типов в структуре, плюс длинна массива, полученная при инициализации, так получается. Кстати именно поэтому видимо и требование такое, что бы массив был в конце структуры, вот два и не получится разместить .

Хм... Я, конечно, не знаю, как Вы там в программе работаете с этими структурами, но как, допустим, определить массив Ваших структур??? И как, допустим, в цикле их перебирать если все структуры разной длины???

Кстати, можете показать код инициализации члена Text[] структуры Menu_Item? Что то у меня не получилось

[ReAl]

Хм... Я, конечно, не знаю, как Вы там в программе работаете с этими структурами, но

Обычно в таких случаях либо концевой массив содержит нечто "самоограниченное" (null-terminated string, массив указателей с NULL как ограничителем), либо его размер находится в самой структуре. Например, эта структура - заготовка для кольцевого буфера, делаем malloc( sizeof(этой_структуры) + buffer_len) и присваиваем нужному полю buffer_len.

как, допустим, определить массив Ваших структур??? И как, допустим, в цикле их перебирать если все структуры разной длины???

А никак. Массив [] - это incomplete array, структура с ним в конце - incomplete type, по стандарту из них массивы не собираются. Естественно, массивы из указателей на них - запросто и в цикле перебирается :-)

Кстати, можете показать код инициализации члена Text[] структуры Menu_Item? Что то у меня не получилось

Без проблем.

Код

typedef struct {
    int i;
    char c[];
} s;

s s1 = { 1, "abc" };
s s2 = { 1, "qwerty" };

struct {
    int i;
    int ii[];
} ss = { 1, {1, 2, 3} };

avr-gcc -S

CODE

.file "f.c"
.arch avr2
__SREG__ = 0x3f
__SP_H__ = 0x3e
__SP_L__ = 0x3d
__tmp_reg__ = 0
__zero_reg__ = 1
.global __do_copy_data
.global __do_clear_bss
.global s1
.data
.type s1, @object
.size s1, 2
s1:
.word 1
.string "abc"
.global s2
.type s2, @object
.size s2, 2
s2:
.word 1
.string "qwerty"
.global ss
.type ss, @object
.size ss, 2
ss:
.word 1
.word 1
.word 2
.word 3
/* File "f.c": code 0 = 0x0000 ( 0), prologues 0, epilogues 0 */

Кстати, до введения этого в стандарт выкручивались, задавая размер 1. В некоторых компиляторах можно было задать 0, чтобы sizeof от типа не включал сам массив, т.е. чтобы в malloc можно было писать не неестественное
malloc( sizeof(ring_buf_t) + buf_size - 1); // один элемент есть в структуре
а нормальное
malloc( sizeof(ring_buf_t) + buf_size);



Но проблемой этих выкрутасов было в том числе то, что компилятор не запрещал создать массив таких структур. А теперь может выдать ошибку.

[prottoss]

[code]typedef struct {
int i;
char c[];
} s;

s s1 = { 1, "abc" };
s s2 = { 1, "qwerty" };

В IAR (по крайней мере в версии 4.10, что у меня) это не работает.



И ИМХО - это правильно (что не работает ).

[zltigo]

И ИМХО - это правильно (что не работает ).

И не может работать в принципе. Все правильно.
Такие структуры используются для наложения на уже сущестующую память.

[Сергей Борщ]

И не может работать в принципе. Все правильно.

Может работать и работает. С позволяет.

A structure or union shall not contain a member with incomplete or function type (...), except that the last member of a structure with more than one named member may have incomplete array type; such a structure (and any union containing, possibly recursively, a member that is such a structure) shall not be a member of a structure or an element of an array.

Размер такой структуры определяется как размер всех элементов без массива:

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. With two exceptions, the flexible array member is ignored. First, the size of the structure shall be equal to the offset of the last element of an otherwise identical structure that replaces the flexible array member with an array of unspecified length

А вот в С++ - не работает и не должно.

[zltigo]

Может работать и работает. С позволяет. Размер такой структуры определяется как размер всех элементов без массива:А вот в С++ - не работает и не должно.

Речь шла не о получении размера а об ИНИЦИАЛИЗАЦИИ последнего элемента такой структуры. Смотри внимательнее.

[ReAl]

Речь шла не о получении размера а об ИНИЦИАЛИЗАЦИИ последнего элемента такой структуры. Смотри внимательнее.

Мммм....
Да. Жаль. А я почти привык, а оно gcc-шное расширение, наверное, надо глянуть.

17 EXAMPLE Assuming that all array members are aligned the same, after the declarations:
struct s { int n; double d[]; };
struct ss { int n; double d[1]; };
the three expressions:
sizeof (struct s)
offsetof(struct s, d)
offsetof(struct ss, d)
have the same value. The structure struct s has a flexible array member d.
...
18 If sizeof (double) is 8, then after the following code is executed:
struct s *s1;
struct s *s2;
s1 = malloc(sizeof (struct s) + 64);
s2 = malloc(sizeof (struct s) + 46);
and assuming that the calls to malloc succeed, the objects pointed to by s1 and s2 behave as if the
identifiers had been declared as:
struct { int n; double d[8]; } *s1;
struct { int n; double d[5]; } *s2;
...
20 The assignment:
*s1 = *s2;
only copies the member n and not any of the array elements. Similarly:
struct s t1 = { 0 }; // valid
struct s t2 = { 2 }; // valid
struct ss tt = { 1, { 4.2 }}; // valid
struct s t3 = { 1, { 4.2 }}; // invalid: there is nothing for the 4.2 to initialize
...

Так что законно только наложение на память. Посыпаю голову пеплом.

Хотя странно и, на мой взгляд - нелогично, почему-то
int ii[] = { 1, 2, 3};
char *tbl[] = { "Hello, ", "world!", 0 };
т.е. "уточнение" размера массива при инициализации для этих incomplete array было возможно всегда, хотя тут тоже не указано выделение памяти числом в скобках и тоже можно сказать "there is nothing to initialize".
А помещение их в хвост структуры эту возможность отбило.