typescript - 为什么数组 'extend' 在 TypeScript 中是只读数组？

Question

TypeScript 使用“extends”关键字和三元运算符支持条件类型。

评估为 true 的条件类型示例:

type C1 = 7 extends number ? true : false
type C2 = 7 extends number | string ? true : false
type C3 = 7 extends 7 | 'cat' | null ? true : false
type C4 = [1,2,3] extends [1,2,3] ? true : false
type C5 = any[] extends any[] ? true : false

我理解上述条件(即使“扩展”在非 OOP 上下文中看起来很奇怪)。

以下条件我不明白:

type Q1 = any[] extends readonly any[] ? true : false  // evals to true
type Q2 = readonly any[] extends any[] ? true : false  // evals to false

为什么 Q1 的计算结果为 true，而 Q2 的计算结果为 false？我的预期恰恰相反，因为只读数组似乎比通用数组“更具体”。

在这种情况下，“扩展”的真正含义是什么？

我正在使用TypeScript Playground测试这些条件。

Answer 1

extends意思是“是……的子类型”。不多也不少。而“A是B的子类型”意味着“A的每个实例都可以分配给B类型的变量”。再说一次，不多也不少。

所以我们需要问的唯一问题是:是 T[]可分配给readonly T[] ？嗯，readonly T[]允许我们访问数组的元素。 T[]允许我们访问数组的元素并还对其进行变异。所以T[]支持readonly T[]的所有操作然后还有一些。因此，这种关系成立。