只读属性在打字稿中部分工作？

Question

让我们看看这段代码

interface ImmutableValue<T> {
    readonly value: T;
}

let i: ImmutableValue<string> = { value: "hi" };
i.value = "Excellent, I can't change it"; // compile-time error

以上内容非常简单，我们有一个接口ImmutableValue，由于i 正在实现该接口，i.value 将得到编译错误

现在考虑下面的代码

interface Greetable {
  readonly name: string;
}

class Person implements Greetable {
  name: string;

  constructor(n: string) {
    this.name = n;
  }
}

let user1 = new Person('isaac');

user1.name = 'jon'
console.log(user1)

对于上面的代码，显然Person 正在实现Greetable，它的name 和readonly 和user1.name = 'jon' 是一个值重新分配，我们应该得到一个错误。但是 TS 编译得很好，知道为什么吗？

Answer 1

TypeScript 在确定两种类型是否兼容时会忽略readonly，因此Person 与Greetable 兼容，尽管Greetable 使name readonly 而Person 不兼容。来自this page on readonly：

管理对readonly 暗示的期望很重要。在 TypeScript 的开发期间发出关于如何使用对象的意图很有用。 TypeScript 在检查这两种类型是否兼容时不会考虑这两种类型的属性是否为readonly，因此readonly 属性也可以通过别名进行更改。

（我的重点）

不过，更一般地说，子类型可以在其超类型之上添加功能。作为jonrsharpe points out in a comment，任何使用Greetable 的代码仍然可以使用Person。 Greetable 引用 Person 的代码将无法通过该引用更改 name：

function example(g: Greetable) {
    g.name = "example"; // Error
}
example(new Person("Joe"));

但是公开readonly 并不能保证某些东西不会改变，只是具有readonly 访问权限的代码不能改变它，这是微妙的不同。