原型与类型的关系