Attribute specifier sequence (since C++11)

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

Синтаксис

где attribute-list представляет собой разделённый запятыми список из нуля или более attribute ов (возможно, заканчивающийся многоточием ... , обозначающим pack expansion )

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

[[using CC: opt(1), debug]] // same as [[CC::opt(1), CC::debug]]
[[using CC: CC::opt(1)]] // error: cannot combine using and scoped attribute

Объяснение

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

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

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

Спецификатор alignas specifier является частью последовательности спецификаторов атрибутов, хотя имеет другой синтаксис. Он может появляться там, где появляются атрибуты [[...]] и может смешиваться с ними (при условии, что он используется там, где alignas разрешён).

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

void f()
{
    int y[3];
    y[[] { return 0; }()] = 1;  // ошибка
    int i [[cats::meow([[]])]]; // OK
}

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

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

Следующие атрибуты определены стандартом C++.

Стандартные атрибуты не могут быть синтаксически проигнорированы: они не могут содержать синтаксических ошибок, должны применяться к корректной цели, и сущности в аргументах должны быть ODR-use .

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

Примечания

Наличие каждого отдельного атрибута на конкретной платформе можно проверить с помощью __has_cpp_attribute препроцессорного макроса.

Пример

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

Отчеты о дефектах

Следующие отчеты об изменениях в поведении, являющиеся дефектными, были применены ретроактивно к ранее опубликованным стандартам C++.

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

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