Умеет ли это Си

man longjmp

Я знаю про longjmp. Но в K&R смущают слова "setjmp сохраняет текущую информацию о вызовах в env". После longjmp он чего-то лишнее восстанавливает, не так ли?

>P.S. Не предлагайте альтернативных вариантов (указатели на ф-ии и пр.)

А всё же можно поинтересоваться зачем?

>P.S.S. А какие языки это умеют?

По-моему, BASIC умеет ;)

Это умеет GCC, но это нестандартное расширение, лучше по возможности избегать. Да, работает внутри одной функции только, конечно же.

Пример использования - см. в интерпретаторе байткодов в OCaml.

> P.S.S. А какие языки это умеют?

из компилируемых языков -- в фортране испокон веков был assigned goto. Но его убрали из стандарта.

> Это умеет GCC, но это нестандартное расширение, лучше по возможности избегать.

Это верно, http://docs.freebsd.org/info/gcc/gcc.info.Labels_as_Values.html

> Да, работает внутри одной функции только, конечно же.

А это неверно

Этого нет в стандарте C, потому что это не портабельно. Не забывайте, что x86 не единственная архитектура.

...а gcc не единственный компилятор

Если тебе нужна подобная хня, пиши на асме, а языки программирования на то и созданы, что-бы абстрагироваться от некоторых аппаратных особенностей, там самым, ограничивая наши возможности в прямом использовании тех или иных возможностей архитектуры. Да, да, именно так, а вы что хотели, и на x... сесть и конфетку скушать?. И чем выше уровень абстрагирования, тем менее за языком видна аппаратура. Возьмите Haskell, можно сказать верх абстрактности, там не только меток, да и вообще как такового потока выполнения явно не задается :)

присваиваемые метки это тоже абстракция.. Разные абстракции нужны, разные абстракции важны..

Чувак, не кизди. Иди, посмотри как с этой умной фичёй делаются интерпретаторы шитого кода.

> Чувак, не кизди. Иди, посмотри как с этой умной фичёй делаются интерпретаторы шитого кода.

Они и без нее могут обходится.