如何在 Typescript 中获取变量类型？

Question

我有一个变量。

 abc:number|string;

如何检查它的类型？我想做如下的事情：

 if (abc.type === "number") {
    // do something
}

原文由 Hongbo Miao 发布，翻译遵循 CC BY-SA 4.0 许可协议

Answer 1

为了 ：

 abc:number|string;

使用 JavaScript 运算符 typeof ：

 if (typeof abc === "number") {
    // do something
}

TypeScript 理解 typeof 🌹

这称为类型保护。

更多的

对于您将使用的类 instanceof 例如

class Foo {}
class Bar {}

// Later
if (fooOrBar instanceof Foo){
  // TypeScript now knows that `fooOrBar` is `Foo`
}

还有其他类型保护，例如 in 等 https://basarat.gitbooks.io/typescript/content/docs/types/typeGuard.html

原文由 basarat 发布，翻译遵循 CC BY-SA 4.0 许可协议

Answer 2

如果您的变量类型是一个包含多个对象接口的联合，那么这是一种方法：

 interface A {
  a: number;
}

interface B {
  b: boolean;
}

let x: string | A | B = /* ... */;

if (typeof x === 'string') {
  // x: string
} else if ('a' in x) {
  // x: A
} else if ('b' in x) {
  // x: B
}

---

如果您想确保您处理了每个选项，您可以添加详尽检查。处理完每个选项后，TypeScript 会注意到此时变量可能没有剩余类型。它通过给它 never 类型来表达这一点。

如果我们添加一个最终的 else 分支，该分支要求变量是 never 类型，我们将向类型检查器（以及我们自己）证明这个分支永远不会被调用：

 // As long as a variable never holds a type it's not supposed to,
// this function will never actually be called.
function exhaustiveCheck(param: never): never {
  throw Error('exhaustiveCheck got called somehow');
}

if (typeof x === 'string') {
  // x: string
} else if ('a' in x) {
  // x: A
} else if ('b' in x) {
  // x: B
} else {
  // x: never
  exhaustiveCheck(x);
}

如果你忘记处理一个案例，你会得到一个类型错误：

 if (typeof x === 'string') {
  // x: string
} else if ('b' in x) {
  // x: B
} else {
  // x: A
  exhaustiveCheck(x); // TYPE ERROR: Argument of type 'A' is not
                      // assignable to parameter of type 'never'.
}

原文由 yottalogical 发布，翻译遵循 CC BY-SA 4.0 许可协议