为何Kotlin中Int类无法被继承？源码显示其为public类

为什么Kotlin的Int是final类但源码只写了public？ #

Kotlin里所有类默认都是final的，不需要显式添加final关键字。你看到的源码里public class Int，本质就是public final class Int——这是Kotlin的语法规则，默认禁止继承，除非给类加上open（可继承）、abstract（抽象类）或者sealed（密封类）修饰符。

官方把Int这类基本类型类设为final的核心原因：

• 保证类型一致性：基本类型的行为（比如加减运算、equals/hashCode逻辑）是固定且可靠的，继承会破坏这种一致性，导致不可预期的行为。
• JVM性能优化：Kotlin的非空Int在JVM上会尽可能映射为原生int类型（而非包装类Integer），如果允许继承，JVM无法再做这种原生类型的优化，会带来性能损耗。
• 避免多态风险：如果允许继承Int，子类重写equals、compareTo等方法后，会破坏基本类型的比较逻辑，引发难以排查的bug。

如何实现类似Zod、Squant的类型约束库？ #

既然没法直接继承Int这类基本类型，推荐用以下几种Kotlin原生方案替代：

1. 使用内联类（inline class） #

内联类是Kotlin专门用来包装基本类型的特性，编译后会直接用原生类型替代，几乎没有性能损耗，同时能实现自定义类型约束：

inline class PositiveInt(val value: Int) {
    init {
        require(value > 0) { "PositiveInt must be greater than 0" }
    }
    
    // 可以添加自定义方法
    fun increment(): PositiveInt = PositiveInt(value + 1)
}

// 使用示例
val num = PositiveInt(5)
// val invalidNum = PositiveInt(-1) // 会抛出IllegalArgumentException

2. 委托模式封装 #

创建一个类，通过委托实现Int的核心行为，同时添加自定义校验逻辑：

class ValidatedInt(private val value: Int) : Comparable<ValidatedInt> {
    init {
        // 自定义校验规则，比如必须是偶数
        require(value % 2 == 0) { "ValidatedInt must be even" }
    }
    
    // 委托Int的比较逻辑
    override fun compareTo(other: ValidatedInt): Int = value.compareTo(other.value)
    
    // 暴露核心方法
    fun plus(other: Int): ValidatedInt = ValidatedInt(value + other)
    
    // 重写toString等方法
    override fun toString(): String = value.toString()
}

3. 数据类+扩展函数 #

用数据类封装基本类型，配合扩展函数实现类型校验和转换：

data class NonEmptyString(val value: String)

// 扩展函数做校验
fun String.toNonEmptyString(): NonEmptyString {
    require(isNotEmpty()) { "String cannot be empty" }
    return NonEmptyString(this)
}

// 使用示例
val validStr = "hello".toNonEmptyString()
// val invalidStr = "".toNonEmptyString() // 抛出异常

4. 编译期注解处理器 #

如果需要类似Zod的运行时+编译期双重校验，可以自定义注解，配合KAPT（Kotlin Annotation Processing Tool）在编译阶段检查类型约束，提前发现错误。

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