这篇文章是关于TypeScript中的类型断言的，它与其他语言中的类型转换相关，并通过as运算符执行。

类型断言

类型断言允许我们重写TypeScript数据的类型。这对于解决类型系统的限制很有用。

类型断言与其他语言中的类型转换相关，但它们不会抛出异常，也不会在运行时执行任何操作（它们会静态地执行一些最小的检查）。

const data: object = ['a', 'b', 'c']; // (A)

data.length; // (B)

assert.equal(
  (data as Array<string>).length, 3); // (C)

• 在A行中，我们将数组的类型扩展为object。

• 在B行中，我们看到这种类型不允许我们访问任何属性。

• 在C行中，我们使用类型断言（运算符as）来告诉TypeScript数据是数组。现在我们可以访问属性.length。

类型断言是最后的手段，应该尽量避免。他们（暂时）拆除了系统提供给我们的安全防护。

注意，在A行中，我们还重写了TypeScript的静态类型。但我们是通过类型注释来实现的。这种重写方式比类型断言安全得多，因为您可以做的事情要少得多。TypeScript的类型必须可分配给批注的类型。

类型断言的替代语法

对于类型断言，TypeScript有另一种“尖括号”语法：

<Array<string>>data

这种语法已经过时，与React JSX代码（在.tsx文件中）不兼容。

示例：断言接口

为了访问任意对象obj的property.name，我们临时将obj的静态类型更改为Named（行A和行B）。

interface Named {
  name: string;
}
function getName(obj: object): string {
  if (typeof (obj as Named).name === 'string') { // (A)
    return (obj as Named).name; // (B)
  }
  return '(Unnamed)';
}

示例：断言索引签名

在下面的代码（A行）中，我们将类型断言用作Dict，以便可以访问其推断类型为object的值的属性。也就是说，我们正在用静态类型Dict重写推断的静态类型对象。

type Dict = {[k:string]: any};

function getPropertyValue(dict: unknown, key: string): any {
  if (typeof dict === 'object' && dict !== null && key in dict) {
    dict;

    dict[key];
    
    return (dict as Dict)[key]; // (A)
  } else {
    throw new Error();
  }
}

与类型断言相关的构造

• 非空断言运算符（后缀！）

非空断言运算符（后缀！）如果值的类型是包含未定义或空类型的联合，则非空断言运算符（或非空断言运算符）将从联合中删除这些类型。我们告诉TypeScript：“此值不能未定义或为空。”因此，我们可以执行由这两个值的类型阻止的操作，例如：

const theName = 'Jane' as (null | string);

theName.length;

assert.equal(
  theName!.length, 4); // OK

• 示例–映射：.get（）after.has（）

function getLength(strMap: Map<string, string>, key: string): number {
  if (strMap.has(key)) {
    // We are sure x is not undefined:
    const value = strMap.get(key)!; // (A)
    return value.length;
  }
  return -1;
}

由于strMap的值不可能是undefined，所以我们可以通过检查.get（）的结果是否undefined来检测没有的映射项（A行）：

function getLength(strMap: Map<string, string>, key: string): number {
  const value = strMap.get(key);
  if (value === undefined) { // (A)
    return -1;
  }

  value;

  return value.length;
}