如何在Dart中通过原生支持定义完全不可变数据类及相关疑问

一、创建类似Kotlin Data Class的不可变类 #

Dart中可以实现功能接近Kotlin data class的不可变类，主流方案有两种：

1. 使用社区包freezed（推荐） #

freezed是Dart生态中成熟的代码生成工具，能自动生成不可变类，同时提供copyWith、toString、equals、hashCode等Kotlin data class自带的核心方法，还支持模式匹配等高级特性，完全满足不可变数据类的需求。

示例步骤：
首先在pubspec.yaml中添加依赖：

dependencies:
  freezed_annotation: ^2.4.1

dev_dependencies:
  build_runner: ^2.4.8
  freezed: ^2.4.7

然后定义不可变类：

import 'package:freezed_annotation/freezed_annotation.dart';

part 'user.freezed.dart';

@freezed
class User with _$User {
  // 构造器前加const确保不可变性
  const factory User({
    required final String name,
    required final int age,
    required final String email,
  }) = _User;
}

运行代码生成命令dart run build_runner build后，即可像使用Kotlin data class一样操作：

void main() {
  final user = User(name: "Alice", age: 30, email: "alice@example.com");
  // 通过copyWith创建新实例，原实例保持不变
  final updatedUser = user.copyWith(age: 31);
  // 自动生成的toString方法
  print(user); // User(name: Alice, age: 30, email: alice@example.com)
}

2. 手动实现不可变类 #

如果不想依赖第三方包，可以通过final字段+手动编写样板代码实现：

class User {
  // 所有字段用final修饰，确保无法被重新赋值
  final String name;
  final int age;
  final String email;

  // const构造器增强不可变性（可选，用于编译时常量场景）
  const User({
    required this.name,
    required this.age,
    required this.email,
  });

  // 实现copyWith方法，用于创建修改后的新实例
  User copyWith({
    String? name,
    int? age,
    String? email,
  }) {
    return User(
      name: name ?? this.name,
      age: age ?? this.age,
      email: email ?? this.email,
    );
  }

  // 重写equals和hashCode，确保值比较逻辑
  @override
  bool operator ==(Object other) =>
      identical(this, other) ||
      other is User &&
          runtimeType == other.runtimeType &&
          name == other.name &&
          age == other.age &&
          email == other.email;

  @override
  int get hashCode => name.hashCode ^ age.hashCode ^ email.hashCode;

  // 重写toString提升调试体验
  @override
  String toString() => 'User(name: $name, age: $age, email: $email)';
}

这种方式需要手动编写大量重复代码，仅适合简单场景。

二、Dart官方对原生不可变类的支持情况 #

目前Dart官方尚未推出原生的"data class"语法，但相关讨论和方案一直在推进：

• Dart 3.0引入的**Records（记录类型）**是一种轻量级不可变值类型，自带equals、hashCode、toString实现，适合简单数据承载场景，但Records是匿名类型，无法扩展或添加自定义方法，和Kotlin data class仍有差异。
• 在Dart Enhancement Proposals（DEP）社区提案中，曾多次讨论过原生不可变类的语法糖，但目前尚未纳入正式语言路线图。官方现阶段更倾向于通过成熟的社区包（如freezed）满足开发者需求，同时持续评估原生支持的可行性。

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