如何从函数外部获取其内部作用域变量的类型？

首先明确：TypeScript没有办法直接通过工具类型提取函数内部局部变量的类型。函数内部的变量属于局部作用域，其类型信息对外不可见，类型系统无法穿透函数边界获取这类私有信息。

针对你的需求，有两种可行的替代方案：

一、提取变量类型的通用方案 #

1. 提前定义类型，内部实现遵循类型 #

如果变量的结构是已知的，可以先在函数外部定义好类型，再在函数内部使用该类型约束变量：

// 先导出变量类型
export type MyVarType = {
  // 这里填写myVar的复杂类型结构
  propA: string;
  propB: number[];
};

export function foo() {
  // 用预定义的类型约束变量
  const myVar: MyVarType = {
    propA: "test",
    propB: [1, 2, 3],
  };

  // 后续使用myVar
}

2. 抽离变量创建逻辑到辅助函数，提取返回类型 #

如果变量的结构是动态生成的，没法提前手动定义类型，可以把变量的创建逻辑抽成一个独立的辅助函数，然后通过ReturnType工具类型提取它的返回类型：

// 辅助函数负责创建变量，内部可以包含复杂逻辑
function createMyVar() {
  return {
    propA: "test",
    propB: [1, 2, 3],
    // 其他复杂结构
  };
}

// 提取辅助函数的返回类型作为变量类型导出
export type MyVarType = ReturnType<typeof createMyVar>;

export function foo() {
  const myVar = createMyVar();
  // 后续使用myVar
}

二、针对TypedMessenger场景的具体方案 #

你遇到的问题是：函数内创建的messenger实例，其handler需要访问函数作用域内的变量，同时还要导出handler的类型供通信另一端使用。可以通过将handler的创建逻辑抽成带参数的辅助函数来解决：

// 辅助函数接收需要访问的作用域变量，返回handler对象
function createMessengerHandlers(scopeVar: string) {
  return {
    foo(x: number) {
      // 可以直接访问传入的scopeVar
      console.log(scopeVar);
      return x;
    },
    bar() {
      return "hello";
    },
  };
}

// 提取handler的类型并导出
export type MyHandlers = ReturnType<typeof createMessengerHandlers>;

export function setupMessenger() {
  // 函数作用域内的变量
  const scopeVar = "some internal value";
  // 传入作用域变量创建handler
  const myHandlers = createMessengerHandlers(scopeVar);

  const messenger = new TypedMessenger<TheirHandlers, MyHandlers>();
  messenger.setResponseHandlers(myHandlers);
  return messenger;
}

这种方式既保证了handler能访问函数内部的变量（通过参数传递），又能让handler的类型对外可见，供通信另一端的TypedMessenger实例使用。

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