TypeScript能否为推断返回值命名专属类型？

核心思路 #

TypeScript默认采用结构类型系统，只要两个类型结构一致就会被视为兼容。要实现「仅允许特定函数返回的对象被识别为Student类型」的需求，可通过**品牌类型（Branded Types）**实现——添加一个仅存在于类型层面的「品牌」属性，区分同结构的不同逻辑类型，且完全无运行时开销。

具体实现 #

1. 定义带品牌的Student类型 #

// 定义带唯一品牌标识的Student类型
type Student = {
  firstName: string;
  lastName: string;
  age: number;
  // 唯一符号作为品牌，仅用于类型区分，编译后会被移除
  readonly __brand: unique symbol;
};

2. 修改函数返回类型为Student #

通过类型断言将函数返回值标注为Student，无任何运行时代码开销：

function getStudent(): Student {
  return {
    firstName: "John",
    lastName: "Doe",
    age: 18,
  } as Student;
}

3. 验证约束效果 #

function passStudent(student: Student) {
  // ...
}

// ✅ 正常通过：getStudent返回的对象被标注为Student类型
passStudent(getStudent());

// ❌ 编译报错：手动构造的对象缺少品牌属性，无法赋值给Student类型
passStudent({
  firstName: "John",
  lastName: "Doe",
  age: 18,
});

此时hoverconst student = getStudent();时，student的类型会显示为Student，而非匿名对象类型。

简化写法：避免重复定义对象结构 #

如果不想手动重复写Student的结构，可以结合ReturnType自动提取原始函数的返回类型，再添加品牌：

// 先定义无品牌的原始函数，让TS自动推断返回类型
function getStudentRaw() {
  return {
    firstName: "John",
    lastName: "Doe",
    age: 18,
  };
}

// 提取原始返回类型
type RawStudent = ReturnType<typeof getStudentRaw>;

// 给原始类型添加品牌
type Student = RawStudent & {
  readonly __brand: unique symbol;
};

// 对外暴露的函数，返回带品牌的Student类型
function getStudent(): Student {
  return getStudentRaw() as Student;
}

关于你期望的语法 #

目前TypeScript原生没有直接从函数返回值「绑定」到自定义类型的语法（比如你提到的function getStudent(): infer Student），但品牌类型是当前最符合需求的无运行时开销方案，完全满足你的核心诉求：

• 函数返回值的类型显示为自定义的Student
• 仅允许该函数返回的对象赋值给Student类型
• 无任何运行时额外开销

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