Dart空安全机制下如何正确定义类？两种常用写法该选哪个？

两种现有写法的优缺点 #

第一种可空类型写法 #

class Student {
  String? firstName;
  String? lastName;
  int? grade;
  String? status;

  Student(String? firstName, String? lastName, int? grade) {
    this.firstName = firstName;
    this.lastName = lastName;
    this.grade = grade;
    this.status = "Geçti";
  }
}

• 优点：编译期强制空安全检查，不会出现运行时意外的空访问崩溃
• 缺点：明明构造函数已经完成属性赋值，每次使用属性时都要做非空判断或手动加!断言，代码冗余，手动断言也有出错风险

第二种late修饰写法 #

class Student {
  late String firstName;
  late String lastName;
  late int grade;
  late String status;

  Student(String firstName, String lastName, int grade) {
    this.firstName = firstName;
    this.lastName = lastName;
    this.grade = grade;
    this.status = "Geçti";
  }
}

• 优点：不需要非空断言，使用起来和普通非空类型一样方便
• 缺点：绕开了编译期的初始化检查，如果后续修改代码时漏了给late属性赋值，只有运行时才会触发崩溃，安全隐患较高

官方推荐最优写法 #

直接用Dart构造函数的初始化形式参数+初始化列表实现，是当前空安全规则下最推荐的方案：

class Student {
  // 如果属性不需要后续修改，建议加final修饰，符合不可变设计规范
  final String firstName;
  final String lastName;
  final int grade;
  final String status;

  // 初始化形式参数直接绑定属性赋值，固定值status放到初始化列表里赋值即可
  Student(this.firstName, this.lastName, this.grade) : status = "Geçti";
}

该写法的核心优势：

• 编译期就会强制要求传入的三个参数都是非空值，并且保证所有属性都完成初始化，完全没有空安全风险
• 不需要写冗余的this.xxx = xxx属性赋值代码，语法更简洁
• 不需要可空类型也不需要late修饰，使用属性时不需要任何额外的处理，可以直接传给Text组件

不同场景的选型建议 #

• 如果业务逻辑中对应的属性确实存在为空的可能：选择第一种可空类型写法，使用时优先用??做默认值兜底，不要直接用!非空断言，比如Text(student.firstName ?? '未录入')
• 只有当属性无法在构造函数初始化阶段完成赋值（比如需要异步初始化的属性），且你能100%保证属性在被访问前一定会完成赋值时，再选择第二种late写法

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