3.3.4 字面量类型与类型别名