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

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

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

实操建议：

C++14

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

下载

立即学习“C++免费学习笔记（深入）”；

• 必须在函数**声明处**（通常是头文件）加上 [[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 当作语法错误。

实操建议：

立即学习“C++免费学习笔记（深入）”；

• 位置严格限定：必须是 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]]

实际项目里最容易被忽略的，是头文件声明和实现分离导致的 [[nodiscard]] 缺失，以及把 [[fallthrough]] 放在了带花括号的 case 块内部而非块末尾。