c – 虚拟对使用类模板成员的影响

我(模糊地)知道如果没有使用模板,则不会实例化.例如,即使T = int,T :: type也没有意义,以下代码将会很好地编译.

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

A<int> a; //ok

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

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.但是在这里我意识到我对“使用”定义的理解的模糊性.我问：@H_772_5@

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

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

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

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().我不明白这个行为.@H_772_5@

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