求助：JS/TS中更简洁的非假值安全检查实现方案

在JS/TS开发中，重复的非假值检查+日志+抛错逻辑会让代码臃肿不堪。之前封装的助手函数或常量抛错逻辑无法被TypeScript识别为安全检查，核心原因是TS无法推断这些函数会在条件不满足时终止执行（抛出错误），因此不会自动缩小变量的类型范围。

以下是两种能被TS完全认可的简洁实现方案：

1. 使用TypeScript断言函数（最推荐） #

断言函数是TS原生支持的运行时类型检查语法，通过asserts condition返回类型，明确告诉TS：如果函数执行完成，传入的条件一定为真，后续代码可安全使用目标变量。

实现示例 #

// 定义通用的非假值断言函数
function ensureNotFalsy<T>(condition: T, errorMessage: string): asserts condition is NonNullable<T> {
  if (!condition) {
    Log.log.stripe_webhook(errorMessage);
    throw new Error(errorMessage);
  }
}

// 使用示例
ensureNotFalsy(plan, "Plan not found");
// 后续代码中TS会认定plan一定是非空非假值
console.log(plan.id); // 无类型报错

ensureNotFalsy(currentUser.email, "Current user does not have an email");
// currentUser.email被TS认定为非空字符串
sendEmail(currentUser.email); // 无类型报错

生效原理 #

asserts condition is NonNullable<T> 明确告知TS：函数执行后，condition的类型会被缩小为NonNullable<T>（排除null、undefined及''、0等假值），TS会自动跟踪类型变化，不再提示“值可能未定义”。

2. 内联抛错的精简写法（适合零散检查） #

如果不想额外定义函数，可以用紧凑的内联写法，同样能被TS识别：

!plan && (Log.log.stripe_webhook("Plan not found"), throw new Error("Plan not found"));
!currentUser.email && (Log.log.stripe_webhook("Current user does not have an email"), throw new Error("Current user does not have an email"));

这种写法本质仍是直接在条件判断后抛错，TS能识别到分支会终止执行，因此会正确缩小变量类型。但相比断言函数，重复代码仍较多，适合零散的检查场景。

原方案无效的原因 #

• 普通助手函数返回void，TS无法感知函数会在条件不满足时抛出错误，因此不会认为变量类型发生变化
• 常量形式的抛错函数属于普通函数，TS无法推断其终止执行的逻辑，后续代码仍会提示类型风险

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