从值的排除 (?) 中键入

Question

我知道我可以将类型定义为值的联合：

type Names = 'Alex' | 'Jason' | 'Tony';

但我乐观地认为我可能能够将类型定义为所有但值：

type NotAlex = string | !'Alex'

这可能是一厢情愿，最终我想做的是能够说这样的话：

interface IThingWithTime {
    time: number;
    [key: string]: [number, number];
}

没有编译器告诉我：

“数字”类型的属性“时间”不能分配给字符串索引 输入'[数字，数字]'

Answer 1

目前这是不可能的。有人提议将negated types 和custom index signatures 包含在内，但它们没有进入语言（以及目前的否定类型seem dead）

您可以使用交集类型绕过您引用的错误：

type IThingWithTime = {
    time: number;
} & {
    [key: string]: [number, number];
}

虽然你可能会因为类型不一致而遇到不一致。