TypeScript中能否为接口添加校验逻辑？

嘿，这个问题问得很接地气！我来跟你聊聊TypeScript里怎么实现这个需求～

首先得明确一个关键点：TypeScript的静态类型系统是编译时检查，它只关心变量的类型结构，不会去验证具体的运行时值。你定义的TimePeriod接口只是规定了对象必须有start和end两个Date类型的属性，但没法约束这两个日期的先后关系——毕竟编译阶段TypeScript不知道你给的new Date('2025-05-19')具体对应哪个时间值。

不过别担心，我们可以通过「运行时校验 + 类型系统配合」的方式来达到目的，给你两种常用的方案：

方案一：用工厂函数封装创建逻辑 #

最稳妥的方式是写一个专门创建TimePeriod的函数，在函数内部做时间校验，确保只有合法的时间区间能被创建出来：

interface TimePeriod {
    start: Date;
    end: Date;
}

function createTimePeriod(start: Date, end: Date): TimePeriod {
    // 运行时校验结束时间必须晚于开始时间
    if (end <= start) {
        throw new Error("Error: 结束时间必须晚于开始时间！");
    }
    return { start, end };
}

// 合法的情况，正常创建
const validPeriod = createTimePeriod(new Date('2024-05-19'), new Date('2025-05-19'));

// 非法的情况，会直接抛出错误
const invalidPeriod = createTimePeriod(new Date('2025-05-19'), new Date('2024-05-19'));

这种方式能从源头保证所有TimePeriod实例都是合法的，同时还能保留TypeScript的类型提示。

方案二：用自定义类型守卫做校验 #

如果需要手动创建对象后再验证，可以写一个自定义类型守卫函数，让TypeScript在校验通过后认可这个对象是TimePeriod类型：

interface TimePeriod {
    start: Date;
    end: Date;
}

// 自定义类型守卫，检查时间区间是否合法
function isTimePeriod(period: { start: Date; end: Date }): period is TimePeriod {
    return period.end > period.start;
}

// 手动创建的对象
const possiblePeriod = {
    start: new Date('2025-05-19'),
    end: new Date('2024-05-19')
};

// 校验不通过就抛出错误
if (!isTimePeriod(possiblePeriod)) {
    throw new Error("时间区间不合法：结束时间不能早于开始时间！");
}

// 校验通过后，TypeScript会把possiblePeriod识别为TimePeriod类型
const validPeriod: TimePeriod = possiblePeriod;

总结一下：目前TypeScript还不支持直接在接口里定义这种依赖具体值的约束，必须结合运行时校验来实现。上面两种方案都能满足你的需求，看你更倾向哪种使用场景啦～

内容来源于stack exchange