Объявления структур

"Объявление структуры" именует тип и задает последовательность переменных значений ("элементы" или "поля" структуры), которые могут иметь разные типы. Необязательный идентификатор — тег — предоставляет имя типа структуры и может использоваться в последующих ссылках на тип структуры. Переменная этого типа структуры включает определенную этим типом последовательность целиком. Структуры в языке C аналогичны типам, известным в других языках как "записи".

Синтаксис

struct-or-union-specifier:
 struct-or-unionidentifier_opt{struct-declaration-list}
 struct-or-union identifier

struct-or-union:
 struct
 union

struct-declaration-list:
 struct-declaration
 struct-declaration-list struct-declaration

struct-declaration:
 specifier-qualifier-list struct-declarator-list ;

specifier-qualifier-list:
 type-specifierspecifier-qualifier-list_необ.
 type-qualifierspecifier-qualifier-list_необ.

struct-declarator-list:
 struct-declarator struct-declarator-list , struct-declarator

struct-declarator:
 declarator
 type-specifierdeclarator_{Выбрать}:constant-expression

Объявление типа структуры не выделяет место для структуры. Это только шаблон для последующих объявлений переменных структуры.

Ранее определенный identifier (тег) можно использовать для ссылки на тип структуры, определенный в другом месте. В этом случае не может быть повторен до тех пор, struct-declaration-list пока определение является видимым. Объявления указателей на структуры и объекты typedef для типов структуры могут использовать тег структуры до определения типа структуры. Однако определение структуры необходимо получить до выполнения каких-либо фактических действий с размером полей. Это использование является неполным определением типа и тега типа. Для того чтобы это определение стало полным, определение типа должно отображаться позже в той же области.

Задает struct-declaration-list типы и имена элементов структуры. Аргумент struct-declaration-list содержит одно или несколько объявлений переменных или битовых полей.

Каждая переменная, объявленная в struct-declaration-list , определяется как член типа структуры. Объявления переменных внутри struct-declaration-list имеют ту же форму, что и другие объявления переменных, рассматриваемые в этом разделе, за исключением того, что объявления не могут содержать описатели класса хранения или инициализаторы. Элементы структуры могут содержать любые типы переменной, кроме типа void, неполного типа или типа функции.

Член не может быть объявлен как имеющий тип структуры, в которой он отображается. Однако элемент можно объявить как указатель на структурный тип, в котором он отображается, при условии, что этот структурный тип имеет тег. Он позволяет создавать связанные списки структур.

Структуры имеют ту же область видимости, что и другие идентификаторы. Идентификаторы структур должны отличаться от всех тегов структур, объединений и перечислений с той же областью видимости.

Каждый элемент struct-declaration в struct-declaration-list должен быть уникальным в пределах списка. Однако имена идентификаторов в struct-declaration-list не обязательно должны отличаться от обычных имен переменных или идентификаторов в других списках объявлений структуры.

Доступ к вложенным структурам можно осуществлять так же, как если бы они были объявлены на уровне области файлов. Например, с данным объявлением

struct a
{
    int x;
    struct b
    {
      int y;
    } var2;
} var1;

оба объявления являются допустимыми:

struct a var3;
struct b var4;

Примеры

В следующих примерах показаны объявления структуры.

struct employee   /* Defines a structure variable named temp */
{
    char name[20];
    int id;
    long class;
} temp;

Структура employee содержит три члена: name, id и class. Член name — это 20-элементный массив, а id и class — простые элементы с типом int и long соответственно. Идентификатор employee является идентификатором структуры.

struct employee student, faculty, staff;

В этом примере определяются три переменных структуры: student, faculty и staff. Каждая структура имеет такой же список из трех элементов. Эти элементы объявлены как имеющие структурный тип employee, определенный в предыдущем примере.

struct           /* Defines an anonymous struct and a */
{                /* structure variable named complex  */
    float x, y;
} complex;

Структура complex содержит два элемента с типом float — x и y. Тип структуры не имеет тегов и, следовательно, является безымянным или анонимным.

struct sample   /* Defines a structure named x */
{
    char c;
    float *pf;
    struct sample *next;
} x;

Первые два элемента структуры — это переменная char и указатель на значение float . Третий элемент, next, объявляется как указатель на определяемый структурный тип (sample).

Анонимные структуры могут быть полезны, если имя тега не требуется, например, когда одно объявление определяет все экземпляры структуры. Пример:

struct
{
    int x;
    int y;
} mystruct;

Встроенные структуры часто являются анонимными.

struct somestruct
{
    struct    /* Anonymous structure */
    {
        int x, y;
    } point;
    int type;
} w;

Блок, относящийся только к системам Microsoft

Компилятор позволяет использовать безразмерный массив или массив нулевого размера в качестве последнего члена структуры. Это полезно, если размер массива констант отличается при использовании в различных ситуациях. Объявление такой структуры выглядит следующим образом.

struct identifier { set-of-declarations type array-name []; };

Безразмерные массивы могут отображаться только в качестве последнего члена структуры. Структуры, содержащие объявления безразмерных массивов, могут вкладываться в другие структуры при условии, что никакие другие элементы не объявлены ни в одной из внешних структур. Массивы таких структур не допускаются. Оператор sizeof, если он применен к переменной этого типа или к самому типу, предполагает, что размер массива равен 0.

Объявления структуры также можно указать без декларатора, когда они являются членами другой структуры или объединения. Уровень имен полей повышается до уровня внешней структуры. Например, безыменная структура выглядит следующим образом:

struct s
{
    float y;
    struct
    {
        int a, b, c;
    };
    char str[10];
} *p_s;
.
.
.
p_s->b = 100;  /* A reference to a field in the s structure */

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

Завершение блока, относящегося только к системам Майкрософт

См. также

Деклараторы и объявления переменных