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

前端之家收集整理的这篇文章主要介绍了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(),这并不重要.

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

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

解决方法

快速看3.2 [basic.def.odr]得到:

3/ […] A virtual member function is odr-used if it is not pure. […]

而我也发现在14.7.1 [temp.inst]:

10/ An implementation shall not implicitly instantiate a function template,a member template,a non-virtual member function,a member class,or a static data member of a class template that does not require instantiation. It is unspecified whether or not an implementation implicitly instantiates a virtual member function of a class template if the virtual member function would not otherwise be instantiated. (emphasis mine)

所以…我会说,一个虚拟方法很可能总是被实例化.

实际上,我期望一个编译器在实例化类时实例化一个模板类的虚拟表;并因此立即实例化此类的所有虚拟成员函数(因此可以引用虚拟表的虚拟成员函数).

原文链接:https://www.f2er.com/c/115691.html

猜你在找的C&C++相关文章