C++协变返回类型应用程序

Question

我想询问协变返回类型和可能（非）应用程序。我以为我发现了一些新的设计模式，但遗憾的是它不起作用:(

让我们从一个例子开始：

// test.h 
class B {public: virtual B* getSelf() {return this;} };
class D : public B { public: D* getSelf() {return static_cast<D*>(this);} };

void compute(B* something); 
void compute(D* something);

// test.cpp 
int main() 
{
B* b = new D(); 
compute(b->getSelf()); // This calls compute(B*), not compute(D*) 
}

知道为什么它不起作用吗？

PS 我为糟糕的格式道歉

编辑：当然，如果我在 main 中使用强制转换，它会正确调用 compute(D*)。

编辑 #2：我尽量避免切换 :)

Answer 1

函数重载解析在编译时完成，取决于表达式的静态类型而不是动态类型。

b->getSelf() 的类型是 B*，因为这是在 B 类型的实例上调用成员函数 getSelf 的返回类型。 此时b 在运行时将指向B、C 或D 并不重要，您存储在该指针中的任何子实例都不会影响其静态类型。

也就是说，您尝试实现的目标似乎可以通过简单的多态性（使 compute 成为成员函数）来解决，或者如果您不希望这样做，您可以使用 double dispatching。