`is` 연산자가 Python의 함수 내부 및 외부에서 큰 정수와 다르게 동작하는 이유는 무엇입니까?

함수에서 큰 정수를 사용하는 연산자의 예기치 않은 동작

Python의 인터프리터로 실험을 하던 중 is와 관련하여 흥미로운 불일치가 발견되었습니다. 연산자입니다.

함수 내에서 평가가 수행되면 True를 반환하지만 외부에서 수행되면 결과는 False입니다.

<br>def func():</p>
<pre class="brush:php;toolbar:false">a = 1000
b = 1000
return a is b

a = 1000
b = 1000
a is b, func()
>(False, True)

is 연산자가 객체의 ID를 평가하므로 이는 func 함수 내에서 a와 b가 동일한 정수 인스턴스를 참조하는 반면 외부에서는 함수의 경우 서로 다른 개체를 참조합니다.

설명

참조 매뉴얼 참고 사항:

블록은 하나의 단위로 실행되는 Python 프로그램 텍스트 조각입니다.
블록은 모듈, 함수 본문, 클래스 정의입니다.
대화형으로 입력되는 각 명령은 블록입니다.

따라서 함수에서 단일 코드 블록은 1000과 같은 단일 숫자 리터럴 객체를 보유하며 결과적으로 id(a) == id(b).

< p>두 번째 경우에는 별도의 코드 개체가 존재하며, 각각은 1000에 대한 숫자 리터럴을 사용하여 id(a) != id(b).

<를 유발합니다. ;p>중요하게, 이 동작은 정수 리터럴에만 국한되지 않습니다. 부동 소수점 리터럴을 사용하면 비슷한 결과가 관찰됩니다(여기 참조).

객체를 비교할 때는 항등 연산자(==)를 사용해야 하며 항등 연산자(is)는 사용하지 마세요.

_{이 지식은 Python의 기본 구현인 CPython에 관한 것입니다. 대체 구현에서는 다양한 동작이 나타날 수 있습니다.}

코드 분석

이해를 위해 코드를 사용하여 이 동작을 확인해 보겠습니다. 객체 분석.

함수 func:

함수 객체에는 컴파일된 바이트코드를 나타내는 code 속성이 있습니다. . dis.code_info는 이 데이터를 간결하게 표시합니다:

<br>print(dis.code_info(func))<br>이름: func<br>파일 이름: <stdin><br>인수 개수: 0<br>Kw 전용 인수: 0 <br>로컬 수: 2<br>스택 크기: 2<br>플래그: OPTIMIZED, NEWLOCALS, NOFREE<br>상수:<br> 0: 없음<br> 1: 1000<br>변수 이름:<br> 0: a<br> 1: b<br>

상수 항목은 상수가 없음(항상 존재) 및 1000임을 보여줍니다. 따라서 이 있습니다. 1000을 나타내는 하나의 int 인스턴스. a와 b는 이 하나의 객체를 참조합니다.

대화형 명령:

각 명령은 다음과 같습니다. 독립적으로 구문 분석, 컴파일 및 평가되는 코드 블록:

<br>com1 = compile("a=1000", filename="", mode="single ")<br>com2 = compile("b=1000", filename="", mode="single")<br>

각 할당에 대한 코드 개체 비슷해 보이지만 결정적으로 com1과 com2는 1000에 대해 별도의 int 인스턴스를 갖고 있어 id(com1.co_consts[0]) == id(com2.co_consts[0])에 대해 False가 됩니다.

다른 코드 개체, 다른 내용.

주의사항

연결된 문: 평가 a = 1000; b = 1000은 True ID를 생성합니다. 이러한 연결된 할당은 하나의 코드 블록으로 컴파일되어 1000의 하나의 인스턴스를 생성하기 때문입니다.

모듈 수준 : 모듈 수준(참조 매뉴얼에 표시됨)에서의 실행도 단일 코드 개체로 인해 True를 반환합니다.

변경 가능한 개체: 동일한 객체로 명시적으로 초기화되지 않는 한 변경 가능한 객체에 대한 신원 확인이 실패합니다(예: a = b = []).

위 내용은 `is` 연산자가 Python의 함수 내부 및 외부에서 큰 정수와 다르게 동작하는 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!