关于typescript:用一个例子讲解typescript是结构类型系统

首先抛出一个概念
TypeScript 是构造类型零碎，类型之间的比照只会比拟它们最终的构造，而会疏忽它们定义时的关系。
下面这句话值得咀嚼

上面举栗阐明这件事 上代码

interface Animal {    name: string;}let animal: Animal = {    name: 'Tom',    run: () => { console.log('run') }};

下面这段代码是有问题的 也是毋庸置疑的 再看上面这段

interface Animal {    name: string;}interface Cat {    name: string;    run(): void;}let tom: Cat = {    name: 'Tom',    run: () => { console.log('run') }};let animal: Animal = tom;

下面这段代码是没问题的 是不是让人很吃力 上面我试图用一个故事解释下这个景象

long long ago, 在JS王国里，有一个国王，他感觉世界上最美好的声音就是鸭子的叫声，于是国王招集大臣，要组建一个1000只鸭子组成的合唱团。大臣们找遍了全国，终于找到999只鸭子，然而始终还差一只，最初大臣发现有一只十分特地的鸡，它的叫声跟鸭子截然不同，于是这只鸡就成为了合唱团的最初一员。

于是大家定义了鸭子类型，“如果它走起来像鸭子，而且叫起来像鸭子，那么它就是鸭子”。
而后再联合上面这句话
TypeScript 是构造类型零碎，类型之间的比照只会比拟它们最终的构造，而会疏忽它们定义时的关系。
失去论断
第一段代码 大臣们找到的鹅啊啥的并没有鸭子的叫声 是进不去乐队的 所以零碎报错了
第二段代码 大臣们找到的这只鸡(类型之间的比照)是有鸭子的叫声(只会比拟它们最终的构造) 所以零碎没报错

上面在用个栗子阐明下为什么要这样做

interface Animal {    name: string;}interface Cat {    name: string;    run(): void;}let animal: Animal = {    name: 'Tom',};let tom: Cat = animal;

这段代码跟第二段代码比照 let tom: Cat = animal;自身Cat类型的tom是具备run的能力的 然而被赋值成Animal类型的animal后就会失去run这个能力 必然会影响后续的应用 故ts提前抛出谬误 而let animal: Animal = tom;Animal类型的animal所具备的name Cat类型的tom也是具备的 所以就算被赋值也不会影响后续的应用

最初借用他人总结的话
animal 断言为 Cat，只须要满足 Animal 兼容 Cat 或 Cat 兼容 Animal 即可
animal 赋值给 tom，须要满足 Cat 兼容 Animal 才行