R.6.7 Оператор описания.

• R.6 Операторы
  • R.6.7 Оператор описания

Оператор описания заводит в блоке новый идентификатор и имеет вид:

           оператор-описания:
              описание

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

Все инициализации автоматических (auto) и регистровых (register) переменных производятся каждый раз, когда выполняется оператор-описание. Уничтожение локальных переменных, описанных в блоке, происходит при выходе из блока ($$R.6.6). Уничтожение автоматических переменных, определенных в цикле, происходит на каждом шаге цикла. Например, переменная Index j создается и уничтожается каждый раз в течение цикла по i:

           for (int i = 0; i<100; i++)
              for (Index j = 0; j<100; j++) {
              // ...
           }

Выход из цикла или из блока или переход, минуя инициализацию автоматических переменных, приводит к уничтожению автоматических переменных, описанных в точке, откуда происходит переход, но не в точке, куда происходит переход.

Переход в блок возможен при условии, что он не приводит к пропуску инициализации. Считается незаконным переход, обходящий описание с явной или неявной инициализацией, кроме случаев, когда оно находится во внутреннем блоке, который пропускается (т.е. в него никогда не попадает управление) или переход происходит из той точки, где уже была инициализация переменной. Например,

           void f()
           {
             // ...
             goto lx;  //ошибка: переход, минуя инициализацию
             // ...
               ly:
             X a = 1;
             // ...
               lx:
             goto ly; // нормально, за переходом будет вызов
                 // деструктора для `a'
           }

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

           if (i)
           for (int j = 0; j<100; j++) {
             // ...
           }
           if (j!=100)  // ошибка: обращение вне условия
             // ...
           ;

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

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