I wanted to know why C++ does not support co-variance in parameters like in example below or if there is a way to achieve it?
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
};
The return type is permissible since
derived
inherits frombase
, but the function parameter can't work - not allbase
instances will be aderived
also. What's supposed to happen in the cases wherefunc
is called on a pointer tobase
with a parameter that's not aderived
? The most derived implementation isn't callable.