数据类使用智能构造器时调用copy方法存在风险，如何规避？

你遇到的问题确实是数据类的通病：自动生成的copy方法会绕过智能构造器的校验逻辑，直接创建不符合约束的实例。除了放弃数据类，还有几个可行的解决方案：

1. 手动实现安全的copy方法（普通类替代数据类） #

放弃数据类的自动生成特性，改用普通类手动实现equals、hashCode、toString，同时自定义一个带校验的copy方法，复用智能构造器的逻辑：

object EmptyAuthorName

class Author private constructor(val name: String) {
    // 手动实现数据类核心特性
    override fun equals(other: Any?): Boolean {
        if (this === other) return true
        if (javaClass != other?.javaClass) return false
        other as Author
        return name == other.name
    }

    override fun hashCode(): Int = name.hashCode()

    override fun toString(): String = "Author(name=$name)"

    // 自定义安全copy，复用校验逻辑
    fun copy(name: String = this.name): Either<EmptyAuthorName, Author> = Author(name)

    companion object {
        operator fun invoke(name: String): Either<EmptyAuthorName, Author> = either {
            ensure(name.isNotEmpty()) { EmptyAuthorName }
            Author(name)
        }
    }
}

// 使用示例：此时copy会触发校验，不会生成非法实例
Author("fo")
    .flatMap { it.copy(name = "") } // 返回Either.Left(EmptyAuthorName)
    .run { println(this) }

2. 使用Arrow的精炼类型（Refined Types） #

Arrow提供了精炼类型库，可以直接对基础类型添加约束，数据类的copy方法会自动继承这些约束，从根源上避免非法值：

import arrow.refinement.Refined
import arrow.refinement.strings.NonEmpty

// 定义非空字符串的精炼类型
@JvmInline
value class NonEmptyString private constructor(val value: String) {
    companion object : Refined<String, NonEmptyString>(::NonEmptyString, NonEmpty)
}

// 数据类直接使用精炼类型作为属性
data class Author(val name: NonEmptyString)

// 使用示例
NonEmptyString.from("") // 返回Either<NonEmpty.Failure, NonEmptyString>（校验失败）
NonEmptyString.from("fo") // 返回Either.Right(NonEmptyString(value=fo))

// copy时必须传入合法的NonEmptyString，无法绕过约束
Author(NonEmptyString.from("fo").getOrThrow())
    .copy(name = NonEmptyString.from("").getOrThrow()) // 直接抛出异常，或用Either处理失败

3. 将数据类属性设为私有，限制copy调用 #

把数据类主构造函数的属性设为私有，只对外暴露只读访问器，这样外部无法通过copy方法直接传入非法值（因为copy的参数会继承主构造函数的可见性）：

object EmptyAuthorName

data class Author private constructor(private val _name: String) {
    // 对外暴露只读的name属性
    val name: String get() = _name

    companion object {
        operator fun invoke(name: String): Either<EmptyAuthorName, Author> = either {
            ensure(name.isNotEmpty()) { EmptyAuthorName }
            Author(name)
        }
    }
}

// 外部无法调用copy修改属性，因为_copy参数是私有
// Author("fo").map { it.copy(_name = "") } // 编译报错：_name is private in Author

方案对比 #

• 方案1：灵活性最高，完全自定义行为，但需要编写样板代码。
• 方案2：最符合Arrow的设计理念，代码简洁且约束安全，推荐优先采用。
• 方案3：实现简单，但限制了copy的使用，适合不需要频繁修改实例属性的场景。

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