如何让TypeScript在特定节点完全解析类型别名

复现代码 #

/**
 * @param {ReturnType<typeof n2>} a 
 * @param {string} b
 */
function n1(a, b) { // 错误：'a'在自身类型注解中直接或间接被引用。
  return [a, b]
}

function n2() {
  /** @typedef {Parameters<typeof n1>[1]} T */ // 类型 T = any -- 错误：类型别名'T'循环引用自身。
  return /** @param {T} ol */ (ol) => n1
}

问题描述 #

n1的第二个参数类型明确是string，原本期望类型别名T能解析为string，但实际运行时出现两个错误：

• n1的参数a存在自引用问题
• 类型别名T因循环引用被解析为any

虽然直接把ol的类型写为string能解决这个简单场景，但实际业务场景更复杂，需要让T在n2或其返回值的上下文之外完成求值。

问题原因 #

TypeScript处理类型别名时，会直接将别名替换为对应的类型定义，而当前代码形成了闭环依赖：n1依赖n2的返回类型，n2里的T又依赖n1的参数类型，最终触发循环引用错误。

解决方案 #

方案1：抽离公共类型

把需要复用的类型抽离出来，彻底打破循环：

// 抽离公共类型，作为独立的类型别名
/** @typedef {string} StringType */

/**
 * @param {ReturnType<typeof n2>} a 
 * @param {StringType} b
 */
function n1(a, b) {
  return [a, b]
}

function n2() {
  /** @typedef {StringType} T */
  return /** @param {T} ol */ (ol) => n1
}

方案2：跳过类型别名直接引用

如果场景不适合抽离公共类型，可以直接在参数注解里使用目标类型，避免类型别名带来的循环：

/**
 * @param {ReturnType<typeof n2>} a 
 * @param {string} b
 */
function n1(a, b) {
  return [a, b]
}

function n2() {
  // 直接使用string类型，绕开类型别名的循环引用
  return /** @param {string} ol */ (ol) => n1
}

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