类型和名称应匹配

Question

对于t类型的给定命名对象，

interface t {
    a: string,
    b: number,
    c: string
}

let obj:t = {
    a: "foo",
    b: 12,
    c: "bar"
}

下面是处理这个命名对象的函数，

function keepWholeObject(obj_param: {x: string, y:number}){
    let {a, b}:{a: string, b: number} = obj_param;
    console.log(`In function - ${a}`);
    console.log(`In function - ${b}`);
}

在哪里

let {a, b}:{a: string, b: number} = obj_param; 不起作用。

因为，类型和名称应该匹配。错误是：Type '{ x: string; y: number; }' is not assignable to type '{ a: string; b: number; }'. Property 'a' is missing in type '{ x: string; y: number; }'

---

结构类型与主格类型的一个缺陷是，两个单独定义的类型用于不同的目的，但意外地拥有相同的属性（例如，两者都由一对整数），可以被类型系统认为是相同的类型，仅仅是因为它们恰好具有相同的结构。避免这种情况的一种方法是为每次使用创建一个代数数据类型（复合类型）。 taken from

这就是为什么在上面的函数声明中，我使用解构为 obj_param: {a: string, b:number} 而不是 {a, b}: {a: string, b:number} 的复合类型声明参数以避免重复标识符。匹配名称和类型的副作用。

---

为什么 TypeScript 不允许分配具有相同类型的对象？结构类型？

Answer 1

编辑 2

type Point = { x: number, y: string};
type Vector2 = { 0: number, 1: string}
let p :Point;
let v :Vector2 = p;

同样这里也有两种选择。

1. 由于类型不兼容而引发错误。
2. 将值转换为适当的字段，这样我们就不必做一些额外的事情了。

选项 1 具有最高优先级。正如@binDebug 所提到的，这就是构建这种语言的原因。

编辑

typescript 转成 js 后的样子

function keepWholeObject(obj_param){
    let {a, b} = obj_param;
    console.log(`In function - ${a}`);
    console.log(`In function - ${b}`);
} 

没有任何类型信息。

上一个答案

function keepWholeObject(obj_param: { a: string, b: number }) {
  let { a, b }: { a: string, b: number } = obj_param;
  console.log(`In function - ${a}`);
  console.log(`In function - ${b}`);
}

1. obj_param: { a: string, b: number } 不适用于 x 和 y。
2. 类型是编译时特性，在运行时被擦除。
3. 解构是一种 JavaScript 功能。总结一下 javascript 解构的工作原理。