Python의 is와 id

(ob1은 ob2)는 (id(ob1) == id(ob2))

와 동일합니다. 먼저 id 함수는 두 개체의 메모리 주소를 가져올 수 있습니다. 객체가 동일하다면 이 두 객체는 ​​하나의 객체여야 합니다. is와 동일합니다. 증거로 사용되는 Python 소스 코드.

static PyObject *
 cmp_outcome(int op, register PyObject *v, register PyObject *w)
{
 int res = 0;
 switch (op) {
 case PyCmp_IS:
  res = (v == w);
 break;
 case PyCmp_IS_NOT:
res = (v != w);
 break;

그런데 아래 코드에서 이런 상황이 어떻게 발생하는지 보시죠?

[1]: def bar(self, x):

...: self.x + y를 반환

...:

[2]: 클래스 Foo(객체):

...: x = 9

...: def __init__(self,x):

. ..:        self.x = x

...:     bar = bar

...:                      >

[4]에서: ​​foo.bar는 Foo.bar입니다

Out[4]: False

In [5]: id(foo.bar) == id(Foo .bar)

Out[5]: True

is에 따르면 두 객체가 False로 판단되지만, id에 따르면 True입니다. 이는 우리가 알고 있는 사실과 일치하지 않습니다. 이 현상을 어떻게 설명해야 할까요? 이 상황에 대한 가장 좋은 해결책은 dis 모듈을 호출하여 두 비교 문이 수행하는 작업을 확인하는 것입니다.

[7]에서: dis.dis("id(foo.bar) == id(Foo.bar)")

0 BUILD_MAP 10340

3 BUILD_TUPLE 28527

6

10 STORE_SLICE+1

11 SLICE+2

12 DELETE_SUBSCR

13 DELETE_SUBSCR

14 SLICE+2

15 BUILD_MAP 10340

18 PRINT_EXPR

19 JUMP_IF_FALSE_OR_POP 11887

22 DELETE_GLOBAL 29281 (29281)

25 STORE_SLICE+1

[8]에서: dis.dis("foo.bar는 Foo.bar입니다")

0 BUILD_TUPLE 28527

3

3

4 DELETE_GLOBAL 29281 (29281)

7 SLICE+2  

8 BUILD_MAP 8307

11 PRINT_EXPR

12 SE_OR_POP 11887

15 DELETE_GLOBAL 29281 (29281)

실제 상황은 .연산자가 실행되면 실제로 프록시 객체가 생성되고, foo.bar가 Foo.bar이면 두 객체가 순차적으로 생성되고 주소가 다르기 때문에 반드시 False여야 하는데 id(foo.bar) == id(Foo.bar)일 때는 다릅니다. 먼저 foo.bar가 생성되고 foo의 주소가 생성됩니다. bar가 계산됩니다. foo.bar의 주소를 계산한 후에는 foo.bar를 가리키는 객체가 없으므로 foo.bar 객체가 해제됩니다. 그런 다음 Foo.bar 객체를 생성합니다. foo.bar와 Foo.bar는 동일한 메모리 크기를 차지하므로 원래 foo.bar의 메모리 주소가 재사용되므로 id(foo.bar) == id(Foo.bar )은 참입니다.

다음 내용은 Leo Jay가 이메일을 통해 더 명확하게 설명합니다.

id(expression a) == id(expression b)를 사용하여 두 표현식의 결과가 동일한 객체인지 확인하는 아이디어는 문제가 있습니다.

　foo.bar 이 형식을 속성 참조[1]라고 하며 표현식의 한 종류입니다. foo는 인스턴스 객체이고, bar는 메소드이다. 이때 foo.bar 표현식이 반환한 결과를 메소드 객체라고 한다[2]. 문서에 따르면

데이터 속성이 아닌 인스턴스 속성이 참조되면

이름이 유효한 클래스 속성을 나타내는 경우

해당 클래스가 검색됩니다. 즉, 함수 객체인 경우 메소드 객체는 인스턴스 객체와 방금 찾은 함수 객체를

추상 객체에 함께

패킹하여 생성됩니다. 이것이 메소드 객체입니다.

foo.bar 자체는 단순한 이름이 아니라 메소드 객체인 표현식의 계산 결과입니다. id(foo.bar)와 같은 표현식에서 메소드 객체는 임시 중간체일 뿐입니다. 임시 중간 변수를 식별하는 것은 의미가 없습니다.

더 확실한 예는 다음과 같습니다.

print id(foo.bar) == id(foo.__init__)

출력 결과도 True

id[3] 문서를 보세요:

객체의 "identity"를 반환합니다. 이것은 정수(또는 긴

입니다.

정수)는 수명 동안

이 객체에 대해 고유하고 상수가 보장됩니다. 수명이 겹치지 않는 두 객체는 ​​

동일한 id() 값을 가질 수 있습니다. >

CPython 구현 세부 사항: 메모리에 있는 객체의 주소입니다.

객체가 파괴되지 않는다는 것을 보장할 수 있는 경우에만 id를 사용하여 두 객체를 비교할 수 있습니다. 그래서 비교를 해야 한다면 이렇게 써야 합니다:

fb = foo.bar

Fb = Foo.bar

print id(fb) == id( Fb)

즉, 두 표현식의 결과를 이름으로 묶은 다음 동일한 객체인지 비교하면 올바른 결과를 얻을 수 있습니다.

is 표현식 [4]는 이제 올바른 결과를 얻습니다. 이는 전적으로 CPython의 현재 구현 세부 사항 때문입니다. 현재 is의 구현은 왼쪽과 오른쪽의 개체를 계산한 다음 두 개체의 주소가 동일한지 비교하는 것입니다. 언젠가 바뀌게 된다면 왼쪽을 먼저 계산하고 주소를 저장하고 왼쪽을 놓은 후 오른쪽을 계산하고 다시 비교해보면 자신의 결과가 틀릴 수도 있습니다. 이 문제는 공식 문서 [5]에도 언급되어 있습니다. 올바른 방법은 id와 같아서 먼저 왼쪽과 오른쪽을 모두 계산하고 명시적으로 각각의 이름에 바인딩한 다음 판단하는 것입니다.