嗨，大家好！这里是道长王jj~ 🎩🧙♂️
asserts 语句在 TypeScript 3.7 版本中首度亮相。它是一种特别类型的函数签名，旨在指示 TypeScript 编译器从某特定点开始某个特定条件为真。实际上，这些断言就像 if-then-error 语句的宏一样，赋予我们能力，能够在函数块的开端封装前置条件检查，以此提升代码的可预测性和稳定性。
初步断言方式
一个检验真实条件的基本断言。请注意函数的返回类型。
function assert(condition: any, msg?: string): asserts condition {
if (!condition) {
throw new Error(msg);
}
}
这里的 asserts condition 返回类型通知 TypeScript 若函数成功运行，则 condition 必为 true。不然，将引发带指定消息的错误。
下面是如何运用 assert 函数来审视未知参数：
type Point = {
x: number;
y: number
};
function point(x: unknown, y: unknown): Point {
assert(typeof x === 'number', 'x 不是数字');
assert(typeof y === 'number', 'y 不是数字');
return {
x, y };
}
TypeScript 会评估条件 typeof x === 'number' 并推断参数的适当类型。当 assert 调用完毕，TypeScript 已了然 x 和 y 皆为数字。
类型特定断言
asserts 关键字不只能断言条件，它还可以验证变量是否符合特定类型。这透过在 asserts 后面附加类型保护实现。
function assertPoint(val: unknown): asserts val is Point {
if (typeof val === 'object' && 'x' in val && 'y' in val && typeof val.x === 'number' && typeof val.y === 'number') {
return;
}
throw new Error('val 不是 Point');
}
只要 assertPoint 函数执行未出错，TypeScript 便会假设 val 为 Point。
function print(point: unknown) {
assertPoint(point);
console.log(`位置 X=${
point.x} Y={point.y}`);
}
复杂类型断言
asserts 不止适用于单纯类型或不同条件，它还扩展至能断言较为复杂的类型。一个例子是使用 TypeScript 的 NonNullable<T> 工具类型，以定义一个非空值。
function assertNonNull<T>(val: T): asserts val is NonNullable<T> {
if (val === undefined || val === null) {
throw new Error(`val 是 ${
val === undefined ? '未定义' : '空值'}`);
}
}
在此，assertNonNull 函数核查所提供的值既不为 null 也不为 undefined。asserts val is NonNullable<T> 的返回类型传达给 TypeScript：若函数顺利执行，则 val 必定具有定义好的值。
如何将此断言与前一个断言配对以检查多个条件：
function move(point?: unknown) {
assertNonNull(point);
assertPoint(point);
console.log(`移动至 ${point.x}, ${point.y}`);
}
函数开头的两个断言帮助 TypeScript 获取有关给定参数特性的信息。在这些条件之后，TypeScript 明了该点已定义，且其为 Point 类型的对象。🚀
🎉 你觉得怎么样？这篇文章可以给你带来帮助吗？当你处于这个阶段时，你发现什么对你帮助最大？如果你有任何疑问或者想进一步讨论相关话题，请随时发表评论分享您的想法，让其他人从中受益。🚀✨
