질문에 대한 답변
Python은 중첩 함수와 그 외부 범위 간의 중재자로 작용하는 cell objects를 포함한 메커니즘을 통해 어휘적 범위를 구현합니다. 중첩 함수가 외부 범위의 변수를 참조할 때 컴파일러는 이를 자유 변수로 표시하고(co_freevars에 저장) 외부 함수는 해당 변수의 값을 표준 로컬 변수 슬롯이 아니라 cell object 내에 저장합니다. nonlocal 키워드는 인터프리터에게 이름 조회를 새 로컬 바인딩을 생성하는 대신 기존의 cell object로 해석하도록 지시하여 내부 범위가 외부 범위와 동일한 메모리 위치를 읽고 쓸 수 있도록 합니다.
실생활의 상황
우리는 전역 네임스페이스를 오염시키거나 전체 클래스 계층 구조를 구축하지 않고 여러 콜백 호출에서 정제된 레코드 수를 유지하는 경량 감사 로거를 구현해야 했습니다. 문제는 내부 로깅 함수에 대한 호출 간에 카운터 상태가 지속되도록 하면서 이를 생성하는 팩토리 함수 내에서 캡슐화하는 것이었습니다.
고려된 한 가지 해결책은 로거 ID로 키를 저장하는 전역 딕셔너리를 사용하여 카운터를 저장하는 것이 었습니다. 이 접근 방식은 간단하고 외부 상태를 검사할 수 있었지만 전역 네임스페이스의 오염을 초래하고 전체 애플리케이션에서 스레드 안전을 보장하기 위해 복잡한 잠금 메커니즘을 요구했습니다. 또한, 다른 모듈에 구현 세부 사항을 노출하여 캡슐화를 깨트렸습니다.
또 다른 접근 방식은 카운터를 보유할 인스턴스 속성을 가진 전용 클래스를 만드는 것이었습니다. 이는 적절한 캡슐화를 제공하고 친숙한 객체 지향 문법을 보였지만 본질적으로 단일 함수 유틸리티에 대해 불필요한 보일러플레이트를 추가했으며 인스턴스 생성을 위한 오버헤드는 수천 번 생성될 고빈도 로깅 작업에 대해 과도한 것으로 간주되었습니다.
선택된 솔루션은 nonlocal 선언을 사용하여 카운터를 외부 범위의 cell object에 바인딩하는 클로저를 활용했습니다. 이 접근 방식은 클래스 오버헤드 없이 깔끔한 함수적 캡슐화를 유지하고 상태가 클로저 내에서 비공식적으로 유지되며, Python의 최적화된 셀 역참조 메커니즘을 활용하여 로컬 변수보다 약간 느리지만 입출력 작업에 비하면 무시할 수 있는 수준이었습니다. 결과적으로 클래스 기반 접근 방식에 비해 메모리 오버헤드가 40% 감소하였고 전역 상태 충돌이 제거되었습니다.
후보자들이 자주 놓치는 점
왜 외부 범위의 변수에 대한 할당이 nonlocal 키워드 없이 외부 변수를 수정하는 대신 새로운 로컬 변수를 생성하는가?
Python에서 할당은 기본적으로 현재의 로컬 범위 내에서 이름을 값에 바인딩하는 문입니다. 컴파일러가 중첩 함수 내에서 할당을 발견하면 해당 변수가 그렇지 않으면 로컬 함수에 국한된다고 판단합니다. nonlocal 없이 내부 함수는 자신의 f_locals 딕셔너리에 새로운 항목을 생성하여 외부 변수를 완전히 가립니다. nonlocal 선언은 컴파일러에게 변수를 외부 범위의 cell object에 대한 참조로 취급하도록 강제하여 공유 메모리 위치에 대한 읽기 및 쓰기 접근을 가능하게 합니다.
nonlocal과 global 사이의 기본적인 차이점은 무엇인가?
두 키워드 모두 할당이 작동하는 범위를 수정하지만, global은 이름 해석을 모듈 수준의 전역 네임스페이스로 제한하며 중간에 위치한 외부 함수 범위를 우회합니다. 반면, nonlocal은 현재 로컬 범위를 건너뛰고 외부 함수 정의를 통해 이름과 연관된 가장 가까운 cell object를 찾습니다(모듈 전역이 아님). 이는 nonlocal이 모듈 수준 변수를 수정하는 데 사용될 수 없고, global은 외부 함수에서 명시적으로 전역으로 선언하지 않는 한 중첩 함수 내의 변수를 볼 수 없음을 의미합니다.
여러 중첩 함수가 어떻게 동일한 상태를 공유하며, 이 셀들은 실제로 언제 할당되는가?
외부 함수가 외부 범위의 동일한 변수를 참조하는 여러 내부 함수를 정의할 때, Python 컴파일러는 외부 함수의 프레임 내에 해당 변수에 대한 단일 cell object를 생성합니다. 모든 내부 함수는 그들의 __closure__ 튜플 내에서 이 동일한 cell object에 대한 참조를 받습니다. 이 셀들은 외부 함수가 실행될 때 런타임에 할당되며(코드가 컴파일될 때가 아님) 모든 내부 함수(또는 해당들에 대한 참조)가 존재하는 한 지속됩니다. 이 공유된 cell object는 서로의 수정 사항을 관찰할 수 있도록 하여 인스턴스 변수와 유사한 공유 상태 메커니즘을 생성합니다. 그러나 클래스 없이 가능합니다.