TypeScript 建议：将类型视为不可变的编译器标志

xpcnnkqh 于 6个月前发布在 TypeScript

关注(0)|答案(4)|浏览(69)

TypeScript版本： 2.3.4
代码

我知道 #10725 ,但我想进一步实现，添加一个编译器标志(例如 --immutable )使编译器推断出 Readonly 、 ReadonlyArray 、 ReadonlyMap 和 ReadonlySet(以及我可能遗漏的其他数据结构)。该标志还将迫使您使用 const。从而消除了语言中的可变性。

// tsconfig.json

{
  "compilerOptions": {
    "immutable": true
  }
}

// demo.ts

// band is automatically inferred as:
// Readonly<{
//   name: string;
//   members: ReadonlyArray<{
//     name: string;
//     instruments: ReadonlyArray<string>;
//   }>;
// }>
const band = {
  name: 'U2',
  members: [
    {
      name: 'Bono',
      instruments: ['vocals', 'rhythm guitar', 'harmonic']
    },
    {
      name: 'The Edge',
      instruments: ['lead guitar', 'keyboards', 'backing vocals']
    },
    // ...
  ]
};

// The following will cause compiler errors:
// band.name = 'Green Day';
// band.members.push({ name: 'Billie Joe Armstrong', instruments: ['lead vocals', 'guitar'] });

// ----------------------------------------------------------------------

// numberMap is automatically inferred to be ReadonlyMap<number, string>
const numberMap = new Map<number, string>([
  [1, 'one'],
  [2, 'two']
]);

// Compiler error:
// numberMap.set(3, 'three');

// letterSet is is automatically inferred to be ReadonlySet<string>
const letterSet = new Set<string>(['A', 'B', 'C', 'D']);

// Compiler error:
// letterSet.add('E');

typescript

来源：https://github.com/microsoft/TypeScript/issues/16317

4条答案

按热度按时间

ttygqcqt1#

其他类型呢？

赞(0）回复(0）举报 6个月前

2w2cym1i2#

原始类型

如果我理解正确，所有的原始类型都是不可变的。所以它们不需要改变。它们包括：

boolean
null
undefined
number
string
symbol
然而，我发现通过(1)在下面的例子中覆盖原型方法或者(2)重新分配原型方法，我可以很好地破坏事情。

// Shadow the valueOf method
const b = new Boolean(true);
b.valueOf = () => false;
console.log(b.valueOf()); // false

// Reassign the startsWith method
String.prototype.startsWith = () => true;
const s = 'hello';
console.log(s.startsWith('watermelon')); // true

所以也许我们需要定义以下接口：ReadonlyBoolean, ReadonlyString, ReadonlyNumber等。编译器可以推断出这些接口，以防止我们捣乱原型。大家有什么想法吗？

内置对象

除了原始类型之外，还有standard built-in objects。老实说，对于我的用例，我不需要ReadonlyFloat32Array, ReadonlyFloat64Array等。我也不需要ReadonlySIMDBool16x8或ReadonlySIMDInt16x8等。
对我来说，只要有以下只读版本就足够了(只是按照MDN的顺序列出):