VSCode等编辑器能否自动提示符合类型约束的合法任务变量？

编辑器自动提示的实现 #

直接用当前代码的写法，显式指定<AllowedTasks>后，编辑器不会主动筛选出仅easyTask/hardTask。这是因为TypeScript的变量提示逻辑是先列出当前作用域的所有可用变量，再校验是否符合类型约束，而非提前根据泛型约束过滤变量。

但可以调整TaskRunner的方法定义，让提示精准匹配：

class TaskRunner {
  // 将泛型约束直接限定为AllowedTasks
  performTasks<T extends AllowedTasks>(tasks: T[]) {
    tasks.forEach((t) => t.perform());
  }
}

修改后：

• 调用时省略泛型参数（runner.performTasks([），TypeScript会自动推断类型为AllowedTasks，编辑器会自动过滤invalidTask，只提示符合要求的变量。
• 显式指定<AllowedTasks>时，编辑器会基于参数类型AllowedTasks[]，在输入数组元素时仅提示easyTask和hardTask。

项目范围内的全局实现 #

要在整个项目中实现该效果，可采用以下两种方案：

• 固定参数类型：如果所有TaskRunner实例都只处理AllowedTasks，直接去掉泛型，将参数类型固定为AllowedTasks[]：

  class TaskRunner {
    performTasks(tasks: AllowedTasks[]) {
      tasks.forEach((t) => t.perform());
    }
  }
  

  这样任何实例调用该方法时，输入数组都会自动提示符合类型的变量。
• 全局导出类型别名：将AllowedTasks定义为全局类型（比如放在项目的global.d.ts声明文件中），这样项目所有文件中，只要显式指定performTasks<AllowedTasks>，编辑器都会依据该约束过滤变量提示。

注：当前代码中传入invalidTask触发类型错误是预期行为，因为InvalidTask不属于AllowedTasks的类型范围。

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