C++虚函数与函数重载理解分析

虚函数构建多态，函数重载通过以下方式：1，const重载；2，形参表；

虚函数子类中，不能出现返回值不同的情况，除非返回值可以向上转换；

常对象优先调用const重载函数，非常对象优先调用普通函数；

以以下例子分析：

class sbs{

public:

virtual string foodType() const{};

};

class Base{

public:

virtual int f(int) const{

cout<<"Base::f()"<<endl;

return 1;

}

virtual void f(string) const{

cout<<"Base::f(string)"<<endl;

}

virtual sbs* f(int) {

cout<<"Base::sbs::f()"<<endl;

return &s;

}

virtual void g() const{}

private:

sbs s;

};

class Derival1:public Base{

public:

void g() const{}

};

class Derival2:public Base{

public:

int f() const{

cout<<"Derival2::f()"<<endl;

return 2;

}

};

class Derival4:public Base{

public :

int f(int) const{

cout<<"Derival4::f(int)"<<endl;

return 4;

}

};

class Derival3:public Base{

public :

class sbs3:public sbs{

};

sbs3* f(int){

cout<<"Derival3::f(int)"<<endl;

return &k;

}

private:

sbs3 k;

};

void tune(Base &i)

{

i.f(1);

}

int main()

{

string s("hello");

Derival1 d1;

Derival4 d4;

Derival2 d2;

tune(d1);

tune(d2);

tune(d4);

Derival3 d3;

tune(d3);

}

首先，base基类中定义了四个虚函数：

virtual int f(int) const；

virtual void f(string) const；

virtual sbs* f(int)；

virtual void g() const；

第一个和第二个通过形参表进行重载，第一个和第三个通过const进行重载；

则VTABLE中就有四项表值，分别指向这四个函数；

观察Derival1类中，有四个和Base中一摸一样的四项VTABLE表项；

类Derival2中，对基类的int f(int) const进行了重载(因为传入参数不一样)，为int f() const;所以Derival2中的表项比较Base多了一项int f() const;为5项；注意这里const不能省略，因为如果没有const，默认为virtual sbs* f(int)的重写，但是返回参数不同，导致编译出错。

类Derival3中重写了基类的virtual sbs* f(int)，这里与base 的VTABLE表项区别就是virtual sbs* f(int)；其他都一样都是四项

类Derival4中，由于重写了int f(int) const;所以Derival4和baseVTABLE表项的区别就只是int f() const这一项，其他的都一样；

观察运行结果：

Base::sbs::f()

Base::sbs::f()

Base::sbs::f()

Derival3::f(int)

只有Derival3是正常结果，为何？

因为这里

void tune(Base &i)

{

i.f(1);

}使用的是基本对象，而不是常对象，默认调用virtual sbs* f(int)；

如果将tune改为

void tune(const Base &i)

{

i.f(1);

}

则结果是：

Base::f()

Base::f()

Derival4::f(int)

Base::f()

正常。

主要还是函数的重写和重载，不能搞混了，不然结果很匪夷所思。