왜 파이썬 VM은 co_consts를 사용하는 대신 co_names를 사용합니까?

Question

파이썬 컴파일러에 의해 생성 된 코드 객체는 명령어 (co_consts)에서 사용 된 상수의 튜플과 이름이 포함 된 튜플 (이름이 co_names)을 포함합니다.

두 개의 별개 목록이있는 이유는 무엇입니까? 이름에도 co_consts을 사용하는 것이 더 간단하지 않습니까?

Answer 1

다음 기능을 고려하십시오.

def f(x): 
    x += n 
    return x * 4 

여기서 x은 로컬 이름이므로 값이 변경 될 수 있습니다. 4은 상수입니다. 그 가치는 변하지 않을 것입니다. 그러나 여전히 객체이며, 필요할 때마다 새 객체를 만드는 것이 아니라 캐시하는 것이 좋습니다. 마지막으로 n은 글로벌 참조입니다. 문자열 "n"은 함수의 전역 컨텍스트에서 n을 검색하는 키로 사용할 수 있도록 함수에 의해 저장됩니다.

>>> f.__code__.co_nlocals # just 1 (for x) 
1 
>>> f.__code__.co_consts 
(None, 4) 
>>> f.__code__.co_names 
('n',) 
>>> "n" in f.__globals__ and globals() is f.__globals__ 
True 

이름과 const를 별도로 유지하는 이유는 인트로 스펙 션을위한 것입니다. 튜플을 병합 할 수있는 유일한 이유는 메모리 효율성입니다.하지만 함수 당 하나의 객체와 포인터 만 얻을 수 있습니다. 다음 함수를 고려하십시오. consts가 포함 된 튜플은 튜플 포함 된 이름과 병합 된 경우

def g(): 
    return "s" * n 

다음 (안 VM)의 접근 전역에 대한 있었고, 함수의 상수 된 어떤 값 말할 수 없을 것입니다.

Answer 2

나는이 대답은 유효 기간이 11개월 비슷하지만 내 땜질에서 보인다 알고있는 사람이 LOAD_GLOBAL (공동 이름 지수)를 사용, 바이트 코드에 co_names에 액세스하려면

일어나고 다음이가에 대한 참조를 밀어 스택에 원하는 co_names는, 예를 들어, 하나 LOAD_CONST (공동 consts 인덱스)

바이트 코드에 co_consts 액세스 간접 사용의 이러한 스택, 즉 직접적인

I에 원하는 co_consts에 저장된 실제 값을 푸시 파이썬 수준에서 직접적인 영향을 미치지는 모르겠지만 바이트 코드 수준에서 보면 차이점