如何从类型中排除索引签名？ [复制]

Question

如果我如下定义我的类型，它将遵循我想要的行为。

interface Foo {}

interface Bar {
    a: string;
    b: boolean;
    c: Foo;
}

type x = keyof Bar; // "a" | "b" | "c"

但是，如果我尝试添加索引签名，它会丢失我所有的预定义成员。

interface Bar {
    [index: string]: any;
}

type x = keyof Bar; // string | number

有没有办法在 TypeScript 中正确执行此操作？

类似于：

type x = Exclude<Bar, { [index: string]: any }>; // never

---

编辑 我尝试了类似于 Jake 的解决方案并得到了这个：

interface Indexable<T> {
    [index: string]: any;
}
type BaseType<T> = T extends Indexable<infer U> ? U : never;

interface BaseFoo {
    Name: string;
}
interface Foo1 extends Indexable<BaseFoo> {}
type Foo2 = Indexable<BaseFoo>;

type base1 = BaseType<Foo1>; // {}
type base2 = BaseType<Foo2>; // BaseFoo

Foo1 不起作用，由于某种原因，其类型信息变为{}。 Foo2 确实 工作，但智能感知不会为 Foo2 类型的变量说 Foo2。他们改为Indexable<BaseFoo>。

我真的很想尝试对我的用户隐藏这种类型的按摩。不幸的是，让他们从Indexable<T> 到T 来回转换是不可行的。

Answer 1

回答

对于具有索引签名的东西没有通用的方法。

另类

在添加索引签名之前获取密钥：

interface Foo {}

interface BarCore {
    a: string;
    b: boolean;
    c: Foo;
}


type Bar = BarCore & {
    [index: string]: any;
}

type X = keyof BarCore; // a|b|c

更多

PS：尽量不要在根级别将索引签名与有效道具混合。而是使用nested object pattern

Answer 2

不，因为这是正确的行为。 string | "x" 将简化为 string，因为 "x" extends string 为真。当您只定义 string 索引签名时，您会得到 string | number，因为 JavaScript 会将数字索引转换为对象上的字符串索引。

如果您想要您正在寻找的行为，您将需要更改您的接口定义。

interface Foo {}

interface Bar {
    a: string;
    b: boolean;
    c: Foo;
}

interface IndexedBar extends Bar {
    [ key: string ]: any;
}

type x = keyof Bar; // "a" | "b" | "c"

另请注意，在某些情况下，您不会对 IndexedBar 进行正确的类型检查。

function setValue(obj: IndexedBar, key: string, value: any): void {
    obj[key] = value;
}

setValue(bar, "a", 4); // No error, even though a is explicitly a string.