子类型是不可逆的。
出自:计算机科学