此指针从虚拟成员函数传递到模板

this pointer passed to template from a virtual member function

本文关键字：函数 指针 虚拟成员      更新时间：2023-10-16

我有一个在基类a中实现的虚拟函数。此函数中有一个循环。派生类B可用，但不会覆盖虚拟函数，因为任何派生类的代码都相同。

然而，我需要在虚拟函数（local_policy）内部进行额外的条件检查，该函数应该根据类类型（基类或派生类）进行调用。现在，我可以实现另一个虚拟成员函数，并在派生类中覆盖它。但是，由于调用发生在循环内部，虚拟开销应该最小化，所以我想我宁愿使用函数模板，并将其专门用于任何派生类。

现在的问题是，我从foo（）中传递*这个指向函数模板的指针，而专门化从未被调用。在这种特定情况下，this指针是类型A而不是类型B吗？我猜不是，我的专用函数模板会被调用。

我感谢任何帮助！

template < typename T >
bool local_policy(const T* mtype) { return true; }
class A
{
   public: 
   virtual void foo()
   {
      for(..) { 
         if(local_policy(this)) //This will call the non-specialised template! Why?
         { /* do something */ }
      }
   }
   /* [...] */
}
class B : public A
{         
   /* [...] */
   //foo() is not overridden here
}
//Specialize the function template for class B
template <>
bool local_policy(const B* mtype) { return false; }
main()
{
   B* test = new B; if(!B) return;
   test->foo(); 
}

提前感谢！最佳

第页。S.：我还尝试了一些C++11，它使用了一个普通函数和一个带有std:：enable_if的全局模板，只在它是派生类时才启用。没关系，而且这个名字并不像我预期的那样叫

C++不允许基于参数类型的动态调度——函数重载解析始终基于表达式的静态类型。在您的示例中，this的静态类型始终为A *，即使它指向B，因此永远不会调用您的专用函数。

如果想要动态调度，则必须使用虚拟函数，并且只能基于this参数进行动态调度，而不能基于任何其他参数。如果你担心开销，你可以把动态调用从循环中调出，只调用一次：

virtual bool local_policy() { return true; }
virtual void foo() {
    bool policy = local_policy();
    for (..) {
        if (policy) {
            /* do something */
        }
    }
}

编译器永远无法单独进行此优化，因为它不知道您永远不会定义一个派生类，该派生类会用具有副作用的东西覆盖local_policy函数。。。

相关文章：