如何基于TypeScript类型系统的条件限制调用含this参数的方法

你的代码之所以没有触发错误，核心原因是TypeScript的结构类型系统：Klass<true>和Klass<false>的类结构完全一致（仅泛型参数不同，类内部没有其他区分两者的成员），因此TS认为这两个类型是兼容的，即使create方法指定了this: Klass<true>，Klass<false>的实例依然可以通过类型检查。

下面提供两种可行的解决方案：

方案一：添加私有标签属性区分泛型实例 #

通过给类添加一个私有属性作为类型标签，让不同泛型参数的Klass实例类型不再兼容：

// condition 
type IsAllowed = false;

class Klass<Cond = IsAllowed> {
    // 私有属性作为类型标记，区分不同泛型参数的实例
    private readonly _typeTag: Cond = null!;
    
    create(this: Klass<true>) {
        return {
            bar: "bar"
        }
    } 
}

const foo = new Klass; // 类型为 Klass<false>
foo.create(); // 报错：The 'this' context of type 'Klass<false>' is not assignable to method's 'this' of type 'Klass<true>'.

方案二：用条件类型控制方法的存在性 #

直接通过条件类型定义，让create方法仅在Cond为true时存在于类类型中：

// condition 
type IsAllowed = false;

// 条件方法类型：仅当Cond为true时包含create方法
type KlassMethods<Cond> = Cond extends true 
  ? { create(): { bar: string } } 
  : {};

class Klass<Cond = IsAllowed> implements KlassMethods<Cond> {
    create() {
        return {
            bar: "bar"
        }
    }
}

const foo = new Klass; // 类型为 Klass<false>
foo.create(); // 报错：Property 'create' does not exist on type 'Klass<false>'.

两种方案的差异：

• 方案一保留了create方法的定义，但通过类型不兼容阻止非法调用；
• 方案二让非法场景下的类类型直接没有create方法，错误提示更直观。

内容的提问来源于stack exchange，提问作者Vincent J