关于C++中const形参在派生时的理解。

[fzzjoy]

这是微软一道笔试原题：
#include<iostream>

using namespace std;

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 main()
{

A* a = new B();
a->f();
g(a);
delete a;
return 0;
}

输出是
B::f()
A::f() const
（为什么？应该怎么理解？）

去掉函数g中的const后
输出是
B::f()
B::f()
（这个我的理解是虚函数在继承过程中，可以由指向派生类的基类指针访问到派生类的对应”虚函数“）
但是加了个const结果就不一样了，应该如何解释呢？

[羽飞]

有const修饰的函数跟没有const修饰的函数是完全不同的两个函数，这是前提 题目中写的代码class A中没有const的f()是虚函数，const的不是虚函数 虚函数可以重载，非虚函数不能重载，只是覆盖

[zhousitiaoda]

void g(const A* a)，形参是指向const对象的指针，而const对象只能调用const成员函数。 函数调用大概有三种方式 1：虚函数 2：普通成员函数 3:静态函数。每种调用机制都不太一样，具体可看深度探索C++对象模型。

[旭日东升1993]

main()函数中的a实际指向的是B类, 调用f()的时候, 由于A类中的f()是virtual的, 所以会从虚函数表中去找到B类的f()去执行, 这就是多态 g()函数中的a也是指向B类, 也是调用了f(), 但是由于a是const的, 不能调用非const函数, 只能调用const函数, 而A类的f() const不是virtual的, 所以不会去虚函数表中找B类的f()执行