关于多态的四种形式，子类型化（一个类型是另一个类型的子类型）属于哪种多态形式？而哪种多态是指同一个名字在不同上下文中可代表不同的含义？

子类型化（一个类型是另一个类型的子类型）属于包含多态。因为包含多态允许同样的操作可用于一个类型及其子类型。而“过载多态是指同一个名字在不同上下文中可代表不同的含义”，所以第二个空应填C。