类型插图

interface Person {
  name: string;
  eating: () => void;
}
 
// 代码显然会报错
// Object literal may only specify know properties, and 'age' does not exist
const p: Person = {
  name: "licodeao",
  age: 18,
  eating: function () {
    console.log("eating");
  },
};
 
// 直接赋值给p不行，那我们间接赋值给p
const obj = {
  name: "licodeao",
  age: 18,
  eating: function () {
    console.log("eating");
  },
};
const p: Person = obj;
 
// 在VSCode上跑，你会发现VSCode并不会报错，也表明了TypeScript是允许这样子干的
// 那么为什么会有这么奇葩的现象出现呢？
// 往下看↓

// 依然拿上方的代码作为例子
 
interface Person {
  name: string;
  eating: () => void;
}
 
// { name: "licodeao", age: 18, eating: function() { console.log("eating") } }
// 这个对象字面量首次被创建，被认为是新鲜的，所以会进行严格的类型检测，因此会报错×
const p: Person = {
  name: "licodeao",
  age: 18,
  eating: function () {
    console.log("eating");
  },
};
 
// { name: "licodeao", age: 18, eating: function() { console.log("eating") } }
// 这个对象字面量在有新鲜度时，被分配给obj变量了
// obj变量又分配给了p变量，那么此时上方的对象字面量进行了复用（即对象字面量的类型扩大），因此该对象字面量失去了新鲜度
// TypeScript不会对该对象字面量进行严格的类型检测，因此不会报错√
const obj = {
  name: "licodeao",
  age: 20,
  eating: function () {
    console.log("eating");
  },
};
const p: Person = obj;
 
// 首次创建的对象字面量传递给一个非空目标类型的参数，会进行严格的类型检测
function print(message: Person) {
  console.log(message.name);
}
// 进行严格的类型检测，报错×
print({ name: "licodeao2", height: 1.88, eating: function () {} });
 
// 以同样的方式使首次创建的对象字面量失去新鲜度
const obj2 = {
  name: "licodeao2",
  height: 1.88,
  eating: function () {},
};
// 不会进行严格的类型检测，不报错√
print(obj2);