Макрос препроцессора GCC и «#pragma GCC unroll»

const и constexpr (если вы умеете использовать C++), похоже, работают (проверено с помощью gcc 13.2 на https://godbolt.org/).

const int x = 5;
#pragma GCC unroll x
for (std::size_t ii = 0; ii < x; ++ii) {

Вместо директивы #pragma можно использовать оператор _Pragma. Немного сложно правильно раскрыть аргумент, но это должно работать как для C, так и для C++ (см. пример на godbolt.org):

#define STRING(V) #V
#define MAKE_PRAGMA(S) _Pragma(S)
#define UNROLL(N) MAKE_PRAGMA(STRING(GCC unroll N))

#define LIMIT 16
...
UNROLL(LIMIT)
for (size_t ii = 0; ii < LIMIT; ++ii) {
  ...
}

^{Expanding on my comment.}

Стандарт C11 §6.10.6 Директива #pragma гласит:

Директива предварительной обработки формы

# pragma pp-tokens-opt new-line

где токен предварительной обработки STDC не следует сразу за прагмой в директиве (до любой замены макроса)¹⁷⁴⁾ заставляет реализацию вести себя способом, определяемым реализацией. Такое поведение может привести к сбою перевода или к тому, что транслятор или полученная программа будут вести себя несоответствующим образом. Любая такая прагма, не распознаваемая реализацией, игнорируется.

Если токен предварительной обработки STDC сразу следует за pragma в директиве (до любой замены макроса), то в директиве не выполняется замена макроса, и директива должна иметь одну из следующих форм¹⁷⁵⁾, значения которых описаны в другом месте:

#pragma STDC FP_CONTRACT on-off-switch
#pragma STDC FENV_ACCESS on-off-switch
#pragma STDC CX_LIMITED_RANGE on-off-switch
on-off-switch: one of
            ON     OFF           DEFAULT

и сноска 174 гласит:

Реализация не обязана выполнять замену макросов в прагмах, но разрешена, за исключением стандартных прагм (где STDC сразу следует за pragma). Если результат замены макроса в нестандартной прагме имеет ту же форму, что и стандартная прагма, поведение по-прежнему определяется реализацией; реализации разрешено вести себя так, как если бы это была стандартная прагма, но это не обязательно.

(Сноска 175 ссылается на текст, резервирующий #pragma STDC … для будущего использования по стандарту.)

Сноска 174 имеет решающее значение. Это означает, что GCC имеет право не предпринимать попытки макроэкспансии; другие составители имеют право, если они это сделают. Оба соответствуют стандарту C.

• Портативный код не может предполагать, что расширение макроса будет происходить в директиве #pragma.

C23 и C18 говорят примерно одно и то же.

Что вы с этим сделаете, зависит от ваших требований. Однако создание оператора _Pragma (см. §6.10.9 Прагма-оператор ), вероятно, является лучшим (наиболее переносимым и надежным) способом — как предложил Нильсен в своем ответе. Пример в стандарте показывает построение строки с заменой макросов и т.д.