在条件块中使用 typeof，instanceof，in，字面量类型，TypeScript 将会推导出在条件块中的变量类型。

  1. // typeof 示例
  2. let str = '123';
  3. if (typeof str === 'string') {
  4.     str.substr(1)
  5. }
  8. // instanceof 示例
  9. class Foo {
  10.     name!: string;
  11.     play!: Function;
  12. }
  13. let foo = <Foo>{ name: 'Alex' }
  14. if (foo instanceof Foo) {
  15.     foo.play()
  16. }
  19. // in 示例
  20. type Name = {
  21.     name: string;
  22. }
  23. type Age = {
  24.     age: number;
  25. }
  26. function isNameOrAge (q: Name | Age) {
  27.     if ('name' in q) {
  28.         q.name
  29.     } else {
  30.         q.age
  31.     }
  32. }
  34. // 字面量类型保护
  35. type Bar1 = {
  36.     kind: 'bar';
  37.     name: string;
  38. }
  39. type Foo1 = {
  40.     kind: 'foo';
  41.     age: number;
  42. }
  43. function isBar1OrFoo1 (q: Bar1 | Foo1) {
  44.     if (q.kind === 'bar') {
  45.         q.name
  46.     } else {
  47.         q.age
  48.     }
  49. }

自定义类型保护

  1. type Name = {
  2.     name: string
  3. }
  4. type Age = {
  5.     age: number
  6. }
  7. function isName (val: Name | Age): val is Name {
  8.     return (val as Name).name !== undefined;
  9. }
  10. function isNameOrAge (q: Name | Age) {
  11.     if (isName(q)) {
  12.       q.name
  13.   } else {
  14.       q.age
  15.   }
  16. }