VPF::IAR С99 Инициализация полей union - Форум программистов

LeonidPr

Дата 13.10.2015, 14:11 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 220
Регистрация: 17.2.2012
Где: г. Чебоксары

Репутация: нет
Всего: 1

Добрый день всем. Возник такой вопрос.
есть вот такие типы

Код


typedef union {
  struct {
    int32_t i_max_value;
    int32_t i_min_value;
  };
  struct {
    uint32_t ui_max_value;
    uint32_t ui_min_value;
  };
  struct {
    float f_max_value;
    float f_min_value;
  };
} range_t;

typedef struct {
  set_type_t mi_type; 
  uint8_t *mi_ptr;
  range_t mi_range;
} map_item_t;

где set_type_t это просто перечисление.
Теперь мне нужно создать переменную типа map_item_t и проинициализировать её при объявлении.

Код


map_item_t item = {set_type_bool, 0, {i_min_value:0,i_max_value:0}};

Компилятор ругается, что i_min_value, i_max_value не определены. Если писать по другому

Код


map_item_t item = {set_type_bool, 0, {0, 0}};

то все компилируется, но... я хотел бы явно указывать какие поля union я инициализирую. Причем компилируется и такой вариант:

Код


map_item_t item = {set_type_float, 0, {0.9f, 0.5f}};

Могу ли я быть уверен, что компилятор не приведет 0.5f к uint32_t например и не получит 0? и второй вопрос, почему явное указание полей не работает, хотя структуры внутри union анонимные, вроде как должен такой синтаксис работать.

Это сообщение отредактировал(а) LeonidPr - 13.10.2015, 14:12

--------------------

pkunzip.zip

volatile

Дата 13.10.2015, 15:45 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2107
Регистрация: 7.1.2011

Репутация: 37
Всего: 85

Цитата(LeonidPr @ 13.10.2015, 14:11

)

Могу ли я быть уверен, что компилятор не приведет 0.5f к uint32_t например и не получит 0?

а так не работает?

Код


map_item_t item = {x, y, .mi_range.f_max_value=.5, .mi_range.f_min_value=.42};

Это сообщение отредактировал(а) volatile - 13.10.2015, 15:50

feodorv

Дата 13.10.2015, 15:52 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 2214
Регистрация: 30.7.2011

Репутация: 11
Всего: 45

Цитата(LeonidPr @ 13.10.2015, 14:11

)

Компилятор ругается, что i_min_value, i_max_value не определены

Как-то это иначе делается, например.

Цитата(LeonidPr @ 13.10.2015, 14:11

)

Могу ли я быть уверен, что компилятор не приведет 0.5f к uint32_t например и не получит 0?

По умолчанию инициализируется первый член объединения. Проведите эксперимент:

Код


typedef union {
  struct {
    int32_t i_max_value;
    int32_t i_min_value;
  };
  struct {
    uint32_t ui_max_value;
    uint32_t ui_min_value;
  };
  struct {
    float f_max_value;
    float f_min_value;
  };
} range_t;

typedef struct {
  int mi_type;
  unsigned char *mi_ptr;
  range_t mi_range;
} map_item_t;

int main( void )
{
  map_item_t item = { 1, 0, {0.9f, 0.5f} };
  printf( "imax = %d, imin = %d\n", item.mi_range.i_max_value, item.mi_range.i_min_value);
  printf( "fmax = %f, fmin = %f\n", item.mi_range.f_max_value, item.mi_range.f_min_value);
  return 0;
}

Получите нули, как и должно быть.

Добавлено через 49 секунд
Пока писал ответ, не видел ответа volatile)))

--------------------

Напильник, велосипед, грабли и костыли - основные инструменты программиста...

volatile

Дата 13.10.2015, 15:58 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2107
Регистрация: 7.1.2011

Репутация: 37
Всего: 85

вот здесь, вроде пашет
https://ideone.com/3Uif9u
smile

LeonidPr

Дата 13.10.2015, 16:40 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 220
Регистрация: 17.2.2012
Где: г. Чебоксары

Репутация: нет
Всего: 1

да, Volatile, действительно ваш вариант работает и с IAR компилятором. Спасибо! Сейчас буду искать, как это объясняется с точки зрения стандарта. Похоже, что как-бы резервируется место под mi_range и потом идет обращение к полям уже созданной структуры. Так-то вроде понятно, но я вряд ли бы в ближайшее время дошел до такого варианта!

--------------------

pkunzip.zip

volatile

Дата 14.10.2015, 09:03 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Завсегдатай
Сообщений: 2107
Регистрация: 7.1.2011

Репутация: 37
Всего: 85

Цитата(LeonidPr @ 13.10.2015, 16:40

)

буду искать, как это объясняется с точки зрения стандарта.

Цитата(ISO/IEC 9899:1999)

6.7.8 Initialization
...
  7 If a designator has the form .identifier
    then the current object (defined below) shall have structure or union type and the
    identifier shall be the name of a member of that type.
...
  EXAMPLE 10 Structure members can be initialized to nonzero values without depending on their order:
  div_t answer = { .quot = 2, .rem = -1 };

LeonidPr

Дата 14.10.2015, 09:39 (ссылка)

(нет голосов)

Загрузка ...

Бывалый

Профиль
Группа: Участник
Сообщений: 220
Регистрация: 17.2.2012
Где: г. Чебоксары

Репутация: нет
Всего: 1

да, то же нашел. Только вот думал, откуда я вариант с двоеточиями взял, в голове сидит ведь. Сейчас вот нашел
Designated inits

Цитата

Another syntax that has the same meaning, obsolete since GCC 2.5, is ‘fieldname:’, as shown here:

Код


struct point p = { y: yvalue, x: xvalue };

Устаревший оказывается.

--------------------

pkunzip.zip

1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »