TypeScript接口实现问题：子类作为函数参数不被接受

这个问题本质是TypeScript的函数参数逆变规则在搞鬼：接口要求someFunction能接受所有FooAbstract类型（包括它的任意子类），但如果你直接把参数改成Foo，相当于缩小了可接受的范围——万一外部调用时传入另一个FooAbstract的子类（比如Bar extends FooAbstract），你的函数就处理不了了，所以TypeScript会报错阻止这种不安全的写法。

下面给你几种不同场景下的解决方案：

方案1：给接口添加泛型（最推荐，类型安全且灵活） #

如果允许修改接口，把接口改成泛型，让它支持指定具体的子类类型：

abstract class FooAbstract { 
  constructor(someProp: any) { this.someProp = someProp; } 
  someProp: any; 
}

class Foo extends FooAbstract { 
  constructor(prop: any) { super(prop); } 
  someRandomFunction() { console.log("Something") } 
}

// 修改为泛型接口
interface ExampleInterface<T extends FooAbstract> {
  someFunction: (foo: T) => any;
}

// 实现时指定泛型参数为Foo
class ExampleImpl implements ExampleInterface<Foo> {
  someFunction(foo: Foo) {
    // 可以直接调用Foo独有的someRandomFunction
    foo.someRandomFunction();
    return foo.someProp;
  }
}

这种方式既满足了接口的契约，又能让你的实现精准处理Foo类型，完全符合类型安全要求。

方案2：在函数内部做类型守卫（接口不可修改时用） #

如果接口不能改，那可以在函数内部通过类型检查，确保传入的参数是Foo类型后再处理：

class ExampleImpl implements ExampleInterface {
  someFunction(foo: FooAbstract) {
    // 用instanceof做类型守卫，确认是Foo实例
    if (foo instanceof Foo) {
      foo.someRandomFunction(); // 这里类型会自动推断为Foo，不会报错
      return foo.someProp;
    }
    // 处理非Foo类型的情况，比如抛出错误或返回默认值
    throw new Error("参数必须是Foo类型的实例");
  }
}

这种方式保证了即使外部传入其他FooAbstract子类，也不会出现运行时错误，同时满足接口的类型要求。

方案3：使用函数重载（兼顾类型提示和兼容性） #

如果想让外部调用时，传入Foo能获得更精准的类型提示，同时兼容接口的要求，可以用重载：

class ExampleImpl implements ExampleInterface {
  // 重载签名：明确传入Foo时的类型
  someFunction(foo: Foo): any;
  // 重载签名：符合接口要求的FooAbstract类型
  someFunction(foo: FooAbstract): any;
  // 实际实现
  someFunction(foo: FooAbstract) {
    if (foo instanceof Foo) {
      foo.someRandomFunction();
    }
    return foo.someProp;
  }
}

这样外部调用时，传入Foo实例会自动提示可以调用someRandomFunction，同时也能接受其他FooAbstract子类。

内容的提问来源于stack exchange，提问作者Nejdi Kroi