6.3 Метки как значения

Вы можете получить адрес метки, определенной в текущей функции (или содержащей функции), с помощью унарного оператора ‘&&’. Значение имеет тип void *. Это значение является константой и может быть использовано везде, где допустима константа данного типа. Например:

void *ptr;
/* … */
ptr = &&foo;

Для использования этих значений, вам необходимо иметь возможность перейти к одной из них. Это делается с помощью оператора вычисления перехода³, goto *exp;. Например,

goto *ptr;

Допускается любое выражение типа void *.

Один из способов использования этих констант — инициализация статического массива, используемого в качестве таблицы переходов:

static void *array[] = { &&foo, &&bar, &&hack };

Затем вы можете выбрать метку с помощью индексации, например:

goto *array[i];

Обратите внимание, что это не проверяет, находится ли индекс в пределах массива — индексация массивов в C никогда этого не делает.

Такой массив значений меток выполняет функцию, аналогичную функции switch оператора. Оператор switch более удобен, поэтому используйте его вместо массива, если задача не подходит для оператора switch.

Еще одно применение значений меток — в интерпретаторе для кода с потоками. Метки внутри функции интерпретатора могут храниться в потоковом коде для сверхбыстрого диспетчеризации.

Вы не можете использовать этот механизм для перехода к коду в другой функции. Если вы это сделаете, произойдут совершенно непредсказуемые вещи. Лучший способ избежать этого — хранить адрес метки только в автоматических переменных и никогда не передавать его в качестве аргумента.

Альтернативный способ написания вышеприведенного примера:

static const int array[] = { &&foo - &&foo, &&bar - &&foo,
                             &&hack - &&foo };
goto *(&&foo + array[i]);

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

Выражения &&foo для одной и той же метки могут иметь разные значения, если содержащая функция интегрирована или клонирована. Если программа полагается на то, что они всегда одинаковы, следует использовать __attribute__((__noinline__,__noclone__)), чтобы предотвратить инлайнинг и клонирование. Если &&foo используется в инициализаторе статической переменной, инлайнинг и клонирование запрещены.

Далее: Вложенные функции, Предыдущее: Локальные метки, Вверх: Расширения C [Оглавление][Индекс]