R.9.2 Члены класса

список-членов:

описание-члена список-членов opt

спецификация-доступа : список-членов opt

описание-члена:

спецификации-описания opt список-описателей-членов opt ;

определение-функции ; opt

уточненное-имя ;

список-описателей-членов:

описатель-члена

список-описателей-членов , описатель-члена

описатель-члена:

описатель спецификация-чистой opt

идентификатор opt : выражение-константа

спецификация-чистой:

= 0

С помощью конструкции список-членов можно описать данные, функции,

классы, элементы перечисления ($$R.7.2), битовые поля, друзей

($$R.11.4) и имена типов ($$R.7.1.3, $$R.9.1). Кроме того,

список-членов может содержать описания, устанавливающие доступ к

именам членов, см. $$R.11.3. Никакой член не может быть дважды

описан в списке-членов. Список-членов определяет все множество

членов данного класса, т.е. нельзя добавить еще один член в каком-либо

другом описании.

Отметим, что одно имя может обозначать несколько функций-членов

при условии, что их типы достаточно отличаются друг от друга ($$R.13).

Укажем, что описатель-члена не может содержать инициализатора ($$R.8.4).

Инициализация члена возможна с помощью конструктора, см. $$R.12.1.

Член не может иметь спецификацию auto, extern или register.

Конструкция спецификации-описания может отсутствовать только в

описании функции. Конструкция список-описателей-членов может

опускаться только после конструкций спецификация-класса,

спецификация-перечисления или спецификация-описания, если последняя

имеет вид friend спецификация-сложного-типа. Конструкция

спецификация-чистой используется только при описании виртуальной

функции ($$R.10.2).

Если члены являются объектами классов, то эти классы должны

быть ранее описаны. В частности, класс C1 не может содержать объект

класса C1, но может содержать указатель или ссылку на класс C1.

Если в типе нестатического члена используется массив, то все

размеры всех индексов массива должны быть указаны.

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

struct tnode {

char tword[20];

int count;

tnode *left;

tnode *right;

};

Здесь класс содержит массив из двадцати символов, целое и два

указателя на ту же структуру. После появления такого описания

следующее:

tnode s, *sp;

задает s как объект типа tnode и sp как указатель на tnode. С учетом

этих описаний s->count обозначает член count структуры, на которую

указывает sp; s.left обозначает указатель left на поддерево

структуры s; s.right->tword[0] обозначает первый символ члена

tword поддерева структуры s, на которую указывает right.

Нестатические члены класса, представляющие данные и описанные

подряд и без использования спецификации-доступа, размещаются внутри

объекта типа класс так, что позже описанные члены имеют большие адреса.

Порядок размещения таких членов, если их описание перемежается

описаниями со спецификацией-доступа, зависит от реализации ($$R.11.1).

Принятые в реализации правила выравнивания могут привести к тому,

что два соседних члена не будут располагаться сразу друг за другом.

К этому же могут привести правила выделения памяти для виртуальных

функций ($$R.10.2) и виртуальных базовых классов ($$R.10.1);

см. также $$R.5.4.

Функция-член ($$R.9.3), имя которой совпадает с именем класса,

является конструктором ($$R.12.1). Имя статического члена данных,

элемента перечисления, члена безымянного объединения или вложенного

типа не может совпадать с именем класса.