Здравствуйте, _hum_, Вы писали:

__>это штука в с++ дает возможность реализовать механизм перехода по динамически определяемой метке, чего другими средствами добиться невозможно (только если использовать ассемблерные вставки).
Просто для информации: есть ещё и третий способ, в некотором смысле лежащий между этими двумя, — computed goto. Да, как и ассемблерные вставки, это нестандартный способ, но он поддерживается как минимум в gcc, clang, icc.
Преимущество в том, что эта штука работает быстрее чем switch, и при этом всё же лучше переносима по сравнению с ассемблером.
Поэтому во всяких интерпретаторах байт-кода и виртуальных машинах, где производительность стоит не на самом последнем месте, можно нередко встретить эти конструкции. Скажем, популярнейший CPython как пример можно сразу привести.