🔍 搜索词

unknown, assert, narrow, undefined, "is not"

✅ 可实现性检查清单

• 这不会对现有的TypeScript/JavaScript代码造成破坏性的改变
• 这不会改变现有JavaScript代码的运行时行为
• 这可以在不根据表达式的类型发射不同的JS的情况下实现
• 这不是一个运行时特性(例如库功能、带有JavaScript输出的非ECMAScript语法、新的JS语法糖等)
• 这个特性将与我们设计目标的其他部分一致： https://github.com/Microsoft/TypeScript/wiki/TypeScript-Design-Goals

⭐ 建议

这看起来像是之前被问过的问题，但很难搜索到。
目前 asserts 是一个非常神奇的语法，可以让你做：

function assert(proposition: unknown): asserts proposition {
    if (!proposition) {
        throw new Error()
    }
}

function foo(value: unknown): {} | null {
    assert(value !== undefined);
    return value;
}

然而，尝试表达更专业的函数是行不通的。

function assertNotUndefined<T>(value: T): asserts value is Exclude<T, undefined> {
    if (value === undefined) {
        throw new Error();
    }
}

function foo(value: unknown): {} | null {
    assertNotUndefined(value);
    return value;  // Doesn't work
}

这是因为 Exclude<unknown, undefined> 仍然只是 unknown ,因为 unknown 不是 {} | null | undefined 的别名。假设这一点不会改变，那么如何表达 assertNotUndefined 呢？好吧，如果我们拿原来的 assert 函数并试着将其语法理性化为这个

function assert(proposition: unknown): asserts proposition;

当作为

assert(proposition !== undefined)

(手势)时，只特化为这个

function assert(proposition: unknown): asserts proposition !== undefined;

我不关心是否应该使用 asserts proposition is not undefined 作为语法，操作数的左侧或右侧是否可以翻转，是否应该存在 != 或其他运算符，或者除了像 undefined 这样的基本字面量之外的其他类型表达式是否应该被支持，所以我把它留给评论。

📃 激励示例

function assertNotUndefined(proposition: unknown): asserts proposition !== undefined;

function foo(value: unknown): {} | null {
    assertNotUndefined(value);
    return value;  // Works!
}

💻 用例

1. 你打算用这个做什么？
   一个可以排除 undefined 的函数可以与其他函数组合，例如 array.filter(isNotUndefined)
2. 目前方法存在的缺点是什么？
   没有干净的方法来定义这样一个函数，而不需要丑陋的条件语句来处理 unknown。
3. 在这段时间里你正在使用什么解决方法？
   以更冗长的风格重写代码，例如手动使用 for 循环构造一个新的数组而不是 array.filter 。