python如何判断参数是引用还是值？

Question

在 C++ 中，void somefunction(int) 传递一个值，而 void somefunction(int&) 传递一个引用。在 Java 中，原语是按值传递的，而对象是按引用传递的。 python是如何做出这个决定的？

编辑：既然一切都是通过引用传递的，为什么会这样：

def foo(num):
    num *= 2

a = 4
foo(a)

print(a)

打印“4”而不是“8”？

Answer 1

它通过引用传递所有内容。即使您指定了一个数值，它也是对包含该值的表的引用。这是静态语言和动态语言之间的区别。类型与值保持一致，而不是与容器保持一致，变量只是对所有值所在的“值空间”的引用。您可以假设这个值空间包含所有可能的不可变对象（整数、浮点数、字符串）以及您创建的所有可变对象（列表、字典、对象）。当然，只有当你涉及到它们时，它们的存在才会具体化（也就是说，如果你在程序中从不使用数字 42，那么“值空间”中的值 42 就不存在分配空间）

它这样做是因为它所指的数字是一个不可变的对象。无论如何，4就是4。

def foo(num): # here, num is referring to the immutable entity 4
    num *= 2  # num now refers to the immutable entity 8

a = 4        # a now is pointing to the immutable entity 4
foo(a)       # a is still referring to the same entity 4

print(a)     # prints what a refers to, still 4

但是，如果你这样做

def foo(l):      # here, l refers to the list it receives
    l.append(5)  # the list is appended with the number 5

a = []       # a now is pointing to a specific mutable list 
foo(a)       # a is still referring to the same specific mutable list

print(a)     # prints what a refers to, the specific mutable list which now contains [5]

Answer 2

这里的术语存在分歧。在 Java 社区中，他们说一切都是按值传递的：原语是按值传递的；引用是按值传递的。 （如果您不相信，只需在此站点上搜索 Java 并通过引用传递。）请注意，“对象”不是语言中的值。只有对对象的引用。

它们使用的区别在于，在 Java 中，当您传递引用时，调用者范围内的原始引用变量永远不能被被调用者更改（即指向不同的对象），这应该是可能的通过引用传递。只有引用指向的对象可能会发生变异，但这无关紧要。

Python 值的工作方式与 Java 中的引用完全相同。如果我们使用相同的定义，那么我们会说 Python 中的所有内容都是引用，并且所有内容都是按值传递的。当然，Python 社区中的一些人使用不同的定义。

术语上的分歧是大部分混乱的根源。

既然你提到了 C++，那么你所拥有的 Python 代码就相当于 C++ 中的类似代码：

void foo(const int *num) {
    num = new int(*num * 2);
}

const int *a = new int(4);
foo(a);

print(a);

注意，参数是一个指针，与 Java 和 Python 中的引用最为相似。

Answer 3

响应您的编辑，这是因为整数在 Python 中是不可变的。所以a 没有改变，原因与运行此代码时没有改变的原因相同：

a = 4
num = a
num *= 2
print(a)

您没有更改num（因此a），您正在创建一个新号码并将其分配给num。

Answer 4

参数实际上是按值传递的。函数被传递给变量引用的对象，而不是变量本身。函数不能重新绑定调用者的变量。函数不能更改不可变对象，但可以更改（请求更改）可变对象。

Answer 5

一切都是通过引用传递的。一切都是对象。

Answer 6

这实际上不是函数调用语义，而是赋值语义。在 Python 中，赋值是通过重新绑定引用而不是覆盖原始对象来完成的。这就是示例代码打印 4 而不是 8 的原因——它与对象的可变性无关，更重要的是 *= 运算符不是一个增变器，而是一个乘法，然后是一个赋值。这里的 num *= 2 实质上是将该函数中的“num”名称重新绑定到值“num * 2”的新对象。您传入的原始值始终保持不变。