Attribute specifier sequence (since C23)

Вводит определяемые реализацией атрибуты для типов, объектов, выражений и т.д.

Синтаксис

[[ attr  ]] [[ attr1 , attr2 , attr3 ( args ) ]] [[ attribute-prefix :: attr  ( args ) ]]

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

где attribute-list представляет собой разделённый запятыми список из нуля или более attribute-token ов

где attribute-prefix является идентификатором , а argument-list представляет собой последовательность токенов, в которой круглые, квадратные и фигурные скобки сбалансированы ( balanced-token-sequence ).

Объяснение

Атрибуты предоставляют унифицированный стандартный синтаксис для реализационно-определенных расширений языка, таких как расширения GNU и IBM __attribute__((...)) , расширение Microsoft __declspec() , и т.д.

Атрибут может использоваться практически везде в программе на C++ и может применяться практически ко всему: к типам, переменным, функциям, именам, блокам кода, целым единицам трансляции, хотя каждый конкретный атрибут действителен только там, где это разрешено реализацией: [[expect_true]] может быть атрибутом, который можно использовать только с if , но не с объявлением класса. [[omp::parallel()]] может быть атрибутом, который применяется к блоку кода или к for циклу, но не к типу int , и т.д. (обратите внимание, что эти два атрибута являются вымышленными примерами, см. ниже стандартные и некоторые нестандартные атрибуты)

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

Два последовательных токена левой квадратной скобки ( [[ ) могут появляться только при введении спецификатора атрибута или внутри аргумента атрибута.

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

Каждый стандартный-атрибут зарезервирован для стандартизации. То есть, каждый нестандартный атрибут имеет префикс префикс-атрибута , предоставляемый реализацией, например [[gnu::may_alias]] и [[clang::no_sanitize]] .

Стандартные атрибуты

Только следующие атрибуты определены стандартом C. Каждый стандартный атрибут, имя которого имеет форму attr , также может быть записан как __attr__ , и его значение не изменяется.

Тестирование атрибутов

Проверяет наличие токена атрибута с именем, указанным в attribute-token .

Для стандартных атрибутов он будет раскрываться в год и месяц, когда атрибут был добавлен в рабочий проект (см. таблицу ниже), наличие вендор-специфичных атрибутов определяется ненулевой целочисленной константой.

__has_c_attribute может быть раскрыто в выражениях #if и #elif . Оно рассматривается как определенный макрос #ifdef , #ifndef и defined , но не может быть использовано где-либо еще.

Пример

[[gnu::hot]] [[gnu::const]] [[nodiscard]]
int f(void); // объявление f с тремя атрибутами
[[gnu::const, gnu::hot, nodiscard]]
int f(void); // то же самое, но использует один спецификатор
             // атрибутов, содержащий три атрибута
int f(void) { return 0; }
int main(void)
{
}

Ссылки

Смотрите также

Внешние ссылки