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

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

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

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

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

Утверждение выглядит следующим образом:

#predicate (answer)

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’ не имеет эффекта.

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

Предыдущая: Пределы реализации, Вверх: Детали реализации [Содержание][Индекс]