使用G++ 12.2.0编译变参递归函数时遇到异常编译问题

原因解释 #

你遇到的是GCC在模板递归实例化时的编译诊断误报，并非真正的编译错误。

你的代码中，模板版本的requestWork在if/else两个分支里都调用了requestWork，GCC实例化模板时，会对两个分支的调用都做预检查——哪怕这两个分支调用的是完全相同的函数。当递归展开到剩余参数较少的阶段时，编译器会先输出recursively required from...的诊断信息，但最终递归会终止于那个非模板的requestWork(A&, size_t)版本，因此整个编译流程能正常完成；再次构建时，IDE不会重复弹出这个临时的诊断提示。

解决方法 #

要消除这个不必要的诊断提示，有两种简单方案：

方案1：合并重复分支 #

你的原代码中if和else分支的调用逻辑完全一致，直接合并成一行即可彻底避免问题：

#include <iostream>

struct A
{
    int get()
    {
        return 5;
    }
};

static void requestWork(A& program,size_t bytes)
{

}
template<typename T, typename... Args>
static void requestWork( A& program,size_t bytes,T t1, Args... args)
{
    std::cout << t1 << "\n";
    // 合并分支，无需判断
    requestWork(program, bytes + sizeof(t1), args...);
}
int main(int args, char* argsc[])
{
    A a;
    requestWork(a,0,0,0,0,0);
    return 0;
}

方案2：使用if constexpr（C++17及以上） #

如果后续分支逻辑有差异，可借助if constexpr让编译器仅实例化实际会执行的分支，避免预检查未执行分支的调用：

#include <iostream>

struct A
{
    int get()
    {
        return 5;
    }
};

static void requestWork(A& program,size_t bytes)
{

}
template<typename T, typename... Args>
static void requestWork( A& program,size_t bytes,T t1, Args... args)
{
    std::cout << t1 << "\n";
    // 仅当还有剩余参数时才递归，编译器只处理该分支
    if constexpr (sizeof...(Args) > 0)
    {
        if (program.get() == bytes)
        {
            requestWork(program, bytes + sizeof(t1), args...);
        }
        else
        {
            requestWork(program, bytes + sizeof(t1), args...);
        }
    }
}
int main(int args, char* argsc[])
{
    A a;
    requestWork(a,0,0,0,0,0);
    return 0;
}

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