TypeScript泛型继承为何报属性缺失错误？如何修复？

第一个案例的错误原因 #

你定义的FooAdapter接口里，method是泛型方法，这意味着任何实现该接口的类，它的method必须能接受所有BaseFoo的子类作为参数。但ConcreteFooAdapter里的method只接受ConcreteFoo，相当于把参数范围缩小了——这违反了接口的契约：接口承诺能处理所有BaseFoo类型，你的实现却只处理ConcreteFoo，TypeScript自然会报错，因为如果传入一个纯BaseFoo实例（没有value属性），你的方法根本无法处理。

修复方案 #

最合理的方式是把泛型从方法层面移到接口层面，让每个适配器类绑定特定的Foo类型：

interface BaseFoo {}

// 泛型定义在接口上，指定该适配器处理的Foo类型
interface FooAdapter<F extends BaseFoo> {
  method(foo: F): string;
}

interface ConcreteFoo extends BaseFoo {
  value: string;
}

// 实现时绑定ConcreteFoo类型
class ConcreteFooAdapter implements FooAdapter<ConcreteFoo> {
  method(foo: ConcreteFoo): string {
    return foo.value;
  }
}

这样接口和实现的类型完全匹配，TypeScript不会再报错。

如果一定要保留方法泛型（不推荐，违背接口设计初衷），可以让方法参数兼容所有BaseFoo，并通过类型守卫处理特定类型：

interface BaseFoo {}

interface FooAdapter {
  method<F extends BaseFoo>(foo: F): string;
}

interface ConcreteFoo extends BaseFoo {
  value: string;
}

class ConcreteFooAdapter implements FooAdapter {
  method(foo: BaseFoo): string {
    // 类型守卫判断是否是ConcreteFoo
    if ('value' in foo) {
      return (foo as ConcreteFoo).value;
    }
    throw new Error('不支持该类型的Foo');
  }
}

补充案例的错误原因 #

第二个案例的问题和第一个完全一致：BarAdapter的method是泛型方法，要求实现类能接受任意类型的参数，但ConcreteBarAdapter的method只接受Bar类型，这不符合接口要求——调用方可以传入number、string等任意类型，你的方法却只接受Bar，TypeScript因此报错。

修复方案 #

同样把泛型移到接口层面：

// 泛型定义在接口上
interface BarAdapter<F> {
  method(bar: F): string;
}

type Bar = {
  value: string;
}

// 实现时绑定Bar类型
class ConcreteBarAdapter implements BarAdapter<Bar> {
  method(bar: Bar): string {
    return bar.value;
  }
}

这样接口明确了该适配器处理的是Bar类型，实现类的方法参数也完全符合要求，错误就解决了。

内容的提问来源于stack exchange，提问作者Yanick Rochon