파이썬 문자열 interning

Question

이 질문은 실제로 사용하지는 않지만 파이썬이 어떻게 인턴 문자열을 작성하는지 궁금합니다. 나는 다음을 주목했다.

>> "string" is "string" 
>> True 

이것은 예상대로입니다.

이 작업을 수행 할 수도 있습니다.

>> "strin"+"g" is "string" 
>> True 

그리고 그것은 꽤 영리합니다!

하지만이를 수행 할 수 없습니다.

>> s1 = "strin" 
>> s2 = "string" 
>> s1+"g" is s2 
>> False 

왜 파이썬은 s1+"g"을 평가, 그것은 s1과 동일 실현과 같은 주소를 가리하지 않을까요? 마지막 블록에서 실제로 어떤 일이 일어나서 False을 반환합니까?

Answer 1

이것은 구현에 따라 다르지만 인터프리터는 아마도 런타임시의 결과가 아닌 컴파일 타임 상수 일 수 있습니다.

다음은 CPython 2.7.3을 사용합니다.

두 번째 예에서는 "strin"+"g"이라는 표현식을 컴파일 할 때 계산되며 "string"으로 바뀝니다. 이것은 처음 두 예제가 똑같이 동작하도록합니다. 우리가 바이트 코드를 살펴보면

, 우리는 그들이 정확히 같은 것을 볼 수 있습니다 :

:

# s1 = "string" 
    2   0 LOAD_CONST    1 ('string') 
       3 STORE_FAST    0 (s1) 

    # s2 = "strin" + "g" 
    3   6 LOAD_CONST    4 ('string') 
       9 STORE_FAST    1 (s2) 

세 번째 예는 자동으로 구금되지 않는 결과가있는 런타임 연결을 포함한다 당신이 있다면

# s3a = "strin" 
    # s3 = s3a + "g" 
    4   12 LOAD_CONST    2 ('strin') 
      15 STORE_FAST    2 (s3a) 

    5   18 LOAD_FAST    2 (s3a) 
      21 LOAD_CONST    3 ('g') 
      24 BINARY_ADD   
      25 STORE_FAST    3 (s3) 
      28 LOAD_CONST    0 (None) 
      31 RETURN_VALUE   

수동으로 세 번째 식의 결과를 intern()하려면 이전과 동일한 개체를 얻을 것 :

>>> s3a = "strin" 
>>> s3 = s3a + "g" 
>>> s3 is "string" 
False 
>>> intern(s3) is "string" 
True 

Answer 2

사례 1

>>> x = "123" 
>>> y = "123" 
>>> x == y 
True 
>>> x is y 
True 
>>> id(x) 
50986112 
>>> id(y) 
50986112 

사례 2

>>> x = "12" 
>>> y = "123" 
>>> x = x + "3" 
>>> x is y 
False 
>>> x == y 
True 

ID가 케이스 (1) 동일이 아닌 경우 1 년의 경우 2
에 왜 지금, 당신의 질문은, 문자 리터럴 "123"을 x 및 y에 할당했습니다.

문자열이 불변이므로 인터프리터가 문자열 리터럴을 한 번만 저장하고 모든 변수를 동일한 객체로 지정하는 것이 좋습니다.
따라서 ID는 동일합니다.

경우 2에서는 연결을 사용하여 x을 수정합니다. x과 y은 모두 동일한 값이지만 동일한 ID는 아닙니다.
둘 다 메모리의 다른 개체를 가리 킵니다.따라서 그들은 다른 id과 is 연산자를 반환했습니다 False