如何在返回特定类型的函数中处理TypeScript的unknown类型？

首先明确核心事实：TypeScript的类型系统完全是编译时的，编译后所有类型信息会被擦除，运行时不存在任何自动的类型检查。

关于const book : Book | null = getValueForKey("book");的正确性 #

这个写法在编译时是合法的，但没有任何运行时安全保障。它只是告诉TypeScript编译器：“我断言这个值要么是Book类型，要么是null”，但编译器不会帮你验证运行时getValueForKey返回的实际值是否真的符合这个类型。如果返回的是数字、不符合结构的对象等，后续代码会因为类型不匹配引发错误。

如何确保运行时正确解析与处理 #

要验证从JSON获取的值是否符合Book类型，必须手动编写运行时类型检查逻辑，通常用TypeScript的类型守卫函数来实现，让编译器能识别检查后的类型。

步骤1：编写类型守卫函数 #

实现一个isBook函数，通过检查每个字段的类型和结构，判断输入值是否符合Book类型：

function isBook(value: unknown): value is Book {
  // 首先排除null、undefined和非对象类型
  if (typeof value !== 'object' || value === null) {
    return false;
  }

  const book = value as Record<string, unknown>;

  // 检查必填字段的类型
  if (typeof book.title !== 'string') return false;
  if (typeof book.headline !== 'string') return false;

  // 检查bullets是数组且每个元素都是字符串
  if (!Array.isArray(book.bullets)) return false;
  if (!book.bullets.every(item => typeof item === 'string')) return false;

  // 检查可选字段author：如果存在则必须是字符串
  if (book.author !== undefined && typeof book.author !== 'string') return false;

  return true;
}

步骤2：在getBook中使用类型守卫 #

在getBook函数里调用isBook做运行时检查，符合条件则返回该值，否则返回默认值：

function getBook(): Book {
  const book = getValueForKey("book");
  if (isBook(book)) {
    return book;
  }
  // 值不存在或格式不符合，返回默认值
  return defaultBook;
}

关键注意事项 #

• 对于嵌套结构（比如bullets数组），不能只检查是否为数组，还要验证数组元素的类型，避免出现数组里混有数字、对象等不符合要求的元素。
• 可选字段要区分“不存在”和“存在但类型错误”的情况，确保可选字段如果存在就必须符合类型要求。
• 类型守卫函数的返回值value is Book是类型谓词，能让编译器在if分支中自动将book的类型缩小为Book，无需额外断言。

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