关于未使用变量的奇怪编译器警告，这是编译器错误吗？答案

【问题标题】：Weird compiler warning about unused variable, is this a compiler bug?关于未使用变量的奇怪编译器警告，这是编译器错误吗？
【发布时间】：2019-04-21 19:08:55
【问题描述】：

我的问题是关于以下代码：

#include <type_traits>
#include <utility>

template <int First, int Last, typename Functor>
constexpr void static_for(Functor&& f)
{
    if constexpr (First < Last)
    {
        f(std::integral_constant<int, First>{});
        static_for<First + 1, Last, Functor>(std::forward<Functor>(f));
    }
}

int main() {
    static_for<1, 3>([](int /*i*/){

    });
    return 0;
}

它使用 MSVC（Visual Studio 2017 15.9.11，v141 工具集，/std:c++17）产生以下编译器警告：

警告 C4100：'f'：未引用的形式参数

它可以在 Godbolt 上重现：https://godbolt.org/z/6gLDzu

这是编译器错误吗？我打算向 Microsoft 报告它，但后来想征求社区的意见，也许我遗漏了什么？代码确实有效，并且仿函数被调用了正确的次数，因此编译器不会错误地编译代码并错误地优化 f。

【问题讨论】：

更像是一个 QoI 问题，with workarounds。
在 First >= Last 的情况下，if constexpr 导致整个函数体消失，f 未被使用。
@RaymondChen：但是在编译这段代码 sn-p 期间不会发生这种情况，编译器在发出警告之前不应该看到吗？在我看来，警告好像是基于一些启发式而不是实际的 AST 生成的，我觉得这很奇怪。
当然会发生。 First + 1 不会无限期地继续下去。
This post 有一个高效的基本 static_for 来自我。

标签： c++ visual-c++ c++17

【解决方案1】：

在 static_for() 的最后一次迭代中，First + 1 等于 Last。这会导致函数体消失，f 未被使用。

【讨论】：