Func1返回unknown类型无法适配Func2返回值类型的解决方案咨询

问题场景 #

现有两个函数：func1() 和 func2()，func2() 内部调用 func1() 并直接返回其结果。类型定义如下：

// func1 返回类型
interface Func1 {
  [key: string]: unknown;
}

// func2 返回类型
interface Func2 {
  my_key: string;
}

// 当前报错的实现
func2() {
  return func1(); // 报错：func1返回值不包含my_key键，unknown无法自动适配string类型
}

需求是：无需列出func2()返回值的所有键，同时保持func1()的通用性（被多个不同函数调用，各函数有不同的具体返回类型）。

可行修复方案 #

1. 泛型函数改造（推荐） #

将func1()定义为泛型函数，调用时指定具体返回类型，既保留通用性，又能让TypeScript自动适配目标类型：

// 修改func1为泛型，约束为符合原通用结构的类型
function func1<T extends Func1>(): T {
  // 原func1的业务逻辑不变，仅类型适配
  return {} as T;
}

// func2调用时指定Func2类型
function func2(): Func2 {
  return func1<Func2>();
}

这种方式无需手动枚举目标类型的所有键，泛型约束确保了具体类型兼容func1()的通用结构，同时支持不同函数指定各自的返回类型。

2. 类型断言（快速临时修复） #

直接通过类型断言告诉TypeScript当前返回值符合目标类型，适合能确保运行时数据正确性的场景：

function func2(): Func2 {
  return func1() as Func2;
}

注意：此方式跳过了TypeScript的类型检查，若运行时func1()返回值不符合Func2结构，会引发运行时错误。

3. 类型守卫（兼顾类型安全与运行时验证） #

编写类型守卫函数在运行时验证返回值结构，通过验证后TypeScript会自动推断类型：

// 类型守卫函数，验证是否符合Func2结构
function isFunc2(obj: unknown): obj is Func2 {
  return (
    typeof obj === 'object' &&
    obj !== null &&
    'my_key' in obj &&
    typeof (obj as Func2).my_key === 'string'
  );
}

function func2(): Func2 {
  const result = func1();
  if (!isFunc2(result)) {
    throw new Error('func1返回值不符合Func2类型要求');
  }
  return result;
}

这种方式最安全，同时满足编译时类型检查和运行时数据验证，但需要编写对应的守卫逻辑。

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