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

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

Синтаксис

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

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

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

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

Помимо перечисленных ниже стандартных атрибутов, реализации могут поддерживать произвольные нестандартные атрибуты с поведением, определяемым реализацией. Все атрибуты, неизвестные реализации, игнорируются без ошибки.(since 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++.

См. также

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