关于类型的几个问题