參數中的C++協方差

Question

我想知道爲什麼C++不支持參數中的協方差，比如下面的例子或者是否有辦法實現它？

class base { 
public: 
virtual base* func(base * ptr) { return new base(); } 
}; 

class derived : public base { 
public: 
virtual derived* func(derived * ptr) override { return new derived(); } //not allowed 
}; 

Answer 1

返回類型，因爲從basederived繼承允許的，但功能參數不能正常工作 - 不是所有的base情況下將是一個derived也。在指向base的指針上調用func並且參數不是derived的情況下應該會發生什麼情況？最派生的實現不可調用。