Kotlin不可变参数需复制修改时对空间复杂度的影响及解决方案

数据老陈

2026-8-28

Kotlin参数不可变特性与空间复杂度相关问题解答

首先纠正最基础的认知偏差：Kotlin规定函数参数默认是val修饰的不可变变量，这个规则的约束范围仅限参数本身这个局部变量的引用/值重赋值，完全不约束参数指向的堆内存对象的内部修改。

对两个核心问题的直接回答

你给出的示例代码中// not working的注释是错误的，这段代码可以正常编译运行，直接修改传入IntArray的第一个元素，全程没有创建数组副本，本身就是标准的O(1)空间原地操作。

fun replaceFirstElement(nums: IntArray, number: Int) {
    // 这段代码实际是生效的，调用后外层传入的nums[0]会被修改
    nums[0] = number
}

很多人混淆了两个完全不同的概念，才会产生“必须拷贝参数才能修改”的误解：

不被允许的操作：给参数变量本身重新赋值，比如在函数内写nums = intArrayOf(1,2,3)，这种试图让函数内的nums变量指向另一个新数组的操作会编译报错，因为参数是val的，不能被重新赋值。
完全合法的操作：修改参数指向对象的内部内容，比如修改数组元素、修改可变对象的公开属性、调用可变对象的修改类方法（比如MutableList.add()），这些操作和参数的val修饰没有任何冲突，不会触发对象拷贝。

只有两种场景你会感受到这个特性的约束，两种场景都不需要付出O(n)的拷贝空间代价，完全可以保持O(1)空间复杂度：

需要在函数内对参数本身做重赋值操作（比如循环、递归中移动指针、覆盖参数值做中间计算）
解决方案：定义一个局部var变量承接参数值即可，这个操作只会拷贝一个引用（引用类型仅占几字节的指针大小）或基本类型值，额外空间开销是常数级。
示例代码：
```
fun sumArray(nums: IntArray): Int {
    // 局部可变变量，没有拷贝整个数组，仅拷贝了数组引用
    var index = 0
    var total = 0
    while (index < nums.size) {
        total += nums[index]
        index++
    }
    return total
}
```
传入的参数类型本身是只读/不可变的（比如Kotlin默认的只读List<T>、String这类设计上就不支持原地修改的类型）
解决方案：如果需要做原地修改，直接在定义函数参数时使用可变类型，比如MutableList<T>、StringBuilder、基础类型数组（IntArray/CharArray等）即可。这种场景下无法原地修改是类型本身的特性导致的，和函数参数不可变的规则没有关系。

内容的提问来源于stack exchange，提问作者Dr4ke the b4dass