a.js

interface IOptions {
  name: string;
  sex: 'boy' | 'girl';
}

export interface Base {
  myFn(options: IOptions): number;
}

export class Base {}

b.js

import { Base } from './a';

export default class extends Base {
  myFn(options) {
    console.log(options.name);
    return options.sex === 'boy' ? 1 : 2;
  }
}

问题如下：

如何能实现声明的类中 myFn 函数的 options 参数限制为 IOptions 类型呢？？

现在TS提示的是 参数“options”隐式具有“any”类型。
可以准确限制 myFn 函数的返回值为number，但是限制不了 options 参数

如果 class Base 是空的话,就没有存在的必要，a.js 中把 class Base ,那一行删了。b.js 把 class extends Base 改成class implements Base 就好了。

貌似不行， TS 为默认推断为 any ，而 any 也是符合接口定义的，所以不会报错，只会说参数类型隐式推断为 any 了。唯一解法就是把 option 的类型一起导出，子类再声明一遍。

把 IOptions 也 export

export interface IOptions {
  name: string;
  sex: 'boy' | 'girl';
}

import { Base, IOptions } from './a';

export default class implements Base {
  myFn(options:IOptions) {
    console.log(options.name);
    return options.sex === 'boy' ? 1 : 2;
  }
}