C++ covariance in parameters

2019-01-11 23:51发布

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
};

1条回答
来,给爷笑一个
2楼-- · 2019-01-12 00:20

The return type is permissible since derived inherits from base, but the function parameter can't work - not all base instances will be a derived also. What's supposed to happen in the cases where func is called on a pointer to base with a parameter that's not a derived? The most derived implementation isn't callable.

查看更多
登录 后发表回答