6.31 Объявление атрибутов функций

В GNU C вы можете использовать атрибуты функций, чтобы объявить определённые вещи о функциях, вызываемых в вашей программе, что помогает компилятору оптимизировать вызовы и более тщательно проверять ваш код. Например, вы можете использовать атрибуты, чтобы объявить, что функция никогда не возвращает значение (noreturn), возвращает значение, зависящее только от своих аргументов (pure), или имеет аргументы типа printf (format).

Вы также можете использовать атрибуты для управления размещением памяти, параметрами генерации кода или соглашениями о вызовах/возвратах внутри аннотируемой функции. Многие из этих атрибутов зависят от целевой платформы. Например, многие платформы поддерживают атрибуты для определения функций-обработчиков прерываний, которые обычно должны следовать специальным соглашениям о работе с регистрами и возврате.

Атрибуты функций вводятся ключевым словом __attribute__ в объявлении, за которым следует спецификация атрибута в двойных скобках. Вы можете указать несколько атрибутов в одном объявлении, разделяя их запятыми внутри двойных скобок или, сразу после объявления атрибута, указав другой атрибут. См. Синтаксис атрибутов для точных правил синтаксиса и размещения атрибутов.

GCC также поддерживает атрибуты в объявлениях переменных (см. Атрибуты переменных), меток (см. Атрибуты меток), перечислителей (см. Атрибуты перечислителей) и типов (см. Атрибуты типов).

Существует некоторое перекрытие между целями атрибутов и директив препроцессора (см. Директивы препроцессора, принимаемые GCC). Было удобно использовать __attribute__ для естественного присоединения атрибутов к соответствующим объявлениям, тогда как #pragma полезны для совместимости с другими компиляторами или конструкциями, которые не входят в грамматику естественным образом.

Помимо задокументированных здесь атрибутов, плагины GCC могут предоставлять свои собственные атрибуты.

Далее: Атрибуты переменных, Предыдущее: Смешанные объявления, Вверх: Расширения C [Оглавление][Индекс]