Параметры в функции / методе передаются по значению или по ссылке?

Python проходит по объекту. В change_list1 вы передаете изменяемый объект и мутируете его. Это тот же объект (список), просто измененный (содержимое изменено). mylist - это локальный параметр, который ссылается на объект. Функция возвращает исходный объект. Вы обнаружите, что his_list изменен, потому что он относится к одному и тому же объекту.

В change_list2 вы также передаете изменяемый объект, но вместо его изменения вы назначаете новый объект локальному параметру. Исходный объект не изменяется. Функция возвращает новый объект.

Полезно рассматривать переменные в Python как просто имена объектов. Когда вы передаете параметры функции, имена параметров в функции являются просто новыми именами для исходных объектов, переданных в функцию.

Это можно увидеть, напечатав идентификаторы имен объектов, переданных в функцию, и идентификаторы имен объектов параметров:

a = [1,2,3] # mutable object (content can be altered)
b = 1       # immutable object (content can't be altered).

print(f'id(a) = {id(a)}, id(b) = {id(b)}')

def func(c,d):
    print('INSIDE func')
    print(f'id(c) = {id(c)}, id(d) = {id(d)}')
    c.append(4)  # mutable object can be altered.
    d = 4        # local name 'd' assigned a new object.
    print('AFTER altering c & d')
    print(f'id(c) = {id(c)}, id(d) = {id(d)}')
    return c,d

e,f = func(a,b)

print('AFTER func called')
print(f'id(a) = {id(a)}, id(b) = {id(b)}')
print(f'id(e) = {id(e)}, id(f) = {id(f)}')

print(f'a = {a}, b = {b}')
print(f'e = {e}, f = {f}')

Выход:

id(a) = 2290226434440, id(b) = 1400925216
INSIDE func
id(c) = 2290226434440, id(d) = 1400925216
AFTER altering c & d
id(c) = 2290226434440, id(d) = 1400925312
AFTER func called
id(a) = 2290226434440, id(b) = 1400925216
id(e) = 2290226434440, id(f) = 1400925312
a = [1, 2, 3, 4], b = 1
e = [1, 2, 3, 4], f = 4

Обратите внимание, что идентификаторы a и b совпадают с именами параметров c и d. Имена относятся к тем же объектам.

c объект мутируется. a относится к одному и тому же объекту, поэтому будет отображаться одно и то же изменение.

d объект неизменен. Не существует таких методов, как .append для изменения содержимого объекта. d можно переназначить. Он переназначается и показывает новый идентификатор. b объект не изменяется.

После вызова функции e становится новым именем для объекта c (также называемого a). Имя c больше не существует. Это было имя локальной функции. f становится новым именем для объекта d (целое число 4) и d больше не существует. b не изменяется и ссылается на исходное целое число 1.

a и e относятся к исходному, но мутированному объекту. b и f относятся к разным неизменяемым объектам.