Рассмотрим следующую программу: (см. живую демонстрацию здесь).
#include <stdio.h>
struct Test
{
int a;
};
typedef struct Test t;
typedef struct Test t;
int main()
{
t T={9};
printf("%d",T.a);
}
Программа отлично компилируется в компиляторе C11, но не компилируется в компиляторе C99. Почему? Какова причина? Мой компилятор gcc 4.8.1 выдает следующие предупреждения:
[Warning] redefinition of typedef 't' [-Wpedantic]
[Note] previous declaration of 't' was here
Это было (очевидно) изменено в C11. C99§6.7/3:
Если идентификатор не имеет связи, должно быть не более одного объявления идентификатора (в описателе или спецификаторе типа) с той же областью действия и в одном и том же пространстве имен, за исключением тегов, как указано в 6.7.2.3.
C11§6.7/3:
Если идентификатор не имеет связи, должно быть не более одного объявления идентификатора (в описателе или спецификаторе типа) с той же областью действия и в одном и том же пространстве имен, за исключением того, что:
— имя typedef может быть переопределено для обозначения того же типа, что и сейчас, при условии, что этот тип не является изменяемым типом;
- теги могут быть повторно объявлены, как указано в 6.7.2.3.
Хотя я не могу найти документ с обоснованием для C11, я предполагаю, что причина этого изменения заключается в том, чтобы разрешить несколько struct typedef, возможно, по нескольким заголовкам. Поскольку повторное объявление тегов struct/union/enum уже разрешено, а typedefing structs является довольно распространенной идиомой.
Изменить
@Lundin нашел обоснование для этого: это для улучшения совместимости с С++:
C++ позволяет переопределению typedef с тем же именем, что и у предыдущего typedef, появляться в той же области, если оно называет тот же тип. Некоторые компиляторы C допускают аналогичное переопределение typedef в качестве расширения, хотя C99 этого не позволяет. Добавление мягкого переопределения typedef в C1x повысит согласованность с C++, стандартизирует некоторые существующие практики и безопасно устранит ограничение, которое бесполезно и иногда доставляет неудобства пользователям.
typedef одного и того же в нескольких заголовках, как это могут быть теги. Тем более, что typedef struct { ... } type; комбо так популярны.
- person Kninnug; 21.10.2015
typedef structs использует свой тег (struct foo { ... }; -> typedef struct foo { ... } foo;)? Они могли бы позволить ему разместить избыточные typedef, поступающие из C. Таким образом, гармонизация прошла полный круг :).
- person Kninnug; 21.10.2015
