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