11.3 Устаревшие возможности ¶

11.3.1 Утверждения ¶

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

Утверждения предназначались для предоставления более систематического способа описания целевой системы компилятора, и мы добавили их для совместимости с существующими компиляторами. На практике они непредсказуемы так же, как и предопределенные макросы, зависящие от системы. Кроме того, они не являются частью какого-либо стандарта, и их поддерживают только несколько компиляторов. Поэтому использование утверждений менее переносимо, чем использование предопределенных макросов, зависящих от системы. Мы рекомендуем вообще не использовать их.

Утверждение выглядит так:

#predicate (answer)

предикат должен быть единственным идентификатором. ответ может быть любой последовательностью токенов; все символы имеют значение, за исключением начальных и конечных пробелов, а различия в внутренних последовательностях пробелов игнорируются. (Это аналогично правилам, регулирующим переопределение макросов.) Таким образом, (x + y) отличается от (x+y), но эквивалентно ( x + y ) . Скобки не вложены внутри ответа.

Чтобы проверить утверждение, вы записываете его в ‘#if’. Например, это условное выражение выполняется успешно, если vax или ns16000 были утверждены как ответ для machine.

#if #machine (vax) || #machine (ns16000)

Вы можете проверить, утвержден ли любой ответ для предиката, опуская ответ в условном выражении:

#if #machine

Утверждения выполняются с помощью директивы ‘#assert’. Единственный её аргумент — утверждение, без ведущей ‘#’, которая идентифицирует утверждения в условных выражениях.

#assert predicate (answer)

Вы можете сделать несколько утверждений с одинаковым предикатом и разными ответами. Последующие утверждения не переопределяют предыдущие для одного и того же предиката. Все ответы для любого данного предиката одновременно верны.

Утверждения можно отменить с помощью директивы ‘#unassert’. Она имеет тот же синтаксис, что и ‘#assert’. В этом формате она отменяет только тот ответ, который был указан в строке ‘#unassert’; другие ответы для этого предиката остаются верными. Вы можете отменить весь предикат, опуская ответ:

#unassert predicate

В любом случае, если такое утверждение не было сделано, ‘#unassert’ не оказывает никакого влияния.

Вы также можете создавать или отменять утверждения с помощью параметров командной строки. См. Вызов.