Typescript 为什么map.has()不充当类型保护

has() method on Map在Map实例中不起type guard method的作用.因此，调用map.has(x)对map没有narrowing影响，因此不会影响对map.get(x)的后续调用.

在microsoft/TypeScript#13086有一个开放的特性请求来支持这一点，但它还没有实现，因为，至少对于一个可变的、非ReadonlyMap的(参见Using ReadonlyMap<K, V> type)，map.has(x)现在是true的事实并不意味着它将永远是true.AS mentioned by the TS team dev lead in this comment:"这比看起来要棘手much倍，因为你还必须定义has支票应该如何持续."

为适应这一点而进行的任何更改都需要在以下两行中正确执行:

const map = new Map([[1, { a: 1 }], [3, { a: 2 }]]);
if (map.has(2)) {
    map.get(2).a; // should be okay
    map.delete(2);
    map.get(2).a; // should not be okay
}

现在他们两个都出错了，这很恼人，但却是安全的.

如果你想的话，你可以把has()美元合并到你自己的类型护栏里，也许是这样:

interface NarrowableMap<K, V> extends Map<K, V> {
    has<P extends K>(k: P): this is { get(p: P): V } & this;
}

但这样两行都不会出错，这很方便，但不安全，特别是在第二行.

const map = new Map([[1, { a: 1 }], [3, { a: 2 }]]) as
    NarrowableMap<number, { a: number }>;

if (map.has(2)) {
    map.get(2).a; // no error, that's good
    map.delete(2);
    map.get(2).a; // no error, that's bad
}

该语言目前没有将方法标记为重置控制流缩小的方法.这会在属性重新分配和关键字delete时自动发生，但映射操作不会触发此操作.

这就是它不起作用的原因.

最简单的重构是放弃has-THEN-get，转而使用get-THEN-VALID.所以你可以这样做:

const v = map.get(2);
if (v !== undefined) { v.a }

或者你可以用optional chaining来让它更简洁:

const w = v?.a
const x = map.get(2)?.a

Playground link to code个