自定义TSLint规则检查函数参数可赋值性（无双变量）

Question

我只是偶然发现TypeScript并不是非常严格地检查函数的可赋值性： https ： //www.typescriptlang.org/docs/handbook/type-compatibility.html#function-parameter-bivariance

不幸的是，对于某些模式参数，双向性错过了重要的类型检查。 所以我想知道是否有可能建立一个自定义TSLint规则告诉我何时做这样的事情：

interface Base {}
interface BaseEx extends Base { x; }

let fn1: (a: Base) => void;
let fn2: (b: BaseEx) => void;

fn1 = fn2; // TSLint: parameter (a: BaseEx) is not assignable to (b: Base)

但是，有关创建自定义TSLint规则的文档似乎相当不完整，我只找到了一个纯语法检查的单个示例。 如果您能告诉我一个资源来学习如何使用像这样的语义规则来扩展TSLint，我将非常高兴。

Answer 1

在寻求实现自定义规则时，TSLint源代码是一个有用的指导资源。 TSLint仓库中提供了所有内置规则的源代码。 大多数规则不需要访问类型信息。 但是，有两个做：

• no-for-in-array的no-for-in-array规则; 和
• restrict-plus-operands规则。

这些规则使用ProgramAwareRuleWalker ，它通过TypeChecker使规则可以使用类型信息。

对于如何将一些信息TypeChecker可以在使用打字稿编译器API documenation 。

如果启用了使用ProgramAwareRuleWalker规则，则必须使用--type-check选项运行--type-check并且还必须指定--project 。