javascript - typescript 中对象的通用类型数组

Question

然后给出以下内容:

interface Datum {
    [k: string]: any
}

type Data = Datum[]

const inner = (data: Data) => {
    console.log(data)
};


const outer = (data: Data | Data[]) => {
    inner(data) // expect type error?
};

我不明白如何在内部函数调用 中没有出现类型错误。我想这与 generic 有关。想不出重写的方法。

Answer 1

Datum 界面太宽泛了。它将基本上表示任何对象(即可由字符串索引并且索引操作的结果是any)。

由于对象类型太宽，Datum 和 Datum[] 和 Datum[][] 都可以分配给数组类型，因此您不会收到任何错误。让界面更具体一点，你会得到一个错误。例如:

interface Datum {

    [k: string]: boolean | number | string;
}

type Data = Datum[]

const inner = (data: Data) => {
    console.log(data)
};


const outer = (data: Data | Data[]) => {
    inner(data) // error now
};

或者正如@PatrickRoberts 在评论中提到的，您可以向接口(interface)添加一个 number 索引，使其与数组明确不兼容:

interface Datum {
    [i: number]: never
    [k: string]: any;
}

type Data = Datum[]

const inner = (data: Data) => {
    console.log(data)
};


const outer = (data: Data | Data[]) => {
    inner(data) // error
};