为什么JS对象方法内属性赋值时VSCode的IntelliSense会失效？

这个异常是VSCode内置的JavaScript/TypeScript语言服务在处理无显式类型标注的对象字面量时的推导边界问题，和代码本身的运行逻辑完全无关：

• 当func2内部没有出现对this属性的直接赋值时，语言服务会默认把对象字面量中所有方法的this上下文绑定为外层的obj本身，能完整匹配对象的属性结构，补全、悬停提示、语法高亮都能正常工作。
• 一旦在func2内部加上this.a = 1这类对this属性的赋值语句，TypeScript的推导逻辑会触发保守收窄规则：从语法层面无法100%确定方法被调用时的this指向一定是外层的obj（你完全可以在其他地方把func2单独抽出来绑定到别的对象上调用），原本连贯的上下文推导链会直接断裂。
• 这种推导断裂会直接带来你观察到的所有异常：func2会失去原本属于obj成员的函数类型标注，变成游离的独立函数，所以高亮颜色、悬停提示都会错位；方法内部的this会被推导为无明确结构的任意类型，连带它引用的a、b、func1都无法被正常识别，IntelliSense补全完全失效；开启//@ts-check严格检查模式时，这个推导断裂的问题会被进一步放大。

• 零侵入轻量修复：在对象方法的隐式this参数上添加类型标注，直接给语言服务传递明确的上下文信息，写法如下：

  var obj = {
      a: 0,
      b: "",
      func1: function () {
          // do something
      },
      func2: function(this: typeof obj) {
          this.func1();
          this.a = 1;
          console.log(this.a + this.b);
      }
  }
  

  这里写的this: typeof obj只会被TypeScript语言服务识别，不会对实际运行的JavaScript代码产生任何影响，可以直接让语言服务恢复对对象结构的正常识别。
• 长期更规范的实现方式：改用ES6 class或者构造函数封装对象逻辑，class内部的this是有明确强类型绑定的，从根源上避免对象字面量带来的上下文推导不确定性。
• 临时规避方法：如果不想加类型标注，也可以把this.a = 1的赋值逻辑挪到对象字面量外部、对应方法的调用执行位置，但这种写法会打乱代码的内聚性，不推荐长期使用。

内容的提问来源于stack exchange，提问作者Simimic