पैरामीटर में C++ covariance

Question

मैं जानना चाहता था कि क्यों सी ++ पैरामीटर में सह-भिन्नता का समर्थन नहीं करता है जैसे कि नीचे उदाहरण में या यदि इसे प्राप्त करने का कोई तरीका है?

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

वापसी प्रकार base से derived inherits के बाद से की अनुमति है, लेकिन समारोह पैरामीटर काम नहीं कर सकता - नहीं सभी base उदाहरणों एक derived भी किया जाएगा। उन मामलों में क्या होना चाहिए जहां func को base पर एक पॉइंटर पर derived नहीं है? सबसे व्युत्पन्न कार्यान्वयन कॉल करने योग्य नहीं है।