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

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

Синтаксис

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

где список-атрибутов — это отделённая запятыми последовательность нуля или более токенов-атрибутов 

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

Объяснение

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

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

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

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

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

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

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

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

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

Проверяет наличие токена атрибута, имя которого задано токен-атрибута.

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

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

Пример

[[gnu::hot]] [[gnu::const]] [[nodiscard]]
int f(void); // declare f with three attributes
 
[[gnu::const, gnu::hot, nodiscard]]
int f(void); // the same as above, but uses a single attr
             // specifier that contains three attributes
 
int f(void) { return 0; }
 
int main(void)
{
}

Ссылки

• Стандарт C23 (ISO/IEC 9899:2023):
• 6.7.12 Атрибуты (стр.: TBD)

См. также

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