TypeScript泛型接口方法实现时类型访问异常问题求助

你遇到的问题核心在于：实现类里给泛型T设置的= MyOptions只是默认类型，不是类型约束。TypeScript仍然认为T可以是任何符合接口要求（extends Record<string, unknown>）的类型，自然无法保证T一定包含foo属性，所以会报错。

根据你的需求（参数结构由实现类决定），有几种可行的调整方式：

方式1：给实现类的泛型添加约束 #

如果实现类的doSome方法只处理包含foo的类型，可以给T加上extends MyOptions的约束，同时满足接口的要求：

type MyOptions = {
    foo: string
}

interface TestInterface {
    doSome<T extends Record<string, unknown>>(value: T): void
}

class TestClass implements TestInterface {
    // 给T加上extends MyOptions的约束
    doSome<T extends MyOptions>(value: T): void {
        value.foo // 不再报错
    }
}

方式2：把接口定义为泛型接口 #

如果希望每个实现类都可以指定自己的参数类型，更合理的做法是把整个接口改成泛型：

type MyOptions = {
    foo: string
}

// 接口本身带泛型参数
interface TestInterface<T extends Record<string, unknown>> {
    doSome(value: T): void
}

// 实现类指定具体的泛型类型
class TestClass implements TestInterface<MyOptions> {
    doSome(value: MyOptions): void {
        value.foo // 正常访问
    }
}

方式3：直接指定参数类型（非泛型场景） #

如果这个实现类的doSome方法只处理MyOptions类型，完全可以不用泛型，直接写死参数类型：

type MyOptions = {
    foo: string
}

interface TestInterface {
    doSome<T extends Record<string, unknown>>(value: T): void
}

class TestClass implements TestInterface {
    doSome(value: MyOptions): void {
        value.foo // 正常访问
    }
}

这种写法也符合接口要求，因为MyOptions是Record<string, unknown>的子类型。

内容的提问来源于stack exchange，提问作者Karim Stekelenburg