typescript - typescript 代码中的 T[number] 是什么意思？

Question

首先在 http://www.typescriptlang.org/docs/handbook/advanced-types.html#example-1 中找到了代码

然后在 typescript 代码库中找到了这个类似的代码:
https://github.com/microsoft/TypeScript/blob/master/tests/cases/conformance/types/conditional/conditionalTypes1.ts#L75

type KnockoutObservable<T> = { object: T };
type KnockoutObservableArray<T> = { array: T };

type KnockedOut<T> = T extends any[] ? 
                       KnockoutObservableArray<T[number]> : 
                       KnockoutObservable<T>;

type KnockedOutObj<T> = {
    [P in keyof T]: KnockedOut<T[P]>;
}

代码中的 T[number] 是什么意思？

在 typescript 手册示例中，它说

the element type of the array as T[number]

在操场上测试时(仅用于测试)，替换 T[number]与 T或 T[any]好像没什么区别，但是不能用 T[string]代替(为什么？)。
[number]之后 T似乎不是索引。

Answer 1

Array使用 index signature 声明，像这样:

interface ArrayMaybe<Element> {
    [index: number]: Element;
}

(我叫这个 ArrayMaybe 因为我没有特意复制 Array 的声明，和它无关。)

索引签名表明一个类型可以具有使用该类型的任何值作为键或索引的属性，但在每个这样的键/索引处具有相同类型的值。所以 ArrayMaybe<number>可以在 0 处有值, 1 , 42 ，等等，但只要有这样的属性，属性的值就会是 number .

来自事物的另一面，谈论某种类型时 T , T[____]引用了 T 的某些特定属性.所以 { foo: 'bar'; }['foo']将引用类型 'bar' .在我们上面看到的索引签名的情况下，我们可以使用 T[number]引用该索引签名的类型 - 在 ArrayMaybe 的情况下，即 Element .这正是它在您的示例中的使用方式。

您不能使用 T[string]因为 Array没有字符串索引签名。你可以使用这些，但 Array没有。由于它没有字符串索引签名， T[string]不合法。您可以使用 T['length'] ，不过，因为 Array确实有一个带有那个特别字符串的属性。使用 string或 number指任何需要索引签名的字符串或数字。

对于字符串索引签名的示例，请考虑

interface Dictionary<Value> {
    [key: string]: Value;
}

有了这个，我们可以使用 T[string]当 T是一些 Dictionary ——和 T[string]将是 Value .

综上所述，我个人更喜欢使用专用的环境类型来引用数组的元素，如下所示:

type ElementOf<T extends unknown[] | readonly unknown[]> = T[number];

然后从那时起您就可以使用 ElementOf<T>而不是 T[number] .我发现这比使用 T[number] 更具可读性和清晰性.