Python: Tại sao ("hello" là "hello") đánh giá là True?

Question

Tại sao là "hello" is "hello" == True bằng Python?

Tôi đọc phần sau đây here:

Nếu hai xâu đều bình đẳng, họ đã được đưa vào cùng một vị trí bộ nhớ . Một chuỗi là một thực thể bất biến. Không làm hại được .

Vì vậy, có một và chỉ một nơi trong bộ nhớ cho mọi chuỗi Python? Âm thanh khá lạ. Những gì đang xảy ra ở đây?

Answer 1

Python (như Java, C, C++, .NET) sử dụng chuỗi gộp/interning. Thông dịch viên nhận ra rằng "hello" giống như "hello", vì vậy nó tối ưu hóa và sử dụng cùng một vị trí trong bộ nhớ.

Một goodie: "địa ngục" + "o" là "hello" ==> Đúng

Answer 2

Tại sao nó lạ. Nếu chuỗi là bất biến, nó có ý nghĩa rất nhiều để chỉ lưu trữ nó một lần. .NET có cùng một hành vi.

Answer 3

Các thông dịch Python/biên dịch phân tích các xâu, ví dụ: danh sách trích dẫn của các nhân vật. Khi nó thực hiện điều này, nó có thể phát hiện "Tôi đã nhìn thấy chuỗi này trước" và sử dụng cùng biểu diễn như lần trước. Nó có thể làm điều này vì nó biết rằng các chuỗi được định nghĩa theo cách này không thể thay đổi được.

Answer 4

Chuỗi chữ có thể được nhóm lại dựa trên mã băm của chúng hoặc tương tự. Hai trong số các chuỗi chữ giống nhau sẽ được lưu trữ trong cùng một bộ nhớ và bất kỳ tham chiếu nào đều đề cập đến điều đó.

Memory  Code 
------- 
|   myLine = "hello" 
|  /
|hello < 
|  \ 
|   myLine = "hello" 
------- 

Answer 5

Toán tử is trả về true nếu cả hai đối số là cùng một đối tượng. Kết quả của bạn là kết quả của việc này và bit được trích dẫn.

Trong trường hợp các chuỗi ký tự, chúng được thực tập, nghĩa là chúng được so sánh với các chuỗi đã biết. Nếu một chuỗi giống hệt nhau đã được biết, chữ có giá trị đó, thay vì một giá trị thay thế. Do đó, chúng trở thành cùng một đối tượng và biểu thức là đúng.

Answer 6

Vì vậy, có một và chỉ một nơi trong bộ nhớ cho mọi chuỗi Python?

Không, chỉ những người thông dịch mới quyết định tối ưu hóa, quyết định dựa trên chính sách không thuộc đặc điểm ngôn ngữ và có thể thay đổi trong các phiên bản CPython khác nhau.

ví dụ: trên tôi cài đặt (2.6.2 Linux):

>>> 'X'*10 is 'X'*10 
True 
>>> 'X'*30 is 'X'*30 
False 

tương tự cho ints:

>>> 2**8 is 2**8 
True 
>>> 2**9 is 2**9 
False 

Vì vậy, không dựa vào 'string' là 'chuỗi': thậm chí chỉ cần nhìn vào việc thực hiện C nó không an toàn.

Answer 7

Tôi nghĩ nếu có hai biến (không chỉ là chuỗi) chứa cùng một giá trị, giá trị sẽ chỉ được lưu trữ một lần không hai lần và cả hai biến sẽ trỏ đến cùng một vị trí. Điều này tiết kiệm bộ nhớ.