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

__>... то вам и в голову не может прийти, что за простым switch/case могут скрываться какие-то системные вещи типа goto-переходов по меткам.

Слушайте и не говорите, что вас никто не предупреждал: в С++ почти все вещи не то, чем они кажутся.

Например, то равенство, которое упоминается ниже: a[b]==b[a] может как быть истинным, так и нет.
Или, например, вот такая конструкция:
A(b, с) = f();
может являться присваиванием переменным b и c результата f()

И вообще, есть множество вещей, которые просто невозможны в других языках. Например, можно передать в функцию параметром объект до того, как он был создан.