为什么我可以从派生类调用基模板类方法

Question

我决定测试“Effective C++”中的一个示例，但没有得到预期的结果。所以，显然这个（简化的）代码不应该编译：

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

template <class T>
struct B : public A <T> {
    void f2() { f(); }   // calling base function - will not compile
};

以下是解释（为简单起见更改了类名）：

上面的代码不能编译，至少不能使用符合标准的编译器。这样的编译器会抱怨f 不存在。我们可以看到f 在基类中，但是编译器不会在那里寻找它。

我们需要了解原因。 问题是当编译器遇到类模板B的定义时，他们 不知道它继承自哪个类。当然是A<T>，但是T是一个模板参数， 一个直到稍后才会知道（当B 被实例化时）。不知道是什么T 也就是说，没有办法知道A<T> 的类是什么样的。特别是，无法知道它是否具有f 函数。

我的编译器 (Visual Studio) 不介意...它甚至不显示任何警告。

上面的代码是否正确？

Answer 1

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

template <class T>
struct B : public A <T> {
    void f2() { f(); }   // calling base function - will not compile
};

在派生模板中，表达式f() 不依赖于任何模板参数，因此编译器会在第一阶段查找期间尝试解析它。此时，模板还没有被类型实例化，编译器不会查看基类A<T>。原因是编译器不可能知道对于实例化类型是否有可能不包含任何成员的 A<T> 特化。

解决方案是使表达式依赖，最简单的方法是使用this-> 限定：

template <typename T>
void B<T>::f2() {  this->f(); }

由于表达式现在是依赖的，查找被延迟到第二阶段，其中类型被替换，A<T> 是一个具体类型。另一种选择是使用定义它的类进行限定：

template <typename T>
void B<T>::f2() { A<T>::f(); }

表达式再次变得依赖，并将在第二阶段解决。主要区别在于，在第二种情况下，调用是合格的，因此它不使用动态调度。如果A<T>::f() 是虚拟的，它仍然会执行A<T>::f()，而不是最终的覆盖器。

---

代码正确吗？不，VS 接受吗？是的。

这是 Visual Studio 编译器中的一个已知不符合项，它没有实现两阶段查找。它将模板内的所有查找延迟到第二阶段，此时查找成功。