类型 字面 别名 字符串