| |
|
  |
 Анонимные структуры IAR vs Keil |
|
|
|
|
 Jun 7 2016, 16:02
|
Гуру
Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244
|
QUOTE (DASM @ Jun 7 2016, 14:16)  Речь не об их полезности, а разношерстности толкования их компиляторами Лично я никогда никакой разношерстности толкования компиляторами не замечал, а пользую повседневно я их 6-7 штук. Либо компилятор понимает, либо нет. После с99 понимают все. До с99 - некоторые. Поминаемый здесь Кейл, правда, не использовал сколь-нибудь серьезно никогда. QUOTE и довольно посредственного понимания программистами терминологии. а это вооюще не интересно, главное, что меня компиляторы понимают.
--------------------
Feci, quod potui, faciant meliora potentes
|
|
|
|
|
|
|
|
Jun 7 2016, 19:09
|
.
Группа: Участник
Сообщений: 4 005
Регистрация: 3-05-06
Из: Россия
Пользователь №: 16 753
|
А каким образом решается конфликт объявления нескольких разных анонимных структур или юнионов с одинаковыми названиями членов на том же уровне иерархии (локальном/глобальном)? Что там говорит стандарт о вложениях анонимных структур/юнионов? Все анонимные вложения тоже считаются одним уровнем области видимости, на котором запрещены одинаковые имена? Или запрет наложения имён только на том же уровне (не заходя в анонимные структуры), а поиск при компиляции будет вниз по иерархии (по анонимам) до первого встречного совпадающего имени? В последнем случае зарыта грабля. Логично, конечно, если при создании структуры правила поиска будут ближе к разбору исполняемого кода. Но т.к. факт анонимности структуры обнаруживается после создания компилятором её (анонимного) типа, то все проверки имён будут после. Проблема видится в том, что имена членов при этом не должны совпадать ни с какими именованными объектами, которые нельзя замещать на текущем уровне (локальном/глобальном). Это усложняет логику компилятора. Хотелось бы знать - ради чего. Цитата(dimone @ Jun 5 2016, 22:37) Цитата(jcxz) Сделать структуру именованной, а потом при помощи define задать для старого имени из исходников эквивалент имени члена новой структуры. -cамое простое и логичное решение, в моеи ситуации, как сразу не допер.. Там разве не все члены придётся "задефайнивать"? Ведь <старые имена> это все члены структуры. Цитата(zltigo) неименованные структуры безмерно полезны. Когда приходится изредка описывать, например, протоколы под убогие компиляторы, то заморочки вылезют немалые, БЕЗ возможности описания таких структур. Можно пример? В чём полезность? Как в С99 или другом стандарте безымянная структура объявленная в одном модуле видна другому модулю? Члены/поля структур передаются через хидеры с typedef. А безымянную структуру-переменную вроде как нельзя объявить через typedef. Даже просто указатель на неё не передать в код из другого модуля. Пока наблюдается только полная невидимость глобальной структуры/юниона-переменной извне модуля. А внутри модуля переменная такая, которая в памяти есть, но её адрес получить нельзя. Адрес первого элемента/члена это не то же самое. Но размер узнать можно, если при объявлении было указано предворяющее имя. ЗЫ. Термин модуль здесь в Паскаль-терминологии. Если в Си он что-то другое/большее значит. -------- Кажется можно объявить анонимную структуру-переменную с предворяющим именем, и этот созданный тип перенести в typedef и задать ему имя, которое можно будет использовать в type-cast. Но полученное type-object-name будет только для текущего модуля, т.к. оно создаётся после создания переменной.
Сообщение отредактировал GetSmart - Jun 8 2016, 12:43
--------------------
Заблуждаться - Ваше законное право :-)
|
|
|
|
|
|
|
|
Jun 7 2016, 21:18
|
Просто Che
Группа: Свой
Сообщений: 1 567
Регистрация: 22-05-07
Из: ExUSSR
Пользователь №: 27 881
|
Цитата(GetSmart @ Jun 7 2016, 22:09) А каким образом решается конфликт объявления нескольких разных анонимных структур или юнионов с одинаковыми названиями членов на том же уровне иерархии (локальном/глобальном)?
Можно пример? Если это о сборке нескольких в один проект, то придётся следить чтобы имена членов у разных протоколов никогда не совпали. Если совпадут, то кирдык компиляции. Править протоколы, точнее множество имён, под свою сборку - плохая идея. Гораздо проще править одно имя - имя структуры. Компилятор сам именует всё не именованное (анонимное) своими внутренними уникальными именами, поэтому никаких конфликтов нет. Если посмотреть листинги и мар-файл, там все эти имена видны. Так что просто компилятор сам делает часть рутинной работы по именам, и эти имена просто скрыты, поскольку программисту не нужны. Чаще всего удобно не именовать вложенные структуры, при этом значительно уменьшается длина имени конечного сильно вложенного члена. Саму внешнюю структуру можно тоже делать анонимной, но при этом как раз и могут возникнуть проблемы, которые вы описали. Поэтому внешнюю структуру лучше именовать. Вот пример для ИАР-а MSP430: Код typedef struct {
union {
unsigned short StatAll;
struct {
unsigned char Status;
struct {
unsigned char Mode :2;
unsigned char Dir :1;
};
};
};
struct {
unsigned char fZeroHold :1;
unsigned char :7;
};
unsigned char CurrentLimit
unsigned int AccelStart;
unsigned int AccelBrake;
...
signed long MaxPosition;
} motor_vars_t;
motor_vars_t Motor; Именованны только члены вложенных структур, сами внутренние структуры анонимны.
|
|
|
|
|
|
|
|
Jun 7 2016, 21:45
|
.
Группа: Участник
Сообщений: 4 005
Регистрация: 3-05-06
Из: Россия
Пользователь №: 16 753
|
Цитата(Baser @ Jun 8 2016, 01:18) Компилятор сам именует всё не именованное (анонимное) своими внутренними уникальными именами, поэтому никаких конфликтов нет. Если посмотреть листинги и мар-файл, там все эти имена видны. А причём тут это? При разборе текста кода этих имён в тексте не должно быть и если даже писатель кода туда вставит имя из MAP-файла, то компилятору надо заругаться. Если "уникальные имена" становятся видимы постфактум, то как их предугадывать? )) Плюс это уже далеко от стандарта. ---------- Вообще, если в стандарте написано, что доступ к члену структуры/юниона происходит через оператор точка или ->, и явно не указано, что есть другой способ, то анонимная compound-переменная (ака структура/юнион) не разрешена. Операторы точка и -> бинарные. Внутри объявления compound-константы связь с типом есть неявно, без необходимости использовать имя. То бишь есть смысл/удобство его опускать в тексте и для сокращения текста и для анонимного варианта. И ещё здесь между объявлением анонимного compound-типа (вместе с переменной) и доступом к члену нет возможностей локального замещения имён. Но, признаюсь, в реале мне никогда не надобились такие анонимы и не проверял создание таких переменных и констант ни на каком компиляторе.
Сообщение отредактировал GetSmart - Jun 8 2016, 11:40
--------------------
Заблуждаться - Ваше законное право :-)
|
|
|
|
|
|
|
|
Jun 8 2016, 09:16
|
Просто Che
Группа: Свой
Сообщений: 1 567
Регистрация: 22-05-07
Из: ExUSSR
Пользователь №: 27 881
|
Цитата(GetSmart @ Jun 8 2016, 00:45) А причём тут это? При разборе текста кода этих имён в тексте не должно быть и если даже писатель кода туда вставит имя из MAP-файла, то компилятору надо заругаться. Если "уникальные имена" становятся видимы постфактум, то как их предугадывать? )) Плюс это уже далеко от стандарта.
----------
Вообще, если в стандарте написано, что доступ к члену структуры/юниона происходит через оператор точка или ->, и явно не указано, что есть другой способ, то анонимная compound-переменная (ака структура/юнион) не разрешена. Операторы точка и -> бинарные. Внутри объявления compound-константы связь с типом есть неявно, без необходимости использовать имя. То бишь есть смысл/удобство его опускать в тексте и для сокращения текста и для анонимного варианта. И ещё между объявлением анонимного compound-типа (вместе с переменной) и доступом к члену нет возможностей локального замещения имён. Но, признаюсь, в реале мне никогда не надобились такие анонимы и не проверял создание таких переменных и констант ни на каком компиляторе. Вообще то это стандартное свойство C++ и оно очень удобно. Для чего нужно - пример выше я привел. Доступ к члену вложенной структуры короче: Motor.Mode; Иначе пришлось бы писать: Motor.Aaa.Bbb.Ccc.Mode; Что никакого практического смысла для алгоритма не имеет, только загромождает текст. Вот, чтобы не рыться, глава из руководства на IAR MSP430: Код ANONYMOUS STRUCTS AND UNIONS
When a structure or union is declared without a name, it becomes anonymous. The effect is that its members will only be seen in the surrounding scope.
Anonymous structures are part of the C++ language; however, they are not part of the C standard. In the IAR C/C++ Compiler for MSP430 they can be used in C if language extensions are enabled.
Example
In this example, the members in the anonymous union can be accessed, in function f, without explicitly specifying the union name:
struct S {
char mTag;
union {
long mL;
float mF;
};
} St;
void F(void)
{
St.mL = 5;
}
The member names must be unique in the surrounding scope. Having an anonymous struct or union at file scope, as a global, external, or static variable is also allowed. This could for instance be used for declaring I/O registers, as in this example:
__no_init volatile
union {
unsigned char IOPORT;
struct {
unsigned char Way: 1;
unsigned char Out: 1;
};
} @ 8;
/* Here the variables are used*/
void Test(void)
{
IOPORT = 0;
Way = 1;
Out = 1;
}
This declares an I/O register byte IOPORT at address 0. The I/O register has 2 bits declared, Way and Out. Note that both the inner structure and the outer union are anonymous.
Anonymous structures and unions are implemented in terms of objects named after the first field, with a prefix _A_ to place the name in the implementation part of the namespace. In this example, the anonymous union will be implemented through an object named _A_IOPORT.
|
|
|
|
|
|
|
|
Jun 8 2016, 11:09
|
.
Группа: Участник
Сообщений: 4 005
Регистрация: 3-05-06
Из: Россия
Пользователь №: 16 753
|
Цитата(Baser @ Jun 8 2016, 13:16) Вообще то это стандартное свойство C++ и оно очень удобно. Анонимные структуры и юнионы есть и в простом Си. Точнее IAR в режиме <Си без плюсов> умеет работать с анонимными структурами/юнионами. Что написано в стандартах разных годов - затрудняюсь утверждать. Спор идёт о допустимости корневой анонимности, а не внутри именованной структуры/юниона. ------ У Кейла на сайте смесь Си и Си++. Смесь бульдога с носорогом. Код typedef union
{
int i, j;
} U; // U identifies a reusable anonymous union. И называется анонимной структурой/юнионом совсем не то, что в этой ветке. Для Кейла анонимность = отсутствие первого имени (сразу после struct). Такой обходной путь через прагму чтобы подчеркнуть, что это (анонимность) не совсем то, что обычно означает.
Сообщение отредактировал GetSmart - Jun 8 2016, 21:38
--------------------
Заблуждаться - Ваше законное право :-)
|
|
|
|
|
|
|
|
Jun 8 2016, 15:55
|
Гуру
Группа: Свой
Сообщений: 13 372
Регистрация: 27-11-04
Из: Riga, Latvia
Пользователь №: 1 244
|
QUOTE (GetSmart @ Jun 7 2016, 22:09) Можно пример? CODE // Beacon Invite
typedef struct bi_s{
air_header_s;
union {
bi_data_s;
ushort data_raw;
};
} bi_s; QUOTE В чём полезность? В отсутствии абсолютно лишних сущностей, когда они лишние.
--------------------
Feci, quod potui, faciant meliora potentes
|
|
|
|
|
|
|
|
Jun 9 2016, 05:35
|
.
Группа: Участник
Сообщений: 4 005
Регистрация: 3-05-06
Из: Россия
Пользователь №: 16 753
|
Цитата(zltigo @ Jun 9 2016, 06:26) К чемк поминание неведомого термине "идентификатор"? Идентификатор (текстовый) - синоним имени, когда речь идёт о тексте исходника. Или в Си он с чем-то другим связан? Или в Си++. Чтобы обходить чужую терминологию её надо обозначить. Цитата(zltigo @ Jun 9 2016, 06:26) Можете, как и у Автора, описать структкру внутри. Это НЕ имеет зачения. Суть в том, что структура при объявлениине имеет имени - только тип. Требуется добавить: если она является structure/union member (другой структуры). То есть вложенная структура может не иметь имя. На счёт корневого имени (имени переменной) - какие ваши доказательства? Для Си утверждение о имени будет корректно, если там ясно написано какое имя и в каких условиях. Т.к. при вложениях там всё становится относительным. Если не написано в каких условиях, то не факт, что утверждение/определение для всех условий. И анонимность можно толковать по-разному. В IARе анонимность членов могла разрешаться когда были включены опции <режим Си> & <Allow IAR Extensions>. То есть без режима Си++. Стандарт/Описание IAR Extensions узнавать надо видимо у IAR-a. Тут много раз были попытки толковать анонимность как <отсутствие одного из имён>, плюс подмена отсутсвия имени у типа vs имени у переменной. У Кейла тоже самое. Цитат из стандарта не хватает.
Сообщение отредактировал GetSmart - Jun 9 2016, 10:16
--------------------
Заблуждаться - Ваше законное право :-)
|
|
|
|
|
|
|
|
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
|
|
