TypeScript 中最初未定義的變量的正確類型是什么？

Question

我有一個變量，我們將在此示例中調用a ：

let a;

如果它滿足 switch 語句中的要求之一，我只想為其分配一個值：

switch(someOtherVar) {
  case "a": {
    a = "123";
    break;
  }
  case "b": {
    a = "456";
    break;
  }
}

然后我想檢查它是否有這樣的值：

if (a) {
  // ...do something
}

這意味着a可以是string或undefined ，並且它以undefined開頭。 如果我不聲明類型，則會引發以下錯誤：

變量 'a' 隱含地具有 'any' 類型，但可以從 usage.ts(7043) 推斷出更好的類型

我不確定在這種情況下聲明類型的正確方法是什么：

1. let a: string | undefined; // this seems to be the best way
2. let a = undefined; // this declares it as any which I don't want
3: let a: string; // is this correct if it can be undefined?

Answer 1

正確的類型是string | undefined string | undefined 。 在srictNullChecks下，類型string不包含undefined值或null值。 這兩個值有自己的類型undefined和null 。 因此，使用聯合使用string或undefined的變量是合適的。

請注意，如果變量未在閉包中引用，則控制流分析可以很好地推斷特定用例的類型

let a = undefined; // any here 

switch(someOtherVar) {
  case "a": {
    a = "123";
    break;
  }
  case "b": {
    a = "456";
    break;
  }
}
// function x() { console.log(a)}; // if referenced in another function you get an error

a; // but the type of a is string | undefined 

游樂場鏈接

Answer 2

您的第一個建議是正確的，因為a不能是any 。

你的第二個建議仍然是類型any 。 您將需要如下所示，但這與您的第一個建議基本相同。

let a: string | undefined = undefined;

您的第三個建議將導致問題，因為引擎不希望該值未定義。

如果您知道它是一個字符串，則可以將其聲明為空字符串，然后檢查字符串的長度。

let a: string = "";

if (a.length > 0) {
  // do something...
}