Isso é por design. Uma função acessa variáveis no seu escopo léxico mais geral (no caso, o top-level do módulo) e pode modificá-las à vontade. Não há qualquer cópia sendo feita. Inclusive essa é a razão pela qual não se deve usar dados mutáveis como parâmetros default de funções:
>>> def foo(x=[]):
... x.append('bar')
... print x
...
>>> foo()
['bar']
>>> foo()
['bar', 'bar']
>>> foo()
['bar', 'bar', 'bar']
Se você precisa que dentro de sua função f
exista uma lista idêntica àquela definida fora no momento da chamada, que você possa modificar à vontade sem interferir na lista original, a única saída é fazer uma cópia mesmo. E sua forma de copiar uma lista está ok.
P.S. Relendo sua pergunta, percebo que isso independe da função acessar uma variável de fora ou não:
x = [1, 2]
def f(y):
y[1] = "novo valor"
return y
f(x)
def g():
x[1] = "novo valor"
return x
g()
Sendo o parâmetro mutável, as alterações feitas no mesmo persistirão após o término da função.
Atualização: se você busca por um modo genérico de copiar argumentos de funções para evitar que os mesmos sejam acidentalmente alterados, uma maneira é criando um decorador que faça uma cópia profunda de todos os seus argumentos:
>>> from copy import deepcopy
>>> def sem_efeitos_colaterais(f):
... def ret(*args, **kwargs):
... args = [deepcopy(x) for x in args]
... kwargs = { deepcopy(k):deepcopy(v) for k,v in kwargs.items() }
... return f(*args, **kwargs)
... return ret
...
>>> @sem_efeitos_colaterais
... def foo(x):
... x.append(3)
... return x
...
>>> x = [1,2]
>>> foo(x)
[1, 2, 3]
>>> x
[1, 2]
Note que isso só garante contra mudanças nos parâmetros, não contra casos em que a função acessa variáveis no seu escopo léxico mais geral (ex.: a função g
do exemplo anterior). E, é claro, é bom frisar que fazer cópias de tudo tem um impacto negativo no desempenho...
g
da minha resposta).