你如何解决打字稿中的以下错误

Question

我是 typescript 的新手并开始学习它，因为每个人似乎都非常坚持使用 typescript 编码而不是js。所以，试一试，我想我会先将ts 应用于简单的数据结构问题。但是我陷入了以下我似乎没有得到的东西。

interface GraphType {
  [index: string]: string[];
}

const graph: GraphType = {
  a: ['c', 'b'],
  b: ['d'],
  c: ['e'],
  d: ['f'],
  e: [],
  f: []
}

const depthFirstPrint = (graph: GraphType, source: string) => {
  const stack: string[] = [source];
  
  while(stack.length > 0) {
    const current: string = stack.pop(); // <1>
    console.log(current);
    for (let neighbor of graph[current]) { //<2>
      stack.push(neighbor);
    }
  }
};

depthFirstPrint(graph, 'a'); //abdfce

显示错误：

<1> 说Type 'string | undefined' is not assignable to type 'string'. Type 'undefined' is not assignable to type 'string'
这很令人困惑，因为我将stack 声明为string[]，即array of strings，并且我正在检查数组stack 是否与while(stack.length > 0) 不为空。

<2> 说Object is possibly 'undefined'，我不确定如何处理这个问题。在js 中，如果它的undefined 则for 循环将不会执行，这是理想的行为。但我不知道如何在ts 中处理这个问题。

Answer 1

是的，您已经在while 中检查了stack.length > 0，但是编译器如何知道stack.pop() 总是有价值？

例如，假设stack.length 是1 和while(stack.length > 0) 为真，但在下面的代码中current1 和current2 未定义，而stack.length 大于1：

while(stack.length > 0) {
    const current = stack.pop(); 
    const current1 = stack.pop(); 
    const current2 = stack.pop(); 
}

解决方案

您可以将current 定义为string | undefined，但在使用该变量之前，您需要检查它是否具有价值：

const depthFirstPrint = (graph: GraphType, source: string) => {
  const stack: string[] = [source];
  
  while(stack.length > 0) {
    const current = stack.pop(); // <1>
    console.log(current);

    if(current)
      for (let neighbor of graph[current]) { //<2>
         stack.push(neighbor);
      }
  }
};

这是工作示例：PlaygroundLink

根据 OP 的评论更新：

如果你想在你的TSConfig 中打开noUncheckedIndexedAccess，你只需要更多检查:) 像这样：

while(stack.length > 0) {
    const current = stack.pop(); // <1>
    console.log(current);
    
    if(current) {
    let value = graph[current];
    
      if(value)
        for (let neighbor of value) { //<2>
           stack.push(neighbor);
        }
    }
  }

PlaygroundLink