C++ 虚函数 const成员函数 多态

chinesefys

1. #include <iostream>
   
2. #include <string>
   
3. using namespace std;
   
4. 
   
5. class Base {
   
6. public:
   
7.      virtual ~Base(){}
   
8.      virtual void display() const {
   
9.          cout << "Base" << endl;
   
10.      }
    
11. };
    
12. 
    
13. class Derive:public Base {
    
14. public:
    
15.         virtual ~Derive(){}
    
16.         virtual void display() {
    
17.                 cout << "Derive" << endl;
    
18.         }
    
19. 
    
20. };
    
21. 
    
22. int main()
    
23. {
    
24.         Base *pbase = new Derive();
    
25.         pbase -> display();
    
26.         return 0;
    
27. }
    

复制代码

输出
Base
为啥？

supermegaboy

由于不是重载，这里跟函数签名没有关系。

原因是，C++的多态要求函数除了协变外，其余情况下都必须是相同的。

Derive中的display函数hide了Base中的display，而不是override，在pbase -> display();中，final overrider就是Base的display，所以结果是“Base”

sonicling

const 也是函数签名的一部分

chinesefys

回复 2# sonicling

兄弟，你的回答真干练。

意思就是 两个display就是两个不同的函数，压根不存在多态性


   

chinesefys

两个display就是两个不同的函数，压根不存在多态性。

方兆国

是不是静态函数的缘故

timothyqiu

可以理解为 Derive 中同时存在着类似如下两个函数：

1. virtual void Derive::display(Derive const *this); // 基类中带来的
   
2. virtual void Derive::display(Derive *this); // 派生类中的

复制代码

方兆国

void function()const; //常成员函数, 常成员函数是不能改变成员变量值的函数。

const成员函数表示该成员函数只能读类数据成员，而不能修改类成员数据。定义const成员函数时，把const关键字放在函数的参数表和函数体之间。有人可能会问：为什么不将const放在函数声明前呢？因为这样做意味着函数的返回值是常量，意义完全不同。

(2)const修饰成员函数
const修饰类的成员函数，则该成员函数不能修改类中任何非const成员函数。一般写在函数的最后来修饰。
    class A
    {
        …
       void function()const; //常成员函数, 它不改变对象的成员变量.                        

//也不能调用类中任何非const成员函数。
}

对于const类对象/指针/引用，只能调用类的const成员函数，因此，const修饰成员函数的最重要作用就是限制对于const对象的使用。

a. const成员函数不被允许修改它所在对象的任何一个数据成员。

b. const成员函数能够访问对象的const成员，而其他成员函数不可以。

http://blog.csdn.net/Eric_Jo/article/details/4138548