C++ 属性：maybe_unused (C++17 起)

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 语言

通用主题
预处理器 注释	关键词 转义序列
流程控制
条件执行语句
if	switch
迭代语句（循环）
for 范围-for (C++11)	while do-while
跳转语句
continue - break	goto - return
函数
函数声明
Lambda 函数表达式
inline 说明符
动态异常规范 (直到 C++17*)
noexcept 说明符 (C++11)
异常
throw 表达式 try 块	catch 处理程序
命名空间
命名空间声明	命名空间别名
类型
基本类型 枚举类型 函数类型	类/结构体类型 联合类型
说明符
const/volatile decltype (C++11) auto (C++11)	constexpr (C++11) consteval (C++20) constinit (C++20)
存储期说明符
初始化
默认初始化 值初始化 零初始化 复制初始化 直接初始化	聚合初始化 列表初始化 (C++11)   常量初始化 引用初始化

表达式
值类别 求值顺序	运算符 运算符优先级
替代表示
字面量
布尔 - 整型 - 浮点
字符 - 字符串 - nullptr (C++11)
用户定义 (C++11)
工具
属性 (C++11)
类型
typedef 声明
类型别名声明 (C++11)
类型转换
隐式转换 static_cast const_cast	显式转换 dynamic_cast reinterpret_cast
内存分配
new 表达式	delete 表达式
类
类声明 构造函数 this 指针	访问说明符 friend 说明符
类特有的函数属性
虚函数 override 说明符 (C++11)   final 说明符 (C++11)	explicit (C++11) static
特殊成员函数
默认构造函数 复制构造函数 移动构造函数 (C++11)	复制赋值 移动赋值 (C++11) 析构函数
模板
类模板 函数模板	模板特化 参数包 (C++11)
杂项
内联汇编	C++ 历史

 

声明

概览 声明语法 声明说明符序列 声明符 冲突声明 说明符 typedef inline virtual 函数说明符 explicit 函数说明符 friend constexpr (C++11) consteval (C++20) constinit (C++20) 存储类说明符 翻译单元局部 (C++20) class/struct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile 包索引说明符 (C++26)     细化类型说明符 属性 (C++11)

声明符 引用 指针 数组 块声明 简单声明   →结构化绑定声明 (C++17) 别名声明 (C++11) 命名空间别名定义 using 声明 using 指令 static_assert 声明 (C++11) asm 声明 不透明枚举声明 (C++11) 其他声明 命名空间定义 函数声明 类模板声明 函数模板声明 显式模板实例化 (C++11) 显式模板特化 链接规范 属性声明 (C++11) 空声明

 

属性

assume (C++23)

carries_dependency (C++11)(直至 C++26)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

抑制对未使用的实体的警告。

语法

[[maybe_unused]]

解释

此属性可以出现在以下实体的声明中

• 类：struct [[maybe_unused]] S;
• typedef，包括通过类型别名声明声明的：[[maybe_unused]] typedef S* PS;，using PS [[maybe_unused]] = S*;
• 变量，包括静态数据成员：[[maybe_unused]] int x;
• 非静态数据成员：union U { [[maybe_unused]] int n; };，
• 函数：[[maybe_unused]] void f();
• 枚举：enum [[maybe_unused]] E {};
• 枚举器：enum { A [[maybe_unused]], B [[maybe_unused]] = 42 };
• 结构化绑定：[[maybe_unused]] auto [a, b] = std::make_pair(42, 0.23);

结果绑定：post(r [[maybe_unused]] : this->empty())

(C++26 起)

对于声明为 [[maybe_unused]] 的实体，如果这些实体或它们的结构化绑定未使用，编译器发出的有关未使用实体的警告将被抑制。

对于声明为 [[maybe_unused]] 的标签，如果它们未使用，编译器发出的有关未使用标签的警告将被抑制。

(C++26 起)

示例

运行此代码

#include <cassert>
 
[[maybe_unused]] void f([[maybe_unused]] bool thing1,
                        [[maybe_unused]] bool thing2)
{
    [[maybe_unused]] lbl: // the label “lbl” is not used, no warning
    [[maybe_unused]] bool b = not false and not true;
    assert(b); // in release mode, assert is compiled out, and “b” is unused
               // no warning because it is declared [[maybe_unused]]
} // parameters “thing1” and “thing2” are not used, no warning
 
int main() {}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
CWG 2360	C++17	不能将 [[maybe_unused]] 应用于结构化绑定	允许

参考

• C++23 标准 (ISO/IEC 14882:2024)

• 9.12.8 Maybe unused attribute [dcl.attr.unused]

• C++20 标准 (ISO/IEC 14882:2020)

• 9.12.7 Maybe unused attribute [dcl.attr.unused]

• C++17 标准 (ISO/IEC 14882:2017)

• 10.6.6 Maybe unused attribute [dcl.attr.unused]

另请参阅

C 文档 中的 maybe_unused