数据类

是什么，为什么存在

数据类（data class） 是以 data 修饰的类，适合表示主要由一组值描述的对象。编译器根据主构造函数中的属性生成常用成员，省去容易彼此不一致的 equals()、hashCode()、toString()、componentN() 和 copy() 样板代码。

数据类解决的不只是代码长度问题。它把对象的值语义明确放在类声明的入口：哪些属性进入主构造函数，哪些属性就默认参与比较、哈希、显示、解构和复制。审查数据模型时，你可以直接从这条边界判断两个实例何时代表相同的值。

你会在 API 数据传输对象、不可变状态快照、配置值、事件载荷和小型领域值中遇到数据类。它不等于数据库实体，也不保证不可变；是否适用取决于对象应否按内容比较，以及其状态能否稳定表达为构造函数属性。

普通类默认继承 Any.equals() 的标识语义。数据类则默认提供 结构相等性（structural equality） ：a == b 会调用 equals()，两个不同实例只要参与比较的属性相等，就可以得到 true。比较两个引用是否指向同一实例时，仍使用 ===。

一个实用判断是：如果把实例重新构造为同一组公开值后，它就应当与原实例互换，数据类通常合适。若对象的生命周期、资源所有权或独立标识比属性内容更重要，普通类通常更准确。

工作原理

主构造函数划定边界

数据类的主构造函数至少要有一个参数，而且每个参数都必须声明为 val 或 var。数据类不能声明为 abstract、open、sealed 或 inner。它可以实现接口，也可以继承允许继承的普通类或密封类。

编译器只根据主构造函数中的属性派生成员。类体中声明的属性仍是实例状态，但默认不进入相等性、哈希、字符串表示、解构或复制。把属性移入或移出主构造函数会改变对象的公开语义，而不只是改变代码排版。

编译器生成的成员

对于 data class Parcel(val id: String, val zone: Int)，编译器生成基于 id 和 zone 的 equals() 与 hashCode()。相等的实例必须得到相同的哈希码，这让它们能按值作为 HashSet 元素或 HashMap 键。

生成的 toString() 会以 Parcel(id=..., zone=...) 的形式包含类名和构造函数属性。它适合诊断普通数据，却不是安全的审计格式；构造函数中若含令牌、密码或个人数据，直接记录实例会把这些值一并写入日志。

编译器还按属性声明顺序生成 component1()、component2() 等 operator 函数。val (id, zone) = parcel 分别调用前两个组件函数，因此变量名不会参与映射。名字写反也能通过编译，只是取得错误的值。

copy() 的每个参数都以当前实例的对应属性为默认值，并调用构造函数创建新实例。指定一个命名参数只替换那一项。未指定的引用仍指向原对象，所以 copy() 是 浅拷贝（shallow copy） ，不会递归复制嵌套对象。

显式实现与继承

你可以在数据类中显式实现 equals()、hashCode() 或 toString()。只重写相等性而不保持哈希契约会破坏哈希集合，因此 equals() 与 hashCode() 应作为一对设计和测试。

你不能显式实现编译器负责的数据类 copy() 或 componentN()。若超类型提供可重写且返回类型兼容的 componentN()，生成函数会覆盖它；签名不兼容或成员为 final 时，声明会编译失败。

数据类本身是最终类，但“最终”不代表它不能有父类。它可以继承开放的父类，只是不能再被其他类继承。若父类把 equals()、hashCode() 或 toString() 标成 final，数据类会沿用该实现，而不会为对应成员生成覆盖。

构造验证与派生状态

数据类可以使用 init 块验证构造参数，也可以声明普通方法和计算属性。copy() 会再次调用构造逻辑，因此被替换参数和沿用参数都会一起接受当前验证规则。验证失败会在创建副本时抛出与直接构造相同的异常。

能由构造函数属性纯粹计算出来的值通常不必再进入构造函数。例如，fullName 可以是根据 givenName 和 familyName 计算的只读属性。它不需要单独参与相等性，因为输入相同已经保证结果相同。

缓存则需要更谨慎。把可变缓存留在类体可以避免它影响值语义，但每个 copy() 都会得到重新初始化的缓存。若缓存持有外部资源或需要显式关闭，数据类往往不是合适的所有者。

默认构造参数属于创建 API，也会成为 copy() 的默认机制的一部分。添加或修改默认值前，要分别检查新建实例与复制现有实例的行为；前者使用声明中的默认值，后者默认沿用接收者的当前属性。

示例

值相等、标识与解构

两个 Delivery 实例分别创建，却含有相同的构造函数值。结构相等性比较内容，引用相等性比较实例本身；解构则按声明顺序取出属性。

first == sameValue 调用生成的 equals()，所以结果是 true。first === sameValue 检查对象标识，两个构造调用产生不同实例，因此结果是 false。

最后一行中的变量依次对应 component1()、component2() 和 component3()。如果只需要 id，直接写 first.id 通常比解构三个属性更能抵抗以后调整属性顺序造成的错误。

用 copy() 表达状态变化

数据类常用来表示状态快照。下面的代码同时替换订单状态和商品列表；items + "keyboard" 会产生一个新列表，因此旧订单观察不到新增项。

enum class OrderStatus { CREATED, PAID }

data class Order(
    val id: String,
    val status: OrderStatus,
    val items: List<String>,
)

fun main() {
    val created = Order(
        id = "O-204",
        status = OrderStatus.CREATED,
        items = listOf("monitor"),
    )

    val paid = created.copy(
        status = OrderStatus.PAID,
        items = created.items + "keyboard",
    )

    println(created)
    println(paid)
    println(created === paid)
}

Order(id=O-204, status=CREATED, items=[monitor])
Order(id=O-204, status=PAID, items=[monitor, keyboard])
false

copy() 总会构造新的外层 Order，即使没有参数也不会返回原实例。这里的隔离来自显式创建了新列表，而不是来自 copy() 自动递归复制。

List 是 只读集合（read-only collection） 接口，只表示该引用不暴露修改操作。若底层对象仍被其他 MutableList 引用修改，List 视图依然会看到变化；需要稳定快照时，要在所有权边界复制数据并约束元素的可变性。

观察浅拷贝的共享引用

把可变列表放进数据类后，无参数 copy() 会让两个外层对象共享同一个列表。修改副本中的列表，也会改变原实例观察到的内容。

data class Team(
    val name: String,
    val members: MutableList<String>,
)

fun main() {
    val original = Team(
        name = "platform",
        members = mutableListOf("Mina", "Noah"),
    )
    val sharedCopy = original.copy()
    sharedCopy.members += "Omar"

    val isolatedCopy = original.copy(
        members = original.members.toMutableList(),
    )
    isolatedCopy.members += "Priya"

    println(original.members)
    println(sharedCopy.members)
    println(isolatedCopy.members)
}

[Mina, Noah, Omar]
[Mina, Noah, Omar]
[Mina, Noah, Omar, Priya]

sharedCopy 与 original 的 members 是同一引用，所以两行输出相同。toMutableList() 只复制列表结构；如果元素本身可变，两个列表仍可能共享元素对象。

实际建模时，优先暴露不需要修改的集合，并在接收外部可变集合时明确所有权。确实需要可变副本时，应为每一层规定复制策略，而不是把 copy() 当作通用的深拷贝操作。

类体属性不进入值语义

类体中的 displayName 不参与生成的成员。两个客户即使显示名称不同，只要 id 相同就会比较为相等；复制时，新实例还会重新执行类体初始化。

data class Customer(val id: String) {
    var displayName: String = "anonymous"
}

fun main() {
    val first = Customer("C-8").apply {
        displayName = "Ada"
    }
    val second = Customer("C-8").apply {
        displayName = "Grace"
    }
    val copied = first.copy()

    println(first == second)
    println(first)
    println(first.displayName)
    println(copied.displayName)
}

true
Customer(id=C-8)
Ada
anonymous

这种设计只有在 displayName 明确不属于客户值语义时才合理。如果业务认为显示名称是状态快照的一部分，就应把它移到主构造函数中；这样相等性、字符串表示和 copy() 才会采用一致边界。

类体属性适合缓存、派生值或刻意排除的运行时附加状态，但它们很容易造成“看起来像完整复制，实际丢字段”的错觉。为这类排除写出理由，并用相等性与复制测试固定约定。

陷阱

修复方法： 先写出对象的相等性定义，再让所有构成该定义的状态进入主构造函数。只有缓存、派生值或明确属于实例而不属于值的状态才放进类体，并针对排除行为编写测试。

修复方法： 在模型边界明确集合所有权，需要快照时复制集合，并检查元素是否也可变。状态模型优先使用只读类型，但不要把只读类型当作不可变性的证明。

修复方法： 用稳定、不可变的专用键作为 HashMap 键或 HashSet 元素。若模型允许编辑，先从集合移除旧键，再以新值插入；更清楚的做法通常是创建新实例。

修复方法： 值集合优先使用 List。必须使用数组时，同时重写 equals() 与 hashCode()，分别采用匹配的 contentEquals() 和 contentHashCode()；嵌套数组需要相应的深层版本。

修复方法： 不要依赖通用 toString() 记录含敏感值的模型。使用经过字段白名单筛选的日志结构，或提供遮盖敏感值的显式表示，并用测试确认日志输出不含原值。

修复方法： 跨 API 边界优先按属性名访问。只在位置短小且稳定时解构，并在修改公开数据类的属性顺序前查找所有解构调用点。

延伸阅读

下面是 Kotlin 官方语言指南所使用的持续维护源页面。相等性页面还链接到前文陷阱中使用的标准库数组内容操作。

• Kotlin 文档源文件：数据类
• Kotlin 文档源文件：相等性
• Kotlin 文档源文件：解构声明