在C ++中的模板化基类中查找名称

Question

我正在阅读有效的C ++ 3rd Edition，项目43“知道如何访问模板化基类中的名称”。

template<typename T>
class B {
    T i;
};

template<typename T>
class D: public B<T> {
public:
    void Foo() {
        T a = B<T>::i;
    }
};

int main() {
    D<int> d;
}

对于以上代码，我知道是否在D::Foo() i之前未添加B<T>:: ，编译器会抱怨“未在此范围内声明i ”。 （但是它并没有抱怨i在B是私人的。）

但是，如果T i; 没有在B中声明，如下所示，编译进行顺利。

template<typename T>
class B {
};

template<typename T>
class D: public B<T> {
public:
    void Foo() {
        T a = B<T>::i;
    }
};

int main() {
    D<int> d;
}

默认情况下，编译器不在模板化的基类中找到名称。 但是，为什么我甚至告诉他们，他们仍然不这样做？

Answer 1

但是，为什么我甚至告诉他们，他们仍然不这样做？

因为没有使用成员函数Foo ，所以根本不会实例化它。

这适用于类模板的成员：除非在程序中使用了该成员，否则不会实例化该成员，并且不需要定义。

如果调用Foo可能会出错 ，例如

D<int> d;
d.Foo();

BTW

但这并没有抱怨i在B是私人的。

因为在名称查找之后执行了可访问性检查。 没有找到i的名字，则无法检查任何内容的可访问性。