5.10. Инструкция goto

5.10. Инструкция goto

Инструкция goto обеспечивает безусловный переход к другой инструкции внутри той же функции, поэтому современная практика программирования выступает против ее применения.

Синтаксис goto следующий:

goto метка;

где метка – определенный пользователем идентификатор. Метка ставится перед инструкцией, на которую можно перейти с помощью goto, и должна заканчиваться двоеточием. Нельзя ставить метку непосредственно перед закрывающей фигурной скобкой. Если же это необходимо, их следует разделить пустой инструкцией:

end: ; // пустая инструкция

}

Переход через инструкцию объявления в том же блоке с помощью goto невозможен. Например, данная функция вызывает ошибку компиляции:

int oops_in_error() {

// mumble ...

goto end;

// ошибка: переход через объявление

int ix = 10;

// ... код, использующий ix

end: ;

}

Правильная реализация функции помещает объявление ix и использующие его инструкции во вложенный блок:

int oops_in_error() {

// mumble ...

goto end;

{

// правильно: объявление во вложенном блоке

int ix = 10;

// ... код, использующий ix

}

end: ;

}

Причина такого ограничения та же, что и для объявлений внутри блока switch: компилятор должен гарантировать, что для объявленного объекта конструктор и деструктор либо выполняются вместе, либо ни один из них не выполняется. Это и достигается заключением объявления во вложенный блок.

Переход назад через объявление, однако, не считается ошибкой. Почему? Перепрыгнуть через инициализацию объекта нельзя, но проинициализировать один и тот же объект несколько раз вполне допустимо, хотя это может привести к снижению эффективности. Например:

// переход назад через объявление не считается ошибкой.

void

mumble ( int max_size )

{

begin:

int sz = get_size();

if ( sz = 0 ) {

// выдать предупреждение ...

goto end;

}

else

if ( sz max_size )

// получить новое значение sz

goto begin;

{ // правильно: переход через целый блок

int ia = new int[ sz ];

doit( ia, sz ) ;

delete [] ia;

}

end:

;

}

Использование инструкции goto резко критикуется во всех современных языках программирования. Ее применение приводит к тому, что ход выполнения программы становится трудно понять и, следовательно, такую программу трудно модифицировать. В большинстве случаев goto можно заменить на инструкции if или циклы. Если вы все-таки решили использовать goto, не перескакивайте через большой фрагмент кода, чтобы можно было легко найти начало и конец вашего перехода.