只要是类M继承了类N,就可以说类M是类N的子类型。
出自:计算机科学