Python의 기본 인수 가변성이 최소 놀라움의 원칙을 위반하는 것처럼 보이는 이유는 무엇입니까?

기본 인수 변경 가능성과 최소 놀라움의 원칙

Python 커뮤니티는 오랫동안 "최소 놀라움" 원칙과 씨름해 왔습니다. 직관적이고 기대에 부응하는 디자인 기능. 그러나 기본 인수의 변경 가능성은 이 원칙에서 어리둥절하게 벗어납니다.

다음 함수를 고려해보세요.

def foo(a=[]):
    a.append(5)
    return a

Python 초보자는 매개 변수 없이 이 함수를 호출하면 일관되게 목록이 생성될 것이라고 예상할 수 있습니다. 단 하나의 요소만 사용: [5]. 그러나 실제 동작은 훨씬 더 특이합니다.

>>> foo()
[5]
>>> foo()
[5, 5]
>>> foo()
[5, 5, 5]
>>> foo()
[5, 5, 5, 5]

이 동작은 "극적인 디자인 결함"으로 보는 일부 사람들로부터 비판을 받았습니다. 그러나 그 뒤에는 논리적인 설명이 있습니다.

Python의 함수는 일급 객체입니다. 즉, 다른 유형과 마찬가지로 조작하고 변수에 할당할 수 있습니다. def 문이 실행되면 함수 객체가 생성됩니다. 이 객체에는 함수의 코드뿐만 아니라 속성으로 저장되는 기본 인수도 포함됩니다.

기본적으로 기본 인수는 함수 호출 시점이 아닌 함수 정의 시점에 평가됩니다. 이는 기본 인수의 상태가 프로그램 실행 전반에 걸쳐 변경되어 foo 함수에서 관찰된 동작으로 이어질 수 있음을 의미합니다.

이 디자인 결정은 일관성을 유지해야 할 필요성에서 비롯됩니다. 기본 인수가 함수 호출 시 평가되면 def 라인은 바인딩의 일부가 정의와 호출 모두에서 발생하는 하이브리드 문이 됩니다. 이 접근 방식은 추가적인 복잡성과 잠재적인 혼란을 야기할 수 있습니다.

effbot에서 언급했듯이 이 동작은 실제 적용이 가능합니다. 예를 들어, 다음 코드를 고려해보세요.

def a():
    print("a executed")
    return []

def b(x=a()):
    x.append(5)
    print(x)

a executed
>>> b()
[5]
>>> b()
[5, 5]

여기서 x의 기본값은 함수 정의 시 평가되어 b()의 횟수에 관계없이 a()가 한 번만 호출되도록 합니다. 호출됩니다.

결론적으로 Python에서 기본 인수의 가변성은 일관성을 우선시하고 일류 함수의 원칙에 부합하는 의도적인 설계 선택입니다. 처음에는 직관적이지 않은 것처럼 보일 수도 있지만 기능 구현 시 더 큰 제어력과 유연성을 제공합니다.

위 내용은 Python의 기본 인수 가변성이 최소 놀라움의 원칙을 위반하는 것처럼 보이는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!