使用 generics + 联合类型从 class 实现抽象方法时的类型安全问题 [Typescript]

Question

我正在尝试实现一个基本 class，它将字符串类型的并集作为泛型类型，然后在抽象方法中使用以这些字符串作为键的字典。

抽象方法的子实现在将其他属性传递给它时不会引发类型错误（但如果没有将属性传递给它，则会正确抛出错误）：

abstract class Parent<T extends string = string> {

    abstract doSomethingWithT(options: { [key in T]: string }): void;

}

class Child extends Parent<"foo" | "morefoo"> {

    /**
     * Would like to error on 'bar'
     */
    doSomethingWithT(arg: { foo: string; morefoo: string; bar: string }) {

    }

}

在 Typescript 中是否有实现此功能的好方法？

Answer 1

对于您所做的事情，您不需要泛型，因为它不会将options的类型转换为子类，因此它不会在这里带来任何利润。

你可以摆脱它。 要使用键轻松创建对象，您可以使用Record 。

abstract class Parent {

    abstract doSomethingWithT(options: { [key: string]: string }): void;

}

class Child extends Parent {

    /**
     * Would like to error on 'bar'
     */
    doSomethingWithT(arg: Record<"foo" | "morefoo", string>) {
        console.log(
            arg.foo,
            arg.morefoo,
            arg.bar, // error
        );
    }

}

const t = new Child();

t.doSomethingWithT({
    foo: 'test',
    morefoo: 'test',
    bar: 'test', // error
    test: '123', // error
});

Answer 2

问题是options: { [k in T]: string }确实匹配{ foo: string; morefoo: string; bar: string } { foo: string; morefoo: string; bar: string } { foo: string; morefoo: string; bar: string }因为它匹配{ foo: string; morefoo: string; } { foo: string; morefoo: string; } { foo: string; morefoo: string; }并且类型的 rest 被忽略。 要执行更严格的匹配，您可以执行以下操作：

abstract class Parent<T extends string = string> {

    abstract doSomethingWithT(options: { [k in T]: string } & Record<string, never>): void;

}

class Child extends Parent<"foo" | "morefoo"> {

    doSomethingWithT(arg: { foo: string; morefoo: string; bar: string }) {

    }

}

never here 确保如果你给它Record<string, never>作为参数它会出错。 如果你给它一个只匹配{ [k in T]: string }的参数，它应该可以工作。

不知道这可能有什么其他副作用：

游乐场链接