8.3 将类型层面和实体层面分开来看