Вижу завязалась полемика.
Ну что-ж. Скажу свое мнение.
Я не противник и не сторонник использования goto. Предлагаю просто и прагматично подойти к вопросу. Если язык содержит в себе специальный оператор, то не пользоватся им - по крайней мере глупо. Можно сколько угодно много ссылатся на авторитетов структурного программирования но в конечном счете не они будут решать насколько эффективен тот код, который вы создаете.
1) Господит Softwarer упомянул об использовании оператора break. Рассмотрим пример разрыва цикла по условию. Для реализации возьмем С-подобный язык.
1.
2.
3.
4.
5.
6.
7.
8.
int a[ 10 ];
// инициализация вектора A
for(int i= 0 ;i< 10 ;i++)
{
if (condition(a[i])) break;
}
Что-ж неплохо.
Для случая с многомерным вектором придется немного извратится. Поскольку break не может разорвать более одного цикла, воспользуемся дополнительной булевой переменной.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
int a[..][..][..];
// инициализация трехмерного вектора A
bool iscondition=false;
for(int i= 0 ;i< 10 ;i++)
{
for(int j= 0 ;j< 10 ;j++)
{
for(int k= 0 ;k< 10 ;k++)
{
if (condition(a[i][j][k])){
iscondition=true;
break;
}
}
if (iscondition) break;
}
if (iscondition) break;
}
Довольно странно. Правда? Появились избыточные синтаксические конструкции .. со всеми вытекающими последствиями, глюками, очепятками. И это - плата за так называемый структурный подход. Можно проверку условия condition() вставить в выражение for, но от этого тоже мало что изменится. Код по прежнему неудобочитаем.
Даже если предположить что существует некий оператор breakAll который разрывает выполнение вложенных циклов, в конечном счете он будет реализован как переход по метке.
2) Отвечаю на вопрос, касаемо полиморфизма.
Классический С обладал его зачатками. Достаточно вспомнить как спользовались "указатели на функции". Фактически это была попыта сделать goto управляемым на этапе выполнения (позднее связывание).
Когда в С++ вы создаете обьект с виртуальными методамми, автоматически к нему прикрепляется указатель на таблицу виртуальных функций. Фактически таблица содержит адреса переходов (на самом деле адреса команд call) на реализации самих функций для данного обьекта. Это суть - безусловный переход на вызов метода.
Когда вы создаете вектор указателей на обьекты то это можно интерпретировать как: создать множество операторов goto на ... данные.
И здесь без безусловных переходов не обойтись.
В заключение хочу сказать.
- Используйте goto только там где без него нельзя обойтись.
- Не берите на себя роль священной инквизиции, пытаясь утвердить какие-либо каноны в программировании. Ни к чему все это.
