从第二代模板派生类调用模板成员函数时编译失败求助

先还原符合场景的典型问题代码：

#include <iostream>

template <typename T>
struct Base {
    template <typename U>
    void func(U u) {
        std::cout << "Base::func called with " << u << std::endl;
    }
};

template <typename T>
struct Derived : Base<T> {
    void call() {
#if 1
        // 编译成功分支
        this->template func<int>(42);
#elif 0
        // 编译失败分支1
        func<int>(42);
#elif 0
        // 编译失败分支2
        Base<T>::func<int>(42);
#endif
    }
};

int main() {
    Derived<int> d;
    d.call();
    return 0;
}

两个失败分支的核心原因：C++依赖名称查找规则 #

失败分支1：直接调用func<int>(42) #

编译器处理模板Derived<T>定义时，处于模板实例化前的语法检查阶段。此时基类Base<T>是依赖于模板参数T的「依赖基类」，编译器不会主动查找依赖基类的成员名称：

• 编译器会把func当作当前作用域的普通非模板名称，后面的<int>会被错误解析为小于运算符，要么报语法错误，要么提示func未定义。

失败分支2：调用Base<T>::func<int>(42) #

虽然指定了基类Base<T>，但Base<T>::func是依赖于T的「依赖名称」，编译器在模板定义阶段无法确定它是模板成员函数：

• 此时的<int>会被编译器误判为比较操作，而非模板参数列表，导致编译失败。正确写法需显式加template关键字标记func为模板成员，即Base<T>::template func<int>(42)。

成功分支的原理 #

this->template func<int>(42)同时解决两个问题：

1. this->引导编译器去当前对象的依赖基类中查找func；
2. template关键字明确标记func是模板成员，让编译器把<int>解析为模板参数列表，而非比较运算符。

解决方案总结 #

在模板派生类中调用基类的模板成员函数，必须使用以下两种写法之一：

• this->template 成员函数名<模板参数>(实参)
• 基类名<模板参数>::template 成员函数名<模板参数>(实参)

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