什么是父类指针
父类指针也可以称为基类指针,当父类(基类)指针指向派生类(子类)指针的时候,可以触发“多态的效果”。不过本文的重点不在“多态”,而是聊聊当父类指针和子类指针互相赋值时需要注意的问题。
废话不多说,直接看代码~
假设我们有两个类,一个是Base
父类,另一个是Derived
子类。
class Base //父类
{
public:
virtual int fun() ; // 虚函数
};
int Base::fun() // virtual 字段不用在函数体时定义
{
std::cout << "Base::fun()" << std::endl;
}
class Derived: public Base //子类
{
public:
int fun();
int derived_fun();
int derived_fun_fun();
private:
int dummy = 1;
};
// 继承父类的函数
int Derived::fun() {
std::cout << "Derived::fun()" << std::endl;
}
// 子类独有函数
int Derived::derived_fun() {
std::cout << "Derived::derived_fun()" << std::endl;
std::cout << this->dummy << std::endl;
}
// 子类独有函数 且调用父类继承的函数
int Derived::derived_fun_fun() {
std::cout << "Derived::derived_fun_fun()" << std::endl;
fun();
}
好了,类的定义完了,我们来执行:
代码语言:javascript复制Base base;
base.fun();
Derived derived;
derived.fun();
很简单可以预料到输出结果,其中子类Derived重载了父类Base的fun()函数:
代码语言:javascript复制Base::fun()
Derived::fun()
然后我们尝试执行将子类的指针(或者地址)赋予给父类指针:
代码语言:javascript复制Base* base_ptr = new Derived; // 赋予指针
base_ptr->fun();
base_ptr = &derived; // 赋予地址
base_ptr->fun();
输出也很容易可以预料到,这里其实就是多态,如果我们将不同的子类指针赋予父类指针,那么也将会执行不同子类重载后的函数:
代码语言:javascript复制Derived::fun()
Derived::fun()
但是需要注意,将子类指针赋予父类之后,是不能够访问到子类自己的成员函数的:
如果你尝试通过父类指针调用子类自己的方法则编译无法通过。关于这点,较为直观的解释借用了知乎Shiyang Ao
的回答:
子类指针能指向父类对象吗?
正如上文所说,派生类指针原则上不能指向基类对象,但其实我们仍然可以强行转换:
代码语言:javascript复制Base base;
base.fun();
Derived* from_base_ptr = static_cast<Derived *>(&base);
from_base_ptr->fun();
from_base_ptr->derived_fun();
from_base_ptr->derived_fun_fun();
那么这样会不会出错呢,base这个对象由基类创造,是不可能包含derived_fun
和derived_fun_fun
的定义,但如果我们执行上述代码…
竟然打印出来了!
代码语言:javascript复制Derived::derived_fun()
Derived::derived_fun_fun()
Derived::fun()
为什么会有这种情况,其实这段代码在编译的时候触发了C 的静态绑定,也就是说类中的非虚函数,是在编译的时候绑定函数地址,即在编译器阶段就已经确定了函数的地址。实际上下面的这段代码在编译后是这个样子的:
代码语言:javascript复制// 编译前
class Derived: public Base //子类
{
public:
int fun();
int derived_fun();
int derived_fun_fun();
};
// 编译后
public:
int fun(Derived* this);
int derived_fun(Derived* this);
int derived_fun_fun(Derived* this);
};
而我们实际调用的时候,即使derived_fun(Derived* this)
中Derived*参数传过来的不对,但在该函数内部并没有使用该参数,所以其不影响函数的运行(derived_fun函数内部仅仅执行了打印函数而已),当然也不会报错了。
但如果Derived的成员函数用到了其成员变量,亦或是这个函数是虚函数,我们再试试看:
代码语言:javascript复制class Derived: public Base //子类
{
public:
int fun();
int derived_fun();
int derived_fun_fun();
private:
// 这里加一个成员变量 初始化为1
int dummy = 1;
};
// 子类独有函数中还需要打印 this->dummy
int Derived::derived_fun() {
std::cout << "Derived::derived_fun()" << std::endl;
std::cout << this->dummy << std::endl;
}
这样的话,再执行上述的演示代码。
代码语言:javascript复制Base base;
base.fun();
Derived* from_base_ptr = static_cast<Derived *>(&base);
from_base_ptr->fun();
from_base_ptr->derived_fun();
from_base_ptr->derived_fun_fun();
打印结果:
代码语言:javascript复制Base::fun()
Derived::derived_fun()
175771685
Derived::derived_fun_fun()
仍然可以执行,但dummy变成了一个随机数(类中初始化为1)!
并且如果derived_fun
函数设为虚函数virtual int derived_fun()
,那么上述代码执行到from_base_ptr->derived_fun()
时会触发**EXC_BAD_ACCESS (code=1, address=0x0)**的错误!
所以说,我们通过static_cast
强行将父类对象转换为子类会导致一些奇怪的现象(不使用static_cast则无法进行转换),而且编译器是禁止我们这么做的(使用static_cast),会建议我们使用dynamic_cast
:
不过话说回来,如果这个基类指针是由派生类转换过来的,那么是可以正常转换的,即使派生类包含了非虚函数以及需要解引用,下面的代码是没有任何问题的:
代码语言:javascript复制Base* base_ptr = new Derived;
base_ptr->fun();
Derived* derived_ptr = static_cast<Derived*>(base_ptr);
derived_ptr->fun();
derived_ptr->derived_fun();
derived_ptr->derived_fun_fun();
从上面的示例代码可以得到一些结论:
- 子类实例指针转型为父类实例指针,不需要显式转换;
- 父类指针转换为子类指针是不建议的,如果确实需要则建议使用
dynamic_cast
;
那啥是dynamic_cast。
dynamic_cast
dynamic_cast是啥,dynamic_cast这个操作运算符主要是用来执行安全向下转型,如果我们的转换目标是指针类型且转换失败,那么得到的结果为nullptr,如果转换目标是引用类型而且失败了,则会抛出std::bad_cast
异常。
也就是说,我们如果将Base类型的对象,通过dynamic_cast转换为Derived类型的对象时,我们可以看到下图中from_base_ptr
这个指针是NULL,这个NULL用来来通知调用者对指针做 dynamic_cast
失败了。
不过关于dynamic_cast
运算符啊,我们最好还是少用,毕竟谷歌爸爸的Google Style Guides里头可是说,当你使用了dynamic_cast
运算符,代表着你的设计不合理,需要重新设计~
另外dynamic_cast
是无法用于非多态的对象的,这点需要注意。总而言之,我们为什么要使用dynamic_cast
呢,那就是将这个脏活交给程序去处理,这显然是不好的。
因此,在实际应用中,能在编译时解决掉的问题不要留到运行时、能用多态搞定的事情也没必要使用dynamic_cast或typeid。