Question

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

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

现在的问题是我将这个指针从foo（）中传递给函数模板，并且永远不会调用特化。这个指针在这种情况下是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(); 
}

提前致谢！最好

P.S。：我还尝试使用普通函数的一些C ++ 11和使用std :: enable_if的全局模板，只有在它是派生类时才启用。没关系，也没有像我预期的那样打电话。： - /

Answer 1

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

如果需要动态调度，则必须使用虚函数，并且只能基于this参数动态调度，而不能使用任何其他参数。如果您担心开销，可以将动态调用提升出循环，只调用一次：

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

编译器无法独立完成此优化，因为它不知道您永远不会定义一个派生类来覆盖local_policy函数。副作用......

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

1 个答案: