只读元祖类型

关于 tuple 类型的最后一点说明： tuple 类型有只读特性，可以通过在它们前面粘贴一个 readonly 修饰符来指定——就像数组的速记语法一样。

function doSomething(pair: readonly [string, number]) {
  // ...
}

正如你所期望的，在 TypeScript 中不允许向只读元组的任何属性写入。

function doSomething(pair: readonly [string, number]) {
  pair[0] = "hello!";
}

在大多数代码中，元组往往被创建并不被修改，所以在可能的情况下，将类型注释为只读元组是一个很好的默认。这一点也很重要，因为带有 const 断言的数组字面量将被推断为只读元组类型。

let point = [3, 4] as const;

function distanceFromOrigin([x, y]: [number, number]) {
  return Math.sqrt(x ** 2 + y ** 2);
}

distanceFromOrigin(point);

在这里， distanceFromOrigin 从未修改过它的元素，而是期望一个可变的元组。由于 point 的类型被推断为只读的 [3, 4] ，它与 [number, number] 不兼容，因为该类型不能保证 point 的元素不被修改。