属性指定符序列（C23 起）

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

声明

指针

数组

enum

struct

union

位域

原子类型 (C11)

const

constexpr (C23)

volatile

restrict (C99)

对齐说明符

存储期和链接

外部和暂定定义

typedef

静态断言

属性 （C23）

 

属性

deprecated (C23)

fallthrough (C23)

nodiscard (C23)

maybe_unused (C23)

noreturn_Noreturn （C23）（C23）（已弃用）

unsequenced (C23)

reproducible (C23)

 

为类型、对象、表达式等引入实现定义的属性。

语法

[[attr ]] [[attr1, attr2, attr3(args)]] [[attribute-prefix::attr (args)]]

形式上，语法是

[[ attribute-list ]]		(自 C23 起)

其中 attribute-list 是由零个或多个 attribute-token  以逗号分隔的序列

standard-attribute	(1)
attribute-prefix :: identifier	(2)
standard-attribute ( argument-list （可选） )	(3)
attribute-prefix :: identifier ( argument-list （可选） )	(4)

其中 attribute-prefix 是一个 identifier，argument-list 是一个由括号、方括号和花括号平衡的词法单元序列（balanced-token-sequence）。

1) 标准属性，例如 [[fallthrough]]

2) 带命名空间的属性，例如 [[gnu::unused]]

3) 带参数的标准属性，例如 [[deprecated("reason")]]

4) 带命名空间和参数列表的属性，例如 [[gnu::nonnull(1)]]

解释

属性为实现定义的语言扩展提供了统一的标准语法，例如 GNU 和 IBM 语言扩展 __attribute__((...))、Microsoft 扩展 __declspec() 等。

属性几乎可以在 C 程序的任何地方使用，并且可以应用于几乎所有事物：类型、变量、函数、名称、代码块、整个翻译单元，尽管每个特定属性仅在实现允许的地方有效：[[expect_true]] 可能是一个只能与 if 一起使用的属性，而不能与类声明一起使用。[[omp::parallel()]] 可能是一个应用于代码块或 for 循环的属性，但不能应用于类型 int 等。（请注意，这两个属性是虚构示例，标准和一些非标准属性请参见下文）

在声明中，属性可以出现在整个声明之前，也可以直接出现在所声明实体名称之后，在这种情况下它们会结合。在大多数其他情况下，属性应用于直接前面的实体。

两个连续的左方括号词法单元（[[）只能在引入属性指定符或在属性参数内部出现。

除了下面列出的标准属性外，实现可能支持具有实现定义行为的任意非标准属性。所有实现未知的属性都将被忽略，不会导致错误。

每个 标准属性 都保留用于标准化。也就是说，每个非标准属性都以实现提供的 attribute-prefix 为前缀，例如 [[gnu::may_alias]] 和 [[clang::no_sanitize]]。

标准属性

C 标准仅定义以下属性。每个名称形式为 attr 的标准属性也可以拼写为 __attr__，其含义不变。

[[deprecated]]（C23）[[deprecated("reason")]]（C23） {{{notes}}}	表示允许使用此属性声明的名称或实体，但由于某种原因不鼓励使用 （属性指定符）
[[fallthrough]] (C23)	指示从前一个 case 标签的直落是故意的，不应被警告直落的编译器诊断 （属性指定符）
[[nodiscard]]（C23）[[nodiscard("reason")]]（C23） {{{notes}}}	鼓励编译器在返回值被丢弃时发出警告 （属性指定符）
[[maybe_unused]] (C23)	抑制（如果有）未使用的实体的编译器警告 （属性指定符）
[[noreturn]]（C23）[[_Noreturn]]（C23）（已弃用） {{{notes}}}	指示函数不返回 （属性指定符）
[[unsequenced]] (C23)	表示函数是无状态、无效果、幂等的且独立的 （属性指定符）
[[reproducible]] (C23)	表示函数是无效果且幂等的 （属性指定符）

属性测试

__has_c_attribute( attribute-token )

检查是否存在由 attribute-token 命名的属性词法单元。

对于标准属性，它将扩展为该属性添加到工作草案的年份和月份（参见下表），供应商特定属性的存在由非零整数常量确定。

__has_c_attribute 可以在 #if 和 #elif 的表达式中展开。它被 #ifdef、#ifndef 和 defined 视为已定义宏，但不能在其他任何地方使用。

属性词法单元	属性	值	标准
deprecated	[[deprecated]]	201904L	(C23)
fallthrough	[[fallthrough]]	201904L	(C23)
maybe_unused	[[maybe_unused]]	201904L	(C23)
nodiscard	[[nodiscard]]	202003L	(C23)
noreturn _Noreturn	[[noreturn]] [[_Noreturn]]	202202L	(C23)
unsequenced	[[unsequenced]]	202207L	(C23)
reproducible	[[reproducible]]	202207L	(C23)

示例

运行此代码

[[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:2024)

• 6.7.12 属性 (p: 待定)

另请参见

C++ 文档，关于 属性指定符序列

外部链接

1.	GCC 中的属性
2.	Clang 中的属性