为什么尝试使用显式类型参数调用模板成员函数时会出现错误？

Question

我不明白，在我看来，对 f 的调用是完全明确的，但它无法使用“int”之前的预期主表达式进行编译。如果我注释掉调用 f 的行，它可以正常编译。

template<typename T>
struct A {
    template<typename S>
    void f() { }
};

template<typename T>
struct B : A<T> {
    void g() {
        this->f<int>();
    }
};

Answer 1

这是由于该标准的一个非常模糊的规定，其中如果您有一个模板尝试访问其类型取决于模板参数的对象中的模板函数，则必须使用 template 关键字以一种奇怪的方式：

this->template f<int>();

这类似于 typename 带来依赖类型的怪异，除了应用于函数之外。特别是，如果您省略 template 关键字，则

this->f<int>()

（您的意图）之间存在解析歧义，而

((this->f) < int) > ()

这是没有意义的（因此您的错误）。此处使用关键字 template 可以消除歧义，并强制编译器认识到它正在查看对模板化成员函数的完全有效的调用，而不是一堆乱码。