#include <iostream>
using namespace std;
class base
{
public:
virtual void fun()
{
cout<<"base"<<endl;
}
};
class son:public base
{
public:
void fun()
{
cout<<"son"<<endl;
}
void sonfun2()
{
cout<<"fun2"<<endl;
}
};
void dis(base &s)
{
s.fun();
}
int main()
{
base *a =new son;
a->sonfun2();
return 0;
}
编译错误:main.cpp:31:8: error: 'class base' has no member named 'sonfun2
c++ primer 第四版 p498:
对象,引用或指针的静态类型决定了对象能够完成的行为,甚至当静态类型和动态类型可能不相同的时候,就像使用基类类型的引用或指针可能会发生的,静态类型仍然决定者可以使用什么成员。
就像上面的代码指向son对象的base指针(或引用),只能访问对象的基类部分,而在基类中没有定义sonfun2()所以不能访问。
c++primer 第四版 对触发动态绑定的要求 p479
c++的函数调时默认不使用动态绑定,要想触发动态绑定,必须满足2个条件,:第一,只有指定为虚函数的成员函数才能进行动态绑定,成员函数默认为非虚函数,非虚函数不能进行动态绑定。第二,必须通过基类类型的引用或指针进行函数调用。(对象不可以,会发生切割,详见effectic++)。
再来看看为什么有的时候要用虚析构函数吧。
#include <iostream>
using namespace std;
class base
{
public:
virtual void fun()
{
cout<<"base"<<endl;
}
base(){}
~base()
{
cout<<"this is base"<<endl;
}
};
class son: public base
{
public:
void fun()
{
cout<<"son"<<endl;
}
void sonfun2()
{
cout<<"fun2"<<endl;
}
int ss;
son():base(),ss(5){} //调用基类构造函数初始化基类部分
~son()
{
cout<<"this is son"<<endl;
}
};
void dis(base &s)
{
s.fun();
}
int main()
{
base *a =new son;
delete a;
return 0;
}
输出的是基类的部分的,证明调用的是基类的析构函数(因为,指针类型是基类,析构函数非虚,只能调用基类自己的析构函数)。这时son的ss成员没有释放,造成了内存泄露。
将析构函数声明为虚:
#include <iostream>
using namespace std;
class base
{
public:
virtual void fun()
{
cout<<"base"<<endl;
}
base(){}
virtual ~base()
{
cout<<"this is base"<<endl;
}
};
class son: public base
{
public:
void fun()
{
cout<<"son"<<endl;
}
void sonfun2()
{
cout<<"fun2"<<endl;
}
int ss;
son():base(),ss(5){} //调用基类构造函数初始化基类部分
~son()
{
cout<<"this is son"<<endl;
}
};
void dis(base &s)
{
s.fun();
}
int main()
{
base *a =new son;
delete a;
return 0;
}
输出两行显示,son的再是base的 (调用派生类的析构函数时先调用派生类自己的析构函数,再调用基类的析构函数)。
以上内容如有错误,不恰当之处,,欢迎批评指正。