const a = [1, 2, 3];
// 这种情况下,a 这个变量是个常量,因此 a 这个变量不可被更改。但是由于 a 是个数组,a 的每一项可以
// 被改变,或者被 push。
a[0] = 4; // 不报错
const b = [1, 2, 3] as const; // 将 b 变成了 readonly [1, 2, 3] 类型。
b[0] = 4; // 报错 Cannot assign to '0' because it is a read-only property.
b.push(4); // 报错 Property 'push' does not exist on type 'readonly [1, 2, 3]'