typescript - 在 typescript 中检查一个也可以为空的值是否大于 4

Question

如何检查 typescript 中初始化为 null 或数字的值是否大于 4？看例子。

years: number | null;

这将给出 typescript 错误“对象可能为‘空’。”

(years > 4)

Answer 1

我假设您在问如何表达静态要求，即名为x 的函数参数(或返回值，或类属性值)总是满足( x 是数字 && x > 4 ) |空。

...也称为 a Predicate Type , Refinement Type , 或 Dependent Type .

不幸的是，TypeScript(据我所知)还不支持真正的细化类型或谓词类型(尽管它的流分析能力几乎是)，但是你可以几乎使用类型定义和类型保护:

type NumberGT4OrNull = null | ( number & { _isGT4: never } );

function isNumberGT4OrNull( x: unknown ): x is NumberGT4OrNull {
    if( typeof x === 'number' ) {
        return x > 4;
    }
    return false;
}

• 类型声明 type NumberGT4OrNull = null | number; 过于宽松，因为它匹配值 1，例如。
• 将其设为 sum 类型，成员类型为 never 意味着在 TypeScript 或JavaScript 可以匹配 NumberGT4OrNull - 至少在不使用自定义类型保护 isNumberGT4OrNull 的情况下可以匹配，这可以防止意外使用 未 检查的任何值参数、返回值或类型为 NumberGT4OrNull 的属性中的 isNumberGT4OrNull。
  • ...null 除外，因为在这种情况下，null 关键字在 never 的求和类型之外。
    • 但是，如果您甚至需要检查 null 值，请使用 type NumberGT4OrNull = ( null | number ) & { _isGT4: never };。
  • 缺点是您不能不使用isNumberGT4OrNull，但这在宏伟的计划中并不是那么大的问题 .

这样使用:

function acceptsValue( value: NumberGT4OrNull ): void {
}

//

const userInput = prompt("Enter number");
acceptsValue( userInput ); // Error: userInput is a string

const userInputNumber = parseInt( userInput, 10 );
acceptsValue( userInputNumber ); // Error: userInputNumber is not NumberGT4OrNull

if( isNumberGT4OrNull( userInputNumber ) ) {
    acceptsValue( userInputNumber ); // OK! TSC knows `userInputNumber` is `NumberGT4OrNull`.
}

如上所述，never 的使用意味着文字值不匹配，因此以下内容将不起作用并会给您带来错误:

acceptsValue( 3 ); // Error
acceptsValue( 4 ); // Error
acceptsValue( 5 ); // Error
acceptsValue( null ); // But this is OK

但如果您愿意，您可以添加一组(非详尽的)常量值以方便使用:

type NumberGT4OrNull = null | ( number & { _isGT4: never } ) | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16;

// So now, this does work:
acceptsValue( 3 ); // Error
acceptsValue( 4 ); // Error
acceptsValue( 5 ); // OK!
acceptsValue( null ); // Also OK

const n = 17;
acceptsValue( n ); // Error
if( isNumberGT4OrNull( n ) ) {
    acceptsValue( n ); // OK!
}

Playground link