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 используется в инициализаторе статической переменной, встраивание и дублирование запрещено.