TypeScript中如何验证对象是否符合接口定义的结构？

嘿，你说得太对了——TypeScript的静态类型检查只在编译阶段起作用，一旦代码转成JavaScript运行，所有的类型信息都消失了，所以直接把JSON赋值给Student类型的变量，TS根本不会帮你做运行时的校验。不过咱们有几个可行的办法来解决这个需求：

1. 自定义类型谓词函数（运行时类型守卫） #

你提到了类型守卫，但可能没意识到自定义的类型谓词函数是可以在运行时执行真实检查的。我们可以手动写一个函数，逐一验证目标对象是否包含所有必填属性，并且类型符合要求：

interface Student { 
  name: string; 
  dob: string; 
  age: number; 
  city: string; 
}

// 类型谓词函数：返回true时，TS会推断obj为Student类型
function isStudent(obj: unknown): obj is Student {
  // 先排除非对象和null的情况
  if (typeof obj !== 'object' || obj === null) {
    return false;
  }
  // 断言为Student后，检查每个属性的类型
  const candidate = obj as Student;
  return (
    typeof candidate.name === 'string' &&
    typeof candidate.dob === 'string' &&
    typeof candidate.age === 'number' &&
    typeof candidate.city === 'string'
  );
}

// 使用方式：先把JSON导入为unknown，再做校验
let s1: unknown = require('./student.json');
if (isStudent(s1)) {
  // 这里s1会被TS自动推断为Student类型，放心使用
  console.log(`学生姓名：${s1.name}`);
} else {
  throw new Error('student.json的格式不符合Student接口要求！');
}

这种方式适合简单的接口，完全不需要依赖第三方库，而且能同时兼顾编译时类型提示和运行时校验。

2. 使用Schema验证库（适合复杂场景） #

如果你的接口比较复杂（比如有嵌套对象、可选属性、枚举值等），手动写验证函数会很繁琐，这时候可以用专门的Schema验证库，比如zod或者io-ts。这些库可以让你定义一次Schema，同时生成对应的TypeScript类型，还能自动做运行时校验：

以zod为例：

import { z } from 'zod';

// 定义Schema，同时自动生成TS类型
const StudentSchema = z.object({
  name: z.string(),
  dob: z.string(),
  age: z.number(),
  city: z.string(),
});

// 从Schema推导TS类型
type Student = z.infer<typeof StudentSchema>;

// 验证JSON数据
const rawData = require('./student.json');
const validationResult = StudentSchema.safeParse(rawData);

if (validationResult.success) {
  // validationResult.data是严格符合Student类型的对象
  console.log(`学生年龄：${validationResult.data.age}`);
} else {
  // 可以拿到详细的错误信息
  console.error('JSON格式错误：', validationResult.error.issues);
}

这种方式的优势是扩展性强，能处理各种复杂的校验规则，而且不用重复定义接口和校验逻辑，减少冗余代码。

补充：为什么直接赋值不行？ #

你之前写的let s1:Student = require('./student.json');其实只是做了类型断言，TS在编译时会假设这个JSON符合Student类型，但完全不会在运行时做任何检查。如果JSON里缺了age属性，或者age是字符串类型，运行时访问s1.age就会出问题，所以必须手动添加运行时校验逻辑。

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