30. LengthOfString

[astak16]

题目

题目链接：LengthOfString，解答

实现 LengthOfString，获取字符串的长度：

import type { Equal, Expect } from "@type-challenges/utils";

type cases = [
  Expect<Equal<LengthOfString<"">, 0>>,
  Expect<Equal<LengthOfString<"kumiko">, 6>>,
  Expect<Equal<LengthOfString<"reina">, 5>>,
  Expect<Equal<LengthOfString<"Sound! Euphonium">, 16>>
];

答案

方法一

type StringToArray<T extends string> = T extends `${infer F}${infer Rest}`
  ? [F, ...StringToArray<Rest>]
  : [];
type LengthOfString<T extends string> = StringToArray<T>["length"];

知识点

1. 在 js 中计算字符串的长度，直接用 length 就可以获取字符串的长度
2. 所以在 ts 类型中，"aa"["length"] 得到的结果是 number
3. 有 length 属性的还有元组类型
4. 通过将字符串转换成元组，在取它的 length 属性，不就拿到元组的长度了么
5. 元组的长度也就是字符串的长度

方法二

type LengthOfString<
  T extends string,
  R extends string[] = []
> = T extends `${infer F}${infer Rest}`
  ? LengthOfString<Rest, [F, ...R]>
  : R["length"];

方法三

type LengthOfString<T extends string, R extends string[] = []> = T extends ""
  ? R["length"]
  : T extends `${infer F}${infer Rest}`
  ? LengthOfString<Rest, [F, ...R]>
  : never;

知识点

方法二、方法三的思路和方法一是一样的，区别在于：

• 方法二、方法三将字符串转换成的元组作为自己的第二个参数
• 方法一是生成一个独立的元组