从零单排c++ primer(16)
(1)基类的指针或引用的静态类型可能与其动态类型不一致。(2)之所以存在派生类向基类的类型转换是因为每个派生类对象都包含一个基类部分,而基类的引用或指针可以绑定到该基类部分上。(3)一个基类的对象既可以以独立的形式存在,也可以作为派生类对象的一部分存在。(4)编译器在编译时无法确定某个特定的转换在运行时是否安全,这是因为编译器只能通过检查指针或者引用的静态类型来推断该转换是否合法。