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

Question

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

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

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

提前致谢！ 最好的

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 函数...