c++问题 多态 virtual 和const

Question

class A
{ public:
virtual void f()
{cout<<"A::f()"<<endl;}

void f() const
{
cout<<"A::f() const"<<endl;
}

};

class B:public A
{
public:
void f()
{
cout<<"B::f()"<<endl;

}
void f() const
{
cout<<"B::f() const"<<endl;
}
};
void g(const A* a)
{
a->f();
}

int _tmain(int argc, _TCHAR* argv[])
{
A *a=new B();
a->f();
g(a);
delete a;
}

输出 B::f()
A::f() const
这是为什么呢？没怎么接触多态，求详细指导，谢谢！

Answer 1

C++的动态多态是指对于一个成员函数的调用将根据对象的动态类型信息（多态机制的开销）执行不同的成员函数（这个函数是在基类中声明的虚函数并在派生类中可能被重写）。

但是这里有两个前提： 

调用成员函数时必须通过基类的指针或者引用调用；

被调用的成员函数必须是虚函数。

对于一个非虚函数（普通成员函数）的调用将在编译时根据对象的静态类型（由调用表达式推断出来的）来调用成员函数。

你的问题中成员函数f有两个版本，一个是非const虚函数，一个是const非虚函数。（自己去分析吧）

什么时候调用const版本的成员函数？

当对象是const对象时；

当指向对象的指针是const时；

当对象的引用是const引用时

当只有const版本的成员函数时

调用的将是const成员函数。

在main方法中，

A *a=new B();
a->f();

使得基类指针a指向匿名派生类对象B，然后通过指针调用函数f， 由于调用的时虚函数f，所以该调用将根据a所指的对象的实际类型来决定调用派生类B中的成员函数f。

在g函数中，

void g(const A* a)
{
a->f();
}

是通过const基类指针a调用基类的const成员函数f，然而cons版本的f不适虚函数所以调用的将是基类A中的f成员函数。

Answer 2

const 与非const 的f是两个的函数，属于重载。
常成员函数不可以访问非常量成员。

a->f();//匹配到非常成员函数，调用子类的f，虚函数。

g(a);//这种场合，子类的f const覆盖了父类的f const，使用的是基类指针，所以只能调用到父类的。

Answer 3

使用指针访问 虚函数时，编译器根据指针所指对象的类型决定要调用哪个函数(动态联编)，而与指针本身的类型无关。