Mengapakah pengendali `is` berkelakuan berbeza dengan integer besar di dalam dan di luar fungsi dalam Python?

Adalah Gelagat Tidak Dijangka Operator dengan Integer Besar dalam Fungsi

Apabila bereksperimen dengan penterjemah Python, percanggahan yang ingin tahu adalah yang ditemui operator.

Apabila penilaian dilakukan dalam fungsi, ia mengembalikan Benar, tetapi apabila ia dilakukan secara luaran, hasilnya adalah Salah.

def func():

a = 1000
b = 1000
return a is b

a = 1000
b = 1000
a ialah b, func()
>(Salah, Benar)

Memandangkan operator is menilai id objek, ini menunjukkan bahawa dalam fungsi func, a dan b merujuk kepada integer yang sama, manakala di luar fungsi, ia merujuk kepada objek yang berbeza.

Penjelasan

Sebagai nota manual rujukan:

Blok ialah sekeping teks program Python yang dilaksanakan sebagai unit.
Berikut ialah blok: modul, badan fungsi dan definisi kelas.
Setiap arahan yang ditaip secara interaktif ialah satu blok.

Oleh itu, dalam fungsi, satu blok kod memegang satu objek literal angka, seperti 1000, menghasilkan True untuk id(a) == id(b).

< p>Dalam contoh kedua, objek kod berasingan wujud, setiap satu dengan literal angkanya untuk 1000, menyebabkan id(a) != id(b).

< ;p>Yang penting, tingkah laku ini tidak eksklusif kepada literal integer; hasil sebanding diperhatikan dengan literal terapung (rujuk di sini).

Ingat untuk menggunakan operator kesamaan (==) untuk membandingkan objek, bukan pengendali identiti (adalah).

_{Pengetahuan ini berkaitan dengan CPython, pelaksanaan utama Python. Pelaksanaan alternatif mungkin mempamerkan gelagat yang berbeza-beza.}

Analisis Kod

Untuk pemahaman, mari sahkan tingkah laku ini menggunakan kod analisis objek.

Fungsi fungsi:

Objek fungsi mempunyai atribut kod yang mendedahkan kod bait yang disusun . dis.code_info membentangkan data ini dengan ringkas:

print(dis.code_info(func))
Nama: func
Nama Fail:
Bilangan hujah: 0
Argumen Kw sahaja: 0
Bilangan penduduk tempatan: 2
Saiz tindanan: 2
Bendera: DIOPTIMALKAN, TEMPATAN BARU, TIDAK PERCUMA
Pemalar:
0: Tiada
1: 1000

Nama boleh ubah: > 0: a
1: b

Entri Pemalar menunjukkan bahawa pemalar ialah Tiada (sentiasa hadir) dan 1000. Oleh itu, terdapat satu int int mewakili 1000. a dan b merujuk satu objek ini.

Arahan interaktif:

Setiap arahan ialah blok kod yang dihuraikan, disusun dan dinilai secara bebas:

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

Objek kod untuk setiap tugasan kelihatan serupa, tetapi yang penting, com1 dan com2 mempunyai kejadian int berasingan untuk 1000, membawa kepada False untuk id(com1.co_consts[0]) == id(com2.co_consts[0]).

Objek kod berbeza, kandungan berbeza.

Kaveat

Pernyataan Berantai: Menilai a = 1000; b = 1000 menghasilkan identiti Benar, kerana tugasan berantai ini disusun menjadi satu blok kod, menghasilkan satu kejadian 1000.

Tahap Modul : Pelaksanaan pada peringkat modul (ditunjukkan oleh manual rujukan) juga menghasilkan Benar kerana objek kod tunggal.

Objek Boleh Berubah: Semakan identiti gagal untuk objek boleh ubah melainkan dimulakan secara eksplisit kepada objek yang sama (cth., a = b = []).

Atas ialah kandungan terperinci Mengapakah pengendali `is` berkelakuan berbeza dengan integer besar di dalam dan di luar fungsi dalam Python?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!