能否将type作为函数参数传递？是否可使用泛型实现该需求

结论先行 #

TypeScript 的type是纯编译期静态标识，编译为 JavaScript 时会被完全擦除，不存在任何运行时信息，因此不能直接作为函数参数传递，你给出的示例代码无法直接运行。

要实现你想要的「运行时判断参数类型、走对应分支」的需求，有以下两种常用实现方案：

方案1：类型守卫+运行时结构校验 #

如果你需要对任意入参做类型判断，可以先定义类型守卫函数，同时完成运行时结构校验和编译期类型推导：

// 定义你的类型
type TYPE_A = {
  name: string
  age: number
}

// 类型守卫函数，返回值是「类型谓词」，TS会自动基于返回值做类型推断
function isTypeA(value: unknown): value is TYPE_A {
  return (
    typeof value === 'object'
    && value !== null
    && 'name' in value
    && 'age' in value
    && typeof (value as TYPE_A).name === 'string'
    && typeof (value as TYPE_A).age === 'number'
  )
}

// 业务函数实现
function foo(param: unknown) {
  if (isTypeA(param)) {
    // 此处param会被TS自动识别为TYPE_A类型，可以直接调用对应属性
    console.log(param.name, param.age)
  } else {
    // 其他分支逻辑
  }
}

方案2：可辨识联合+泛型约束 #

如果你可以提前约定入参的公共标识字段，用可辨识联合搭配泛型的写法更简洁，运行时判断成本也更低：

// 给每个类型加唯一的type标识字段
type TYPE_A = {
  type: 'a'
  name: string
}
type TYPE_B = {
  type: 'b'
  id: number
}

// 泛型约束入参必须是约定好的联合类型
function foo<T extends TYPE_A | TYPE_B>(param: T) {
  if (param.type === 'a') {
    // 自动推断为TYPE_A
    console.log(param.name)
  } else {
    // 自动推断为TYPE_B
    console.log(param.id)
  }
}

特殊场景：需要传递「类型构造器」 #

如果你要实现的是基于传入的类型生成对应实例的逻辑，可以直接把类作为参数传递——类是JavaScript运行时真实存在的构造函数，不会被擦除：

class TYPE_A {
  name = 'test'
}

function foo<T>(Clazz: new () => T) {
  const instance = new Clazz()
  // instance的类型会自动推导为T
  console.log(instance.name)
}

// 调用时直接传入类即可
foo(TYPE_A)

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