template<typename T>
struct A
{
    void f() { using type = typename T::type; }
};

A<int> a; //ok

它编译因为f()不被使用,所以它不被实例化 – 因此T :: type的有效性保持不被检查.如果某个其他成员函数g()调用f(),这并不重要.

template<typename T>
struct A
{
    void f() { using type = typename T::type; }

    void g() { f(); } //Is f() still unused?
};

A<int> a; //ok

这也是compile fines.但是在这里我意识到我对“使用”定义的理解的模糊性.我问：

> f()是否仍然未使用？怎么样

我可以清楚地看到它在g()中使用.但是后来我想,因为g()没有被使用,所以从实例化的角度来看,f()也不会被使用.这似乎够合理至今.

但是,如果我将虚拟关键字添加到g(),它不会编译：

template<typename T>
struct A
{
    void f() { using type = typename T::type; }

    virtual void g() { f(); } //Now f() is used? How exactly?
};

A<int> a; //error

它导致compilation error,因为现在它试图实例化f().我不明白这个行为.

有人可以解释一下吗特别是虚拟关键字对类模板成员“使用”的定义的影响.