如何让TypeScript识别retry回调已执行并处理其副作用类型

TypeScript 的控制流分析默认不会跨函数边界追踪回调函数的执行副作用——毕竟普通函数完全可能把传入的回调缓存起来延后执行、甚至根本不执行，TS 无法静态分析所有调用路径确认回调的执行时机。有两种可行方案可以解决这个报错：

方案1：用断言函数标记同步执行逻辑（适合回调100%同步必执行的场景） #

TS 3.7 引入的断言签名（Assertion Signatures）可以让你手动给TS做担保：标记函数执行后会完成指定的类型收窄/副作用。对于示例里同步立即执行回调的retry，只需要给函数加上断言返回类型，TS就会信任回调已被同步执行，正确识别闭包内的变量赋值：

let code: number;

retry(() => {
  code = 123;
});

// 此处不再报"Variable 'code' is used before being assigned"错误
const msg = `Your code is: ${code}!`;
console.log('msg:', msg);

// 加上asserts标记，告知TS该函数会同步执行传入的cb
function retry(cb: () => void): asserts cb is () => void {
  cb();
}

注意：这个方案有严格适用前提，必须保证retry内一定会同步执行至少一次传入的回调。如果后续给retry加了异步重试、条件跳过回调、提前抛出错误等逻辑，这个类型标注会产生虚假的类型安全感，运行时可能出现code实际未赋值的问题。

方案2：收敛返回值（通用推荐方案，无类型安全隐患） #

最稳妥、最符合TS设计习惯的写法是不要依赖闭包变量赋值，直接把回调的执行结果通过retry返回，从根源上避开跨函数的副作用追踪问题，不管retry内部是同步重试还是异步重试都能正确推导类型：

// 泛型标记返回值类型，和回调返回值保持一致
function retry<T>(cb: () => T): T {
  // 内部可以自由加重试逻辑，比如失败重跑3次、异常捕获等
  return cb();
}

// 直接获取返回值，TS能正确推导code是number类型
const code = retry(() => {
  return 123;
});

const msg = `Your code is: ${code}!`;
console.log('msg:', msg);

如果是异步重试的场景，只需要把类型改成Promise<T>即可，逻辑完全一致。

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