TypeScript构造函数调用setter初始化属性报错如何解决

首先说明：报错信息中提到的_name为笔误，实际对应示例代码中的_bar属性。

是否存在构造函数执行结束后this._bar为undefined的场景？ #

存在。
这个报错是TS开启strictPropertyInitialization严格属性初始化检查时抛出的，静态分析器默认不会追踪构造函数内通过setter、类方法间接完成的属性赋值——这不是分析器误判，确实存在可复现的异常场景：
如果有子类继承Foo并重写bar的setter，且重写逻辑中既没有给_bar赋值，也没有调用父类的setter实现，父类构造函数执行时调用的this.bar = bar会直接命中子类重写的setter，完全跳过父类setter中给_bar赋值的逻辑，最终构造函数执行完毕后_bar的值就是undefined。
复现代码如下：

class SubFoo extends Foo {
  // 重写父类setter，未操作内部_bar属性
  override set bar(bar: string) {
    console.log('自定义setter逻辑，未给_bar赋值');
  }
}

const instance = new SubFoo('test');
console.log(instance.bar); // 输出undefined

如果你写的Foo类不会被继承，或者你能保证所有子类重写setter时都会正确给_bar赋值，常规业务场景下构造函数执行完_bar是有正常值的。

解决方案 #

按推荐优先级从高到低排列：

• 给内部属性加明确赋值断言：这是改动最小、最通用的方案，直接告诉TS你担保这个属性会在被访问前完成赋值，不需要编译器做静态检查，只需要把属性声明修改为private _bar!: string;即可，完全不影响运行时逻辑。
• 给属性设置合法默认值：直接在属性声明时赋一个符合类型要求的初始值，比如private _bar: string = '';。类属性初始化会在构造函数执行前完成，后续构造函数中调用setter会覆盖这个默认值，不会影响业务逻辑，注意默认值必须符合setter中定义的校验规则（如果setter有格式、合法性校验逻辑的话）。
• 抽离公共逻辑调整初始化流程：如果setter里包含复杂的值校验、转换逻辑，可以把这部分逻辑抽成私有工具方法，构造函数内先直接给_bar赋值，再调用工具方法完成校验/转换，既不重复代码，也能让TS静态检查直接识别到属性已初始化。
• 不推荐全局关闭strictPropertyInitialization编译选项：这个检查能帮你规避绝大多数属性漏赋值的问题，没必要为了单个属性的场景关闭全局安全校验。

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