重写虚函数返回类型有差异，且不是covariant

huan1006

Hi：

1. 
   
2. class Employee
   
3. {
   
4. public:
   
5.         Employee(void);
   
6.         ~Employee(void);
   
7.         virtual void display() {cout << "Employee::display(),  base class" << endl;}
   
8.         string first_name;
   
9.         string last_name;
   
10. };
    
11. 
    
12. class Manager : public Employee
    
13. {
    
14. public:
    
15.         Manager(void);
    
16.         ~Manager(void);
    
17.         short level;
    
18.         list<Employee*> group;
    
19.         void display() {cout << "Manager::display(),  devrived class" << endl;}
    
20. 
    
21. };
    
22. 
    
23. class HightManager : public Manager
    
24. {
    
25. public:
    
26.         HightManager(void);
    
27.         ~HightManager(void);
    
28.          int  display() {cout << "HightManager::display(),  devrived devrived class" << endl;return 1;}
    
29. };
    

复制代码

这样写，怎么出现

error C2555: “HightManager::display”: 重写虚函数返回类型有差异，且不是来自“Manager::display”的 covariant

谢谢各位啦！

CuriousZhen

HightManager类的虚函数写错了，与基类的声明不一样，你的基类说返回void，但此类却写成返回int，所以出错

huan1006

CuriousZhen: Re: 重写虚函数返回类型有差异，且不是covariant

HightManager类的虚函数写错了，与基类的声明不一样，你的基类说返回void，但此类却写成返回int，所以出错

谢谢啊，不过我是故意写成这样的啊。难道，这样写就不行吗？不好意思，好白吃的问题啊

航天奇侠

你的问题一点都不白痴.
为什么不行, 主要是语法上, 你混淆了函数重载, 和虚函数重写.
重载是和返回类型无关的. 因为调用的时候你不能通过返回类型来判断调用那个类.
int print(int)
long print(int)
print(1) //调用那个呢?不能决定

重写就不同,重写是改写基类的定义.
一个函数的定义, 正确的规格是包括 返回类型的.
上面两个print, 是两个不同的定义(虽然不构成重载,所以不能写在一个文件中)
假设你的基类B是 int print(int), 子类D 是 void print(int);
B *he = new D();
int count = he->print(1);
子类对基类的首要原则就是接口兼容,很明显上面的代码就有错误了.