条件语句中类型推断的 TS 错误，当条件使用函数调用的结果而不是布尔表达式时

Question

我有以下用于链接列表类的 TypeScript 类，并且一切正常。

type ListItem = number | string | object;

class Node {
  private value: ListItem;
  private next: Node | null;

  constructor(value: ListItem) {
    this.value = value;
    this.next = null;
  }

  set nodeValue(value: ListItem) {
    this.value = value;
  }

  set nextNode(next: Node | null) {
    this.next = next;
  }

  get nodeValue(): ListItem {
    return this.value;
  }

  get nextNode(): Node | null {
    return this.next;
  }
}

export class LinkedList {
  private head: Node | null;
  private tail: Node | null;

  constructor(value: ListItem | null = null) {
    // Case 1: Linked List is initialised with 1 argument
    // Case 2: Linked List is initialised with null
    if (value) {
      const node = new Node(value);
      this.head = node;
      this.tail = node;
    } else {
      this.head = null;
      this.tail = null;
    }
  }

  public addLast(item: ListItem): void {
    const newNode = new Node(item);

    // Case 1 (if): Empty List
    // Case 2 (else): Non Empty List
    if (this.head === null || this.tail == null) {
      this.head = newNode;
      this.tail = newNode;
    } else {
      this.tail.nextNode = newNode;
      this.tail = this.tail.nextNode;
    }
  }

  public addFirst(item: ListItem): void {
    const newNode = new Node(item);

    // Case 1 (if): Empty List
    // Case 2 (else): Non Empty List
    if (this.head === null || this.tail === null) {
      this.head = newNode;
      this.tail = newNode;
    } else {
      newNode.nextNode = this.head;
      this.head = newNode;
    }
  }
}

现在我想创建一个辅助函数 isEmpty() 来检查链表是否为空，如下所示。

  private isEmpty(): boolean {
    return this.head === null || this.tail === null;
  }

然后改变 addLast() 函数如下

  public addLast(item: ListItem): void {
    const newNode = new Node(item);

    // Case 1 (if): Empty List
    // Case 2 (else): Non Empty List
    if (this.isEmpty()) {
      this.head = newNode;
      this.tail = newNode;
    } else {
      this.tail.nextNode = newNode; // error
      this.tail = this.tail.nextNode; // error
    }
  }

但这会导致错误，这是有道理的，因为现在我猜 TS 不知道我的条件的实现，只知道结果并且不知道 this.tail 或 this.head 在 else 语句中不能再为空。 有没有办法解决。 我可以在没有 tsc 抱怨的情况下以某种方式使用我的助手吗？ 我想过也许使用某种类型的防护，但想不出什么。 我还是 TS 新手，这可能吗，我是否遗漏了一些我可以做的明显事情？ 或者帮手不是一个可行的选择？

Answer 1

您可以使用 not null 或 undefined 断言运算符让编译器 k 现在您知道在该点分配了 tail 。

this.tail!.nextNode = newNode;
this.tail! = this.tail!.nextNode;

您可以在此处了解更多信息