Последовательность спецификаторов атрибутов(с C++11)

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

Синтаксис

где список_атрибутов — это список из нуля или более атрибутов, разделённых запятыми (возможно, с многоточием ... указывающим на развёртывание пакета параметров).

где пространство_имён_атрибутов — это идентификатор, а список_аргументов — это последовательность токенов, где скобки, квадратные скобки и фигурные скобки сбалансированы (сбалансированная_последовательность_токенов).

[[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 является частью последовательности спецификаторов атрибутов, хотя имеет другой синтаксис. Он может появляться там, где появляются атрибуты [[...]] и может смешиваться с ними (при условии, что он используется там, где разрешён alignas).

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

void f()
{
    int y[3];
    y[[] { return 0; }()] = 1;  // error
    int i [[cats::meow([[]])]]; // OK
}

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

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

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

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

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

Примечания

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

Пример

[[gnu::always_inline]] [[gnu::hot]] [[gnu::const]] [[nodiscard]]
inline int f(); // declare f with four attributes
 
[[gnu::always_inline, gnu::const, gnu::hot, nodiscard]]
int f(); // same as above, but uses a single attr specifier that contains four attributes
 
// C++17:
[[using gnu : const, always_inline, hot]] [[nodiscard]]
int f[[gnu::always_inline]](); // an attribute may appear in multiple specifiers
 
int f() { return 0; }
 
int main() {}

Отчёты об ошибках

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

См. также

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