Читать «Справочное руководство по C++» онлайн - страница 32

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

if (i)

 for (int j = 0; j‹100; j++) {

  //…

 }

if (j !=100) // ошибка: обращение вне условия

 //…

;

Инициализация локального объекта с классом памяти static (§R.7.1.1) производится прежде, чем управление пройдет через область его описания. Если статическая переменная инициализируется выражением, которое не является выражением-константой, то перед первым входом в блок происходит стандартная инициализация нулем, приведенным к нужному типу (§R.8.4).

Деструктор для локального статического объекта будет вызываться в том и только в том случае, если переменная была создана с помощью конструктора. Деструктор должен вызываться сразу перед вызовом или как составная часть вызова функций, заданных в atexit() (§R.3.4).

R.6.8 Разрешение неоднозначности

Существует неоднозначность в грамматике языка, касающаяся оператора-выражения и описания, а именно, оператор-выражение, содержащий как самое левое подвыражение явное преобразование типа, заданное в функциональном стиле (§R.5.2.3), может быть не отличим от описания, в котором первый описатель начинается со (. В таких случаях оператор считается описанием.

Для разрешения неоднозначности следует исследовать весь оператор, чтобы определить является он оператором-выражением или описанием. Так устраняется неоднозначность во многих случаях. Например, пусть T - имя-простого-типа (§R.7.1.6), тогда имеем

T(a)-›m = 7; // оператор-выражение

T(a)++; // оператор-выражение

T(a,5) ‹‹ c; // оператор-выражение

T(*e)(int); // описание

T(f)[]; // описание

T(g) = { 1, 2 }; // описание

T(*d)(double(3)); // описание

Остальные случаи представляют описания. Например,

T(a); // описание

T(*b)(); // описание

T(c)=7; // описание

T(d),e,f=3; // описание

T(g)(h,2); // описание

Неоднозначность здесь чисто синтаксическая, т.е. на ее разрешение не влияет тот факт, является ли имя именем-типа или нет.

Есть другой вид коллизии между оператором-выражением и описанием, который разрешается требованием, чтобы описание функции в блоке (§R.6.3) сопровождалось именем-типа, например:

void g()

{

 int f(); // описание

 int a; // описание

 f(); // оператор-выражение

 a; // оператор-выражение

}

R.7 Описания

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

описания:

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

 описание-asm

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

 спецификация-связи

Описатели в списке-описателей (§R.8) содержат описываемые идентификаторы. Конструкция спецификации-описания может отсутствовать только в определении функций (§R.8.3) или в описании функций. Список-описателей может быть пустым, только при описании класса (§R.9) или перечисления (§R.7.2), т.е. когда спецификация-описания есть спецификация-класса или спецификация-перечисления. Конструкция описание-asm объясняется в §R.7.3, а спецификация-связи в §R.7.4. Описание происходит в определенной области видимости (§R.3.2), правила области видимости приводятся в §R.10.4.