在 C/C++ 代码审查中，经常会遇到未使用变量的情况。本文将探讨产生未使用变量的常见原因，并介绍如何让编译器发出警告以及如何抑制特定警告。
未使用变量的成因
代码中出现未使用变量的原因多种多样：
- 代码缺陷或错误： 最直接的原因是代码本身存在问题，变量可能根本不需要，或者需要但未被正确使用。
- 代码重构： 软件开发过程中，代码会不断修改和重构，一些曾经重要的变量可能会被遗留下来，导致未使用。
- 预留变量： 开发人员可能会预先声明一些变量，以备将来使用，但最终未用到。
- 条件编译： 一些变量可能只在特定条件下（例如调试模式）才被使用，在其他情况下则被忽略。例如：
const auto value = compute_some_value(); const auto value_for_comparison_only = compute_same_value_differently(); assert(value == value_for_comparison_only);
如果使用 -DNDEBUG 编译，value_for_comparison_only 就可能被标记为未使用。
立即学习“C++免费学习笔记（深入）”；
检测未使用变量
不同的编译器和警告级别会影响未使用变量的检测。GCC 和 Clang 使用 -Wunused-variable 选项来启用未使用变量警告。-Wall 选项通常包含此警告，可以使用 -Wno-unused-variable 禁用。建议始终使用 -Wall 编译，必要时再选择性地关闭特定警告。
抑制未使用变量警告
虽然建议启用尽可能多的警告，但在某些情况下，可能需要有选择地关闭特定未使用变量的警告。常用的方法包括：
-
强制类型转换： 将变量强制转换为
void：
object unused_object; (void)unused_object;
这会消除警告，但不够清晰。
- 使用宏： 定义一个宏来明确表示变量未使用：
#define unused(x) (void)(x); // ... object unused_object; unused(unused_object);
这提高了代码的可读性和可维护性。
-
使用属性： Clang 和 GCC 支持
__attribute__((unused))属性，C++17 支持[[maybe_unused]]属性：
object unused_object2 __attribute__((unused)) = x; // 声明后使用 [[maybe_unused]] object unused_object1 = x; // 声明前使用
这些属性明确告知编译器（和开发者）变量可能未使用。__attribute__((unused)) 甚至会在变量被意外使用时发出警告。 个人更倾向于使用 [[maybe_unused]]，尤其是在条件编译中。
保留未使用变量
在开发和调试阶段，保留未使用变量有时是有益的。例如，它可能代表过去代码的遗留部分，或者用于调试目的：
auto unused_variable __attribute__((unused)) = complicated_calculation(arg1, arg2, arg3);
即使结果未被使用，保留它也能作为潜在的调试点。
总而言之，合理处理未使用变量对于保持代码整洁和高效至关重要。选择合适的策略取决于具体情况。
