为何C++用auto定义lambda触发-Wunused-but-set-variable警告而显式类型无警告

问题根本原因 #

这个警告差异和auto关键字本身没有直接关系，核心是两个变量的类型特性不同，触发了编译器不一样的未使用变量判定逻辑：

• 用auto推导的f_sub类型是该lambda对应的原生闭包类型：这个类型是编译器生成的平凡类型，没有自定义的构造、析构逻辑，不会产生任何隐式侧效应。编译器可以明确判定这个变量只完成了初始化赋值，后续没有任何读取、调用操作，所以会触发-Wunused-but-set-variable警告。
• 显式指定为std::function<int(int)>类型的f_sq是类型擦除包装器实例：std::function的构造函数是非平凡的，初始化过程包含了闭包对象的复制/移动、类型擦除接口注册、甚至可能触发堆内存分配等操作。编译器的未使用警告逻辑是保守判定的：只要变量初始化过程调用了可能存在侧效应的非平凡构造函数，就会认为该变量已经被“有效使用”，因此不会抛出未使用警告。

你可以做个简单验证：如果把f_sub也显式声明为std::function<int(int,int)>类型，就不会触发警告；反过来如果把f_sq改用auto推导类型，同样会抛出未使用警告，进一步确认该差异和auto无关，只和变量的类型特性有关。

部分极高优化等级下，如果编译器能完整推导确认std::function的构造过程完全没有可观测的侧效应，也可能会对未使用的std::function变量抛出警告，这属于优化后的特殊情况。

内容的提问来源于stack exchange，提问作者Ali