举个例子来说明一下,A 代指鸟类,B是A的子类,B用鸡来表示,C也是A的子类,C用鸭来表示,所以A *a=new B是正确的。A *a=new C也是正确的对吧!假设你拿着钱去上街买肉,钱多买鸡,钱少买鸭,反正最后得买东西,买用buy()方法来表示,那么buy()方法要么返回鸡,要么返回鸭,所以A *a=buy()是正确的,但是如果写成B *b=buy()的话就有可能出错,因为还有可能买鸭回来。所以说扩展类是不可预知滴!A *a=new B只是一种教科书里面通用的方法,旨在让你逐渐地习惯这种编程思想,写成B
*b=new B 也是完全正确的,因为确实像你说的那样这里B已经给出来了,但是随着编程的深入,使用new运算符的机会会变得越来越少……将不可预知的变量赋值给通用的类型是最妥当的方法,这种方法俗称:向上类型转换