【typescript】推断字面量联合类型的几种方式