TypeScript能否在布尔条件不满足时触发编译时错误？

TypeScript可以通过类型系统特性实现编译时值校验失败时终止构建的功能，类似C语言的编译期断言，无需等到测试阶段就能提前发现问题。

核心实现思路 #

利用TypeScript的条件类型和never类型特性：当校验条件不满足时，让类型推导为never，而never类型无法接收任何有效值，从而触发编译错误。

示例1：校验编译步骤值 #

假设compilestep.value是编译时已知的常量，代码实现如下：

const compilestep = { value: 'compile step should have this value' } as const;

// 编译期断言：如果值不符合预期，触发编译错误
type CompileStepCheck = typeof compilestep.value extends 'compile step should have this value' ? true : never;
const checkCompileStep: CompileStepCheck = true;

如果修改compilestep.value为其他值，TypeScript会抛出Type 'true' is not assignable to type 'never'.的错误，直接终止编译。

示例2：校验年份值 #

针对你提到的日期校验需求，同样基于编译时常量实现：

const todays = { date: { year: '2023' } } as const;

// 编译期断言：年份不是2023则触发错误
type YearCheck = typeof todays.date.year extends '2023' ? true : never;
const checkYear: YearCheck = true;

当todays.date.year不等于'2023'时，编译会立即失败，无需等到运行时。

自定义错误提示的方式 #

如果需要更清晰的错误提示，可以结合@ts-expect-error注释使用：

const compilestep = { value: 'compile step should have this value' } as const;

@ts-expect-error compilestep.value必须等于"compile step should have this value"，否则编译失败
const _check: typeof compilestep.value extends 'compile step should have this value' ? never : true = true;

这里的逻辑是：当值符合预期时，_check的类型是never，true无法赋值给never，此时@ts-expect-error会忽略这个预期内的错误；当值不符合预期时，_check的类型是true，赋值合法，@ts-expect-error就会触发错误并显示你写的注释内容。

注意事项 #

所有编译期校验的前提是：要校验的值必须是编译时常量，也就是TypeScript在编译阶段能确定其具体值的变量（比如用as const断言的常量、字面量类型等）。如果是运行时才能确定的值，TypeScript无法在编译期进行校验。

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