### 题目描述判定一个给定的字符串是否是固定的字符串字面量类型，以下的条件应该返回`false` - never 类型 - 字符串字面量联合类型 e.g.: `a | b` - 带嵌入字符串、数字、bigint、布尔值的模板字面量类型 ```typescript import type { Equal, Expect } from '@type-challenges/utils' type testcase = | Expect, true>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, false>> | Expect, true>> | Expect, true>> | Expect, true>> | Expect, true>> | true ``` ### 解题思路按照题目要求，很容易判断出需要处理联合类型以及never，这两个都比较简单，关键是如何处理字符串中嵌入类型的模板字面量。其实还是可以通过类型约束来一个个判断，我们可以通过递归去逐个获取字符串的第一个字符，然后判断各种类型是否属于它即可 ```typescript // 判断是否是联合类型 type isUnion = T extends any ? (U extends T[] ? false : true) : never; type isNever = [T] extends [never] ? true : false; // 重点，在这里对各种模板字面量去进行约束比较，如果符合，那它一定是宽泛的模板类型 type isFixed = string extends T ? false : `${number}` extends T ? false : `${bigint}` extends T ? false : `${boolean}` extends T ? false : true; type isFixedString = T extends `${infer F extends T[0]}${infer R}` ? isFixed extends false ? false : isFixedString : isFixed; // 注意这里最后一步还需要比较一次，因为可能直接是string这种字面量类型 type IsFixedStringLiteralType ~~= isUnion ~~extends true ? false : isNever ~~extends true ? false : isFixedString~~; ```~~~~~~~~