解析Dart/Flutter中带final变量的构造函数写法差异及报错原因

核心认知纠偏 #

“两种构造函数写法功能完全等价”是错误认知，二者的执行时机、可操作的变量范围存在本质区别，差异根源是Dart对final实例变量的初始化时机有严格的强制规则。

第一种写法可正常编译的原理 #

SomeWidget(this.aString) 是Dart提供的构造函数参数语法糖，本质属于构造函数初始化流程的合规阶段：

• 它的执行时机严格早于构造函数体的所有逻辑，在对象内存刚分配完成的阶段就完成赋值
• 语法层面直接完成对final实例变量的赋值，完全满足final变量的初始化要求，因此不会触发编译错误。

第二种写法触发报错的原因 #

Dart构造一个类实例的固定执行顺序为：

• 为所有实例变量分配对应内存，赋予类型对应的默认初始值
• 运行构造函数初始化列表的逻辑，完成要求的实例变量赋值
• 进入构造函数的函数体，执行自定义的业务逻辑

final修饰的实例变量，合法的赋值时机严格被限定在前两个阶段：要么在变量声明时直接赋值，要么通过构造函数的初始化列表完成赋值。
当代码将this.aString = inputString的逻辑放到构造函数体内时，相当于已经进入了第三个执行阶段，既没有在规定时机完成final变量的初始化，同时final变量本身不提供setter方法、禁止初始化完成后的二次赋值，因此会同时触发两类编译报错。
去掉final关键字后，变量从只读变为可写，不再受“必须在构造函数体之前完成初始化”的约束，因此报错会消失，但这只是临时绕过了规则，不是两种写法等价的证明。

带自定义参数时初始化final变量的正确写法 #

如果不想使用this.xxx的最简语法糖，可以通过冒号语法显式指定初始化列表，把赋值逻辑挪到合规的初始化阶段：

class SomeWidget extends StatelessWidget {
  final String aString;

  // 冒号之后的区域属于初始化列表，是final变量的合法赋值区间
  SomeWidget(String inputString) : aString = inputString {
    // 此处为构造函数体，禁止对final变量做赋值操作
  }
}

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