Описание может задавать начальное значение описываемого
идентификатора. Инициализатору предшествует =, и он состоит из
выражения или списка значений, заключенного в фигурные скобки.
- стр 291 -
инициализатор:
= expression
= { список_инициализаторов }
= { список_инициализаторов , }
( список_выражений )
список_инициализаторов :
выражение
список_инициализаторов , список_инициализаторов
{ список_инициализаторов }
Все выражения в инициализаторе статической или внешней переменной
должны быть константными выражениями, которые описаны в #15, или
выражениями, которые сводятся к адресам ранее описанных переменных,
возможно со смещением на константное выражение. Автоматические и
регистровые переменные могут инициализироваться любыми выражениями,
включащими константы, ранее описанные переменные и функции.
Гарантируется, что неинициализированные статические и внешние
переменные получают в качестве начального значения "пустое
значение"*. Когда инициализатор применяется к скаляру (указатель
или объект арифметического типа), он состоит из одного выражения,
возможно, заключенного в фигурные скобки. Начальное значение
объекта находится из выражения; выполняются те же преобразования,
что и при присваивании.
Заметьте, что поскольку () не является инициализатором, то "X
a();" является не описанием объекта класса X, а описанием функции,
не получающей значений и возвращающей X.
8.6.1 Список инициализаторов
Когда описанная переменная является составной (класс или массив),
то инициализатор может состоять из заключенного в фигурные скобки,
разделенного запятыми списка инициализаторов для членов составного
объекта, в порядке возрастания индекса или по порядку членов. Если
массив содерхит составные подобъекты, то это правило рекурсивно
применяется к членам составного подобъекта. Если инициализаторов в
списке меньше, чем членов в составном подобъекте, то составной
подобъект дополняется нулями.
Фигурные скобки могут опускаться следующим образом. Если
инициализатор начинается с левой фигурной скобки, то следующий за
ней список инициализаторов инициализирует члены составного объекта;
наличие числа инициализаторов, большего, чем число членов,
считается ошибочным. Если, однако, инициализатор не начинается с
левой фигурной скобки, то из списка берутся только элементы,
достаточные для сопоставления членам составного объекта, частью
которого является текущий составной объект.
Например,
int x[] = { 1, 3, 5 };
описывает и инициализирует x как одномерный массив, имеющий три
члена, поскольку размер не был указан и дано три инициализатора.
____________________
* В английском "garbage", означающее затертое место [памяти],
т.е. если переменная целая, то 0, если char, то '\0', если
указатель на Т, то (Т*) NULL.
- стр 292 -
float y[4][3] =
{
{ 1, 3, 5 },
{ 2, 4, 6 },
{ 3, 5, 7 }
};
является полностью снабженной квадратными скобками инициализацией:
1,3 и 5 инициализируют первый ряд массива y[0], а именно, y[0][2].
Аналогично, следующие две строки инициализируют y[1] и y[2].
Инициализатор заканчивается раньше, поэтому y[3] инициализируется
значением 0. В точноcти тот же эффект может быть достигнут с
помощью
float y[4][3] =
{
1, 3, 5, 2, 4, 6, 3, 5, 7
};
Инициализатор для y начинается с левой фигурной скобки, но не
начинается с нее инициализатор для y[0], поэтому используется три
значения из списка. Аналогично, следующие три успешно используются
для y[1] и следующие три для y[2].
float y[4][3] = { { 1 }, { 2 }, { 3 }, { 4 } };
инициализирует первый столбец y (рассматриваемого как двумерный
массив) и оставляет остальные элементы нулями.
8.6.2 Классовые объекты
Объект с закрытыми членами не может быть инициализован с помщью
простого присваивания, как это описывалось выше; это же относится к
объекту объединение. Если класс имеет конструктор, не получающий
значений, то этот конструктор используется для объектов, которые
явно не инициализированы.
Параметры для конструктора могут также быть представлены в виде
заключенного в круглые скобки списка. Например:
struct complex
{
float re;
float im;
complex (float r,float i) { re=r; im=i; }
complex (float r) { re=r; im=0; }
};
complex zz (1,2.3);
complex* zp = new complex (1,2.3);
Инициализация может быть также выполнена с помощью явного
присваивания; преобразования производятся. Например,
- стр 293 -
complex zz1 = complex (1,2.3);
complex zz2 = complex (123);
complex zz3 = 123;
complex zz4 = zz3;
Если конструктор ссылается на объект своего собственного класса,
то он будет вызываться при инициализации объекта другим объектом
этого класса, но не при инициализации объекта конструктором.
Объект класса, имеющего конструкторы, может быть членом
составного объекта только если он сам не имеет конструктора или
если его конструкторы не имеют параметров. В последнем случае
конструктор вызывается при создании составного объекта. Если член
составного объекта является членом класса с деструкторами, то этот
деструктор вызывается при уничтожении составного объекта.
8.6.3 Ссылки
Когда переменная описана как T&, что есть "ссылка на тип T", она
может быть инициализирована или указателем на тип T, или объектом
типа T. В последнем случае будет неявно применена операция взятия
адреса &. Например:
int i;
int& r1 = i;
int& r2 = &i;
И r1 и r2 будут указывать на i.
Обработка инициализации ссылки очень сильно зависит от того, что
ей присваивается. Как описывалось в #7.1, ссылка неявно
переадресуется при ее использовании. Например
r1 = r2;
означает копирование целого, на которое указывает r2, в целое, на
которое указывает r1.
Ссылка должна быть инициализована. Таким образом, ссылку можно
считать именем объекта.
Чтобы получить указатель pp, обозначающий тот обект, что и ссылка
rr, можно написать pp=&rr. Это будет проинтерпретировано как
pp=&*rr.
Если инициализатор для ссылки на тип T не является адресным
выражением, то будет создан и инициализован с помощью правил
инициализации объект типа T. Тогда значением ссылки станет адрес
объекта. Время жизни объекта, созданного таким способом, будет в
той области видимости, в которой он создан. Например:
double& rr = 1;
допустимо, и rr будет указывать на объект типа double, в котором
хранится значение 1.0.
Ссылки особенно полезны в качестве типов параметров.
- стр 294 -
8.6.4 Массивы символов
Последняя сокращенная запись позволяет инициализировать строкой
массив данных типа char. В этом случае последовательные символы
строки инициализируют члены массива. Например:
char msg[] = "Syntax error on line %d\n";
демонстрирует массив символов, члены которого инициализированы
строкой.
8.7 Имена типов
Иногда (для неявного задания преобразования типов и в качестве
параметра sizeof или new) нужно использовать имя типа данных. Это
выполняется при помощи "имени типа" которое по сути является
описанием для объекта этого типа, в котором опущено имя объекта.
имя_типа:
спецификатор_типа абстрактный_описатель
абстрактный_описатель :
пустой
* абстрактный_описатель
абстрактный_описатель ( списоко_писателей_параметров)
абстрактный_описатель [ константное_выражение opt ]
( абстрактный_описатель )
Является возможным идентифицировать положение в
абстрактном_описателе, где должен был бы появляться идентификатор в
случае, если бы конструкция была описателем в описании. Тогда
именованный тип является тем же, что и тип предполагаемого
идентификатора. Например:
int
int *
int *[3]
int *()
int (*)()
именует, соответсвенно, типы "целое", "указатель на целое",
"указатель на массив из трех целых", "функция, возвращающая
указатель на функцию, возвращающую целое" и "указатель на целое".
Простое имя типа есть имя типа, состоящее из одного
идентификатора или ключевого слова.
простое_имя_типа:
typedef-имя
char
short
int
long
unsigned
float
double
Они используются в альтернативном синтаксисе для преобразования
типов. Например:
- стр 295 -
(double) a
может быть также записано как
double (a)
8.8 Определение типа typedef
Описания, содержащие спецификатор_описания typedef, определяют
идентификаторы, которы позднее могут использоваться так, как если
бы они были ключевыми словами типа, именующее основные или
производные типы.
typedef-имя:
идентификатор
Внутри области видимости описания, содержащего typedef, каждый
идентификатор, возникающий как часть какого-либо описателя,
становится в этом месте синтаксически эквивалентным ключевому слову
типа, которое именует тип, ассоциированный с идентификатором таким
обрахом, как описывается в #8.4. Имя класса или перечисления также
является typedef-именем. Например, после
typedef int MILES, *KLICKSP;
struct complex { double re, im; };
каждая из конструкций
MILES distance;
extern KLICKSP metricp;
complex z, *zp;
является допустимым описанием; distance имеет тип int, metricp
имеет тип "указатель на int".
typedef не вводит новых типов, но только синонимы для типов,
которые могли бы быть определены другим путем. Так в приведенном
выше примере distance рассматривается как имеющаяя в точности тот
же тип, что и любой другой int объект.
Но описание класса вводит новый тип. Например:
struct X { int a; };
struct Y { int a; };
X a1;
Y a2;
int a3;
описывает три переменных трех различных типов.
Описание вида
описание_имени:
агрег идентификатор ;
enum идентификатор ;
определяет то, что идентификатор является именем некоторого
(возможно, еще не определенного) класса или перечисления. Такие
описания позволяют описывать классы, ссылающихся друг на друга.
Например:
- стр 296 -
class vector;
class matrix
{
...
friend matrix operator* (matrix&,vector&);
};
class vector
{
...
friend matrix operator* (matrix&,vector&);
};
8.9 Перегруженные имена функций
В тех случаях, когда для одного имени определено несколько
(различных) описаний функций, это имя называется перегруженным. При
использовании этого имени правильная функция выбирается с помощью
сравнения типов фактических параметров с типами параметров в
описаниях функций. К перегруженным именам неприменима операция
получения адреса &.
Из обычных арифметических преобразований, определенных в #6.6,
для вызова перегруженной функции выполняются только
char->short->int, int->double, int->long и float->double. Для того,
чтобы перегрузить имя функции не-члена описание overload должно
предшествовать любому описанию функции; см. #8.2.
