如何正确处理 es6 Map 的类型<k,v>使用 Typescript 时的功能？</k,v>

Question

我有一个像这样的 class ：

export class Broker<T> implements BrokerContract<T> {

  topicToSubscribersMap: Map<string, Set<Subscriber<T>>>;
                            .
                            .
                            .

  public registerSubscriber(topic: string, subscriber: Subscriber<T>): void {

        if (this.topicToSubscribersMap.get(topic)) {
            let currentSubscribers: Set<Subscriber<T>> = this.topicToSubscribersMap.get(topic);
        }
  }


                           .
                           .
}

在 function registerSubscriber中，当我尝试从 map Typescript 中获取值时抱怨我们无法分配V | undefined V | undefined到V ，因为Map上的get方法返回V | undefined V | undefined 。

现在，我知道我可以做到——

let currentSubscribers: Set<Subscriber<T>> = <Set<Subscriber<T>>>this.topicToSubscribersMap.get(topic);

或这个 -

let currentSubscribers: Set<Subscriber<T>> = this.topicToSubscribersMap.get(topic) as Set<Subscriber<T>>;

但我担心的是，当我已经在封闭的if条件中检查undefined时，为什么还要这样做？

此外，由于这是Map的get方法返回V | undefined的签名本身 V | undefined的类型，并假设这种情况通常最常出现 - 处理它的最佳方法是什么？

Answer 1

TypeScript 不够聪明，无法缩小 function 调用的结果，因为假定调用不是纯的（即，它可能在具有相同参数的后续调用中返回不同的值）

相反，如果您先分配给变量：

const topic = this.topicToSubscribersMap.get(topic);
if (topic){
    // topic is narrowed to Set<Subscriber<T>>
}