virtual对类模板成员使用的影响

我（模糊地）知道模板不会被实例化，如果它是not used。例如，以下代码即使在以下情况下也能正常编译：T::type没有意义时T = int.

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

A<int> a; //ok

它编译是因为f() is not used，所以它没有被实例化——因此有效性T::type仍然未经检查。如果有其他的也没关系member功能g() calls f().

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

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

A<int> a; //ok

这也是编译罚款 http://coliru.stacked-crooked.com/a/a6eba04e3741d673。但在这里我意识到我对定义的理解含糊不清"use". I ask:

• Is f()还没用？具体如何？

我可以清楚地看到它在里面被使用g()。但后来我想自从g()未使用，f()从实例化的角度来看，也没有使用。这似乎很合理。迄今为止。

但是如果我添加virtual关键字到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

结果是编译错误 http://coliru.stacked-crooked.com/a/e20d079078a024e6因为现在它尝试实例化f()。我不明白这种行为。

有人能解释一下吗？尤其是影响virtual类模板成员的“使用”定义上的关键字。

快速浏览一下 3.2 [basic.def.odr] 会得到：

3/ [...] 如果虚拟成员函数不是纯函数，则它是 odr-used。 [...]

我还在 14.7.1 [temp.inst] 发现：

10/ 实现不得隐式实例化不需要实例化的函数模板、成员模板、非虚成员函数、成员类或类模板的静态数据成员。如果虚拟成员函数不会被实例化，则未指定实现是否隐式实例化类模板的虚拟成员函数。（强调我的）

所以...我想说很可能是virtual方法将始终被实例化。

从实用的角度来说，我希望编译器在实例化模板类时实例化模板类的虚拟表；从而立即实例化所有virtual此类的成员函数（因此它可以引用虚拟表中的成员函数）。