C++ 怎么使用 [[no_discard]] 和 [[fallthrough]] 消除编译器警告-C++-PHP中文网

[[nodiscard]]仅在函数声明处（如头文件）标注才生效，若仅在实现中添加、或返回void、或被强制转为(void)，则不触发警告；每个重载/特化需单独标注，且不可用于构造函数、析构函数和operator=。

c++ 怎么使用 [[no_discard]] 和 [[fallthrough]] 消除编译器警告

为什么加了 `[[nodiscard]]` 还有警告？

因为 [[nodiscard]] 只对函数声明/定义生效，且只在调用点被忽略返回值时触发警告；如果函数没加这个属性，或者加了但返回类型是 void、或调用被强制转为 (void)，编译器就不再提醒。常见误操作是只在实现里加（比如 .cpp 中），而忘了在头文件的声明上也加——GCC/Clang 都只看调用处看到的声明。

实操建议：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

必须在函数**声明处**（通常是头文件）加上 [[nodiscard]]，例如：
```
[[nodiscard]] std::string get_name();
```

若想带提示信息（C++20 起支持），写成：

[[nodiscard("don't ignore the error code")]] int parse_config();

避免在模板特化或重载中漏掉：每个需要约束的重载都得单独加
注意：构造函数、析构函数、operator= 不能加 [[nodiscard]]，加了会编译错误

`[[fallthrough]]` 放哪儿才不报 `unreachable code` 或 `implicit-fallthrough`？

它只能放在 case 分支末尾（且必须是紧挨着 break; 或下一个 case: 的位置），用来显式告诉编译器“这里故意不 break”。放错位置（比如中间语句后、或放在 default: 后）不仅无效，还可能被 clang 当作语法错误。

实操建议：

位置严格限定：必须是 case 块内最后一行非空语句（可带注释），例如：
```
case 'A':<br>    handle_a();<br>    [[fallthrough]]; // ✅ 正确<br>case 'B':
```
不能跨缩进层级：如果用了大括号 {} 包住逻辑，[[fallthrough]] 得写在右括号 } 前面，否则会被认为不在 case 块作用域内
GCC 7+ 和 Clang 4+ 默认启用 -Wimplicit-fallthrough，但 MSVC 直到 VS2019 16.8 才支持该属性；老版本需改用注释（如 // fall through）并配 -Wimplicit-fallthrough=0

两个属性一起用会不会冲突？

不会冲突，但容易因语义矛盾引发逻辑问题。比如给一个返回 bool 表示是否成功的函数加 [[nodiscard]]，又在 switch 里调用它且故意忽略返回值——这时 [[nodiscard]] 警告和 [[fallthrough]] 完全无关，后者管不了函数调用行为。

真正要注意的是组合场景：

在 case 里调用 [[nodiscard]] 函数时，必须处理返回值，否则警告照出，[[fallthrough]] 不起抑制作用
若函数本身是 [[nodiscard]] 且返回枚举（如 enum class Status），而你在 switch 中按该枚举分支处理，此时 [[fallthrough]] 是用于 switch 分支跳转，和函数返回值无关
别试图用 [[fallthrough]] 来“绕过” [[nodiscard]] 警告——这是两类完全独立的检查机制

哪些编译器版本真正支持？

Clang 3.9+ 和 GCC 7+ 对这两个属性的支持较完整；但细节有差异：

[[nodiscard]] 在 GCC 7–9 中不支持字符串提示（即 [[nodiscard("msg")]]），要 C++20 模式 + GCC 10+ 才行
[[fallthrough]] 在 GCC 7 中需显式开启 -std=c++17，否则当未知属性忽略；Clang 更宽松些，C++14 模式下也能识别（但标准要求 C++17）
MSVC 从 19.20（VS2019 16.0）开始支持 [[nodiscard]]，[[fallthrough]] 则要 16.8+；且 MSVC 对提示字符串的支持晚于 GCC/Clang
CI 环境里容易踩坑：Ubuntu 18.04 自带 GCC 7.5，但默认 g++ 不开 C++17，得加 -std=c++17 才能用 [[fallthrough]]