静态编程语言是“按值传递”还是“按引用传递”？

Question

从这篇文章中我知道Java是按值传递的。我来自Java背景，我想知道Kotlin是用什么在它们之间传递值的。比如扩展或方法等。

Answer 1

语义与Java相同。

在Java中，当您拥有一个对象的实例，并将其传递给一个方法时，该方法可以更改该对象的状态，当该方法完成时，这些更改将在调用站点应用于该对象。

这同样适用于静态编程语言。

Answer 2

它使用与Java相同的原理。它总是按值传递，您可以想象一个副本被传递。对于基元类型，例如＜code＞Int＜/code＞，这是显而易见的，这样一个参数的值将被传递到函数中，外部变量不会被修改。请注意，Kotlin中的参数不能重新分配，因为它们的行为类似于vals：

fun takeInt(a: Int) {
    a = 5
}

此代码将无法编译，因为a无法重新分配。

对于对象来说，这有点困难，但它也是按值调用的。如果使用对象调用函数，则会将其引用的副本传递到该函数中：

data class SomeObj(var x: Int = 0)

fun takeObject(o: SomeObj) {
    o.x = 1
}

fun main(args: Array<String>) {
    val obj = SomeObj()
    takeObject(obj)
    println("obj after call: $obj") // SomeObj(x=1)
}

您可以使用传入函数的引用来更改实际的对象。

Answer 3

每次我听到关于“传递值”与“传递引用”的Java争论时，我总是这么想。我给出的答案是：“Java传递引用（按引用传递）的副本（按值传递）”。所以每个人都很开心。我想说，Kotlin的功能与基于JVM的语言相同。

更新

好的，所以这个答案已经有一段时间了，我认为应该包括一些澄清。正如@robert-liberatore在评论中提到的，我所描述的行为对于对象是正确的。每当方法需要任何对象时，您都可以假设 JVM 将在内部复制对该对象的引用并将其传递给您的方法。这就是为什么拥有这样的代码

void doSomething(List<Integer> x) {
  x = new ArrayList<Integer>()
}

List<Integer> x = Arrays.asList(1, 2, 3);
doSomething(x);
x.length() == 3

行为就像它一样。您正在将引用复制到列表中，因此“重新分配它”在实际对象中无效。但由于您引用的是同一个对象，修改其内部内容将影响外部对象。

为了实现不变性，将属性定义为< code>final时，您可能会忽略这一点。您将无法重新分配它们，但是没有什么可以阻止您更改其内容

当然，对于有引用的对象也是如此。在原语的情况下，它不是对包含某物的对象的引用，而是对“某物”本身的引用，事情是不同的。Java仍然会复制整个值(就像复制整个引用一样)并将其传递给方法。但原语只是值，你不能“修改它的内在值”。所以方法内部的任何变化都不会影响外部的值

现在，谈论 Kotlin

在科特林，你“没有”原始的价值观。但是你“确实有”原始类。在内部，编译器会尝试在需要的地方使用JVM原语值，但是您可以假设您总是使用JVM原语的装箱版本。因此，在可能的情况下，编译器只会复制原始值，而在其他情况下，它会复制对对象的引用。或者用代码

fun aJvmPrimitiveWillBeUsedHere(x: Int): Int = x * 2

fun aJvmObjectWillBeUsedHere(x: Int?): Int = if (x != null) x * 2 else 1

我想说，Kotlin场景比Java安全一点，因为它强制其参数是最终的。所以你可以修改它的内部内容，但不能重新分配它

fun doSomething(x: MutableList<Int>) {
    x.add(2)                  // this works, you can modify the inner state
    x = mutableListOf(1, 2)   // this doesn't work, you can't reassign an argument
}