这个打字示例是否违反了Liskov Subtitution原则？

Question

我有以下代码：

type T = { foo: string }
var t: T = { foo: 'foo' }

interface S { foo: string }
var s: S = t

所以我们知道T

这个怎么样？

js prettyprint-override">t = s

好的所以S

我们可以暗示S==T。

现在介绍U：

type U = { [key: string]: string }
var u: U = t

所以T

但是等等！

u = s // Error!

这似乎违反了Liskov替代原则（LSP）：

如果S是T的子类型，则T类型的对象可以替换为S类型的对象

这是否违反了LSP？是不是重要？

撇开原则不谈，这看起来相当愚蠢：

u = s    // Error!
u = <T>s // Ok!

这会被认为是一个bug吗？当然，编译器可以自己做到这一点吗？




Answer 1

TypeScript的打字系统有些地方不健全；您发现了这样一个问题：类型别名而不是接口被赋予了隐式索引签名。为类型提供隐式索引签名是有用的，但通常是不安全的。考虑：

const fooBar = { foo: "foo", bar: 123 };
const tFooBar: T = fooBar; // okay
const uFooBar: U = tFooBar; // okay?
const whoopsie = uFooBar.bar; // string at compile time, number at runtime?!
console.log(whoopsie);

值fooBar是有效的T，因为它具有类型为string的foo属性。因此，您可以将其分配给tFooBar。然后，由于TypeScript允许您将T类型的值分配给U类型的变量，因此您可以将tFooBar分配给uFooBar。现在，如果您阅读uFooBar的bar属性，就会发现不健康。根据U，它应该是一个字符串，但它是一个数字。哎呀。

隐式索引签名非常有用，因为函数通常需要具有索引签名的值，并且对于已知属性符合索引签名的值来说，隐式索引签名非常有用。所以，我们有一个有用的东西，它可以导致类型不安全行为。应该怎么做？

显然，TypeScript的当前规则是：

• 对象文本/匿名类型被赋予隐式索引签名

根据@RyanCavanaugh的评论，显然这最后一个是故意的，不是一个bug：

只是想让人们了解一下，这种行为目前是经过设计的。由于接口可以通过附加声明来扩充，但类型别名不能，因此推断类型别名的隐式索引签名比推断接口的隐式索引签名“更安全”（在该声明上加上大量引号）。但我们也会考虑为接口做这件事，如果这似乎有道理的话。

因此，我们的想法是，声明合并可能会破坏接口与索引签名的兼容性，但类型别名不能。它们可能会改变它，如果您有一个引人注目的用例，您可能希望转到Github问题并提及它。

好吧，希望这会有帮助；祝你好运

链接到代码