C++函数模板递归异常：地址正确却陷入自调用循环

问题描述 #

我定义了可变参数模板结构体CTest与对应的func函数模板，期望当模板参数包为空时调用func<>的特化版本。但实际运行时，当参数包为空时，void func(const CTest<__T, __Ts...> &obj)会递归调用自身，尽管printf打印的func<__Ts...>地址和func<>的地址完全一致。但如果把调用方式改成先将func<__Ts...>赋值给auto指针再调用，问题就解决了。请问为什么会出现地址正确但函数模板仍自调用的情况？这是C的规则导致的吗？环境是WSL Ubuntu 22.04、g 11.4.0、std=c++20。

示例代码 #

#include <stdio.h>

template<typename ...__T>
struct CTest {
};

template<typename __T, typename ...__Ts>
struct CTest<__T, __Ts...>: public CTest<__Ts...> {
};

template<typename ...__T>
void func(const CTest<__T...> &);
template<typename __T, typename ...__Ts>
void func(const CTest<__T, __Ts...> &);

template<>
void func(const CTest<> &obj) 
{
    printf("no data\n");
}

template<typename __T, typename ...__Ts>
void func(const CTest<__T, __Ts...> &obj)
{
    printf("obj->data\n");
    printf("call %lx\n", func<__Ts...>);
    func<__Ts...>(obj);
}

int main()
{
    CTest<int> b;
    printf("func<> 's addr: %lx\n", func<>);
    func(b);
    return 0;
}

问题原因解析 #

这是C++模板重载解析和函数调用决议的规则导致的，核心在于函数调用的决议与函数地址的获取是两个独立阶段的行为：

1. 模板参数展开时的调用匹配问题
   当递归到__Ts为空时，func<__Ts...>确实指向func<>特化版本，但调用func<__Ts...>(obj)时，传入的obj是CTest<int>类型（它继承自CTest<>）。此时编译器做调用决议时，会优先选择匹配度更高的重载：template<typename __T, typename ...__Ts> void func(const CTest<__T, __Ts...> &)。因为CTest<int>可以直接匹配该重载的形参（无需类型转换），而匹配func<>则需要将CTest<int>隐式转换为CTest<>引用，前者匹配度更高，所以最终调用的是当前递归的函数模板实例（自身）。

这里的关键是：显式指定模板参数不代表直接调用该函数，编译器仍会检查实参与函数形参的匹配度，若存在更合适的重载，会优先选择那个重载。

2. 函数地址打印正确的原因
   printf("call %lx\n", func<__Ts...>);中获取的确实是func<>的地址，因为显式指定模板参数时，编译器直接引用对应的特化版本，不存在重载决议的干扰——地址获取是直接针对你指定的模板实例，和调用阶段的决议逻辑无关。

3. 赋值给auto指针后调用正常的原因
   将func<__Ts...>赋值给auto指针时，指针类型被推导为void(*)(const CTest<> &)，也就是指向func<>特化版本的函数指针。调用该指针时，编译器会直接执行地址对应的函数，不再进行重载决议，此时CTest<int>对象会被隐式转换为基类CTest<>的引用，从而正确进入func<>的特化版本。

修复方案 #

可以通过显式转换实参，强制匹配指定的模板实例：

func<__Ts...>(static_cast<const CTest<__Ts...>&>(obj));

这样就能确保调用的是你指定模板参数的函数，避免编译器选择更匹配的重载。

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