typeScript中类型别名和字符串字面量类型、元组的运用