Dart构造函数不满足空安全问题咨询：为何常规写法报错而语法糖写法正常？

这个问题其实是Dart空安全规则里一个容易踩的小坑，我来给你掰扯清楚核心原因：

Dart的空安全要求非空类型的实例变量（比如你代码里的double x;，没有加?标记可为空）必须在构造函数体执行之前完成初始化，编译器才会认定它不会为空值。

我们来对比你写的两种构造函数：

1. 报错的普通构造函数 #

Point(double x, double y) {
  this.x = x;
  this.y = y;
}

这里的赋值操作是在构造函数体内部执行的。而编译器的空安全检查是在进入构造函数体之前进行的——这时候x和y还处于未初始化的状态，编译器无法确保构造函数体里的赋值一定会执行（哪怕我们逻辑上知道肯定会），因此判定违反空安全规范。

2. 正常运行的语法糖构造函数 #

Point(this.x, this.y) {}

这种写法是Dart提供的语法糖，它本质上等价于把参数直接放到构造函数初始化列表中完成赋值，展开后是这样的：

Point(double x, double y) : x = x, y = y {}

初始化列表的代码会在构造函数体执行之前运行，这时候x和y已经被成功赋值，完全满足非空字段的初始化要求，所以编译器不会报错。

额外解决方法：显式使用初始化列表 #

如果你不想用语法糖，也可以通过显式的初始化列表来修复普通构造函数的问题，比如：

class Point {
  double x;
  double y;
  Point(double x, double y) : x = x, y = y {
    // 这里可以添加构造函数体的其他逻辑
  }
}

这样同样能通过空安全检查，因为赋值操作是在构造函数体执行前完成的。

总结一下：关键就在于非空字段的初始化时机——必须在构造函数体执行前完成，要么用语法糖，要么用初始化列表，不能仅在构造函数体内部赋值。

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