如何让TypeScript识别类中函数对字段的初始化，移除确定赋值断言

目前TypeScript没有专门的注解或语法，能直接标记某个方法会初始化特定类字段，让编译器自动追踪这种间接初始化逻辑。不过你可以通过以下几种方式替代字段上的!确定赋值断言：

1. 把初始化逻辑移到构造函数内 #

如果业务逻辑允许，直接在构造函数里完成myValue的初始化，TypeScript能自动识别字段已被正确初始化：

class MyClass {
  private myValue: string;

  constructor(){
    this.myValue = 'something';
    this.mySettingFunction();
  }

  public mySettingFunction(){
    // 这里保留其他业务逻辑
  }
}

2. 使用构造函数参数属性 #

如果myValue的初始值可以通过构造函数参数传递（或设默认值），用参数属性可以简化代码，同时让TS正确识别初始化状态：

class MyClass {
  constructor(private myValue: string = 'something'){
    this.mySettingFunction();
  }

  public mySettingFunction(){
    // do stuff
  }
}

3. 其他方案的局限性 #

• 就算把mySettingFunction改为私有方法，TypeScript的静态分析也无法追踪到方法内部对字段的赋值操作，所以还是需要确定赋值断言。
• 在使用myValue的地方加非空断言（this.myValue!）只是换了断言的位置，本质和字段上的!没区别，并没有让编译器真正识别初始化逻辑。

总结：目前最稳妥的方式要么是直接在构造函数内完成字段初始化，要么保留字段上的确定赋值断言。TypeScript暂时不支持通过注解标记方法的初始化行为。

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