Trong python, được set.pop() xác định?

Question

Tôi hiểu rằng các phần tử của bộ python không được đặt hàng. Gọi phương thức pop trả về một phần tử tùy ý; Tôi ổn với điều đó.

Điều tôi tự hỏi là liệu pop có luôn trả về cùng một phần tử khi tập hợp có cùng một lịch sử hay không. Trong một phiên bản của python tất nhiên, tôi không nhớ nếu phiên bản khác nhau/triển khai của python làm điều riêng của họ. Đặc biệt, tôi hỏi về python 2.7. Đó là vấn đề thực hiện nhiều hơn api trong trường hợp này.

Tôi đang sử dụng nhiều bộ trong trình tạo dungeon thủ tục cho một trò chơi và tôi muốn kết quả là xác định cho một hạt giống nhất định.

Answer 1

Câu trả lời nói chung là không. Nguồn python @Christophe và @Marcin (un) trợ giúp chỉ ra rằng các phần tử được xuất hiện theo thứ tự chúng xuất hiện trong bảng băm. Vì vậy, thứ tự pop (và có lẽ là thứ tự lặp lại) là xác định, nhưng chỉ cho cố định giá trị băm. Đó là trường hợp đối với số nhưng không cho các chuỗi, theo Note trong tài liệu của __hash__, mà tình cờ cũng chạm vào câu hỏi của bạn trực tiếp:

Lưu ý theo mặc định băm() giá trị các đối tượng str, bytes và datetime được "salted" với giá trị ngẫu nhiên không thể đoán trước. Mặc dù chúng vẫn không đổi trong một tiến trình Python riêng lẻ, chúng không thể dự đoán được giữa các lời gọi lặp lại của Python.

[...]

Thay đổi giá trị băm ảnh hưởng đến trật tự lặp của dicts, bộ và các ánh xạ khác. Python chưa bao giờ đảm bảo về thứ tự này (và nó thường thay đổi giữa các bản dựng 32 bit và 64 bit).

Edit: Như @Marcin chỉ ra, các liên kết Tôi trích dẫn không áp dụng cho Python 2. Hash ngẫu nhiên became the default with Python 3.3. Python 2.7 không có cố ý không xác định chuỗi băm theo mặc định.

Nói chung, đây là vấn đề đối với bất kỳ đối tượng nào có hàm băm không phải là hàm có thể lặp lại về giá trị của nó (ví dụ: nếu hàm băm dựa trên địa chỉ bộ nhớ). Nhưng ngược lại, nếu bạn định nghĩa phương thức __hash__ của riêng mình cho các đối tượng trong bộ của mình, bạn có thể mong đợi rằng chúng sẽ được trả về theo thứ tự có thể lặp lại. (Cung cấp lịch sử của bộ và nền tảng được giữ cố định).

Answer 2

The documentation không chỉ định rằng nó phải xác định, do đó bạn nên cho rằng nó không phải là xác định.

Answer 3

Nội bộ Tôi nghĩ rằng tình huống tương tự như dict. Thứ tự được xác định bằng thuật toán băm, trong đó trong một số trường hợp sẽ mang lại kết quả tương tự. Nhưng bạn không nên phụ thuộc vào điều đó, vì một khi số lượng các phần tử được lớn, bộ sẽ gặp phải va chạm (đó là băm nội bộ), mà cuối cùng dẫn đến một thứ tự khác nhau.

Tóm lại: Không, set.pop() không xác định. Đừng cho rằng bất kỳ thứ tự, vì API khẳng định một cách rõ ràng, rằng

một đối tượng thiết lập là một bộ sưu tập có thứ tự

• Documents: http://docs.python.org/library/stdtypes.html#set-types-set-frozenset
• Nguồn: http://svn.python.org/view/python/trunk/Objects/setobject.c?view=markup

Answer 4

Nếu bạn muốn ép buộc xác định, bạn có thể thử một cái gì đó như

value = min(my_set) 
my_set.remove(value) 

Answer 5

Nếu bạn thực sự đang nhắm mục tiêu một phiên bản đặc biệt của trăn, sau đó bạn có thể nhìn vào các nguồn, và kiểm tra hành vi của mình (nhưng kiểm tra tốt - xem xét các yếu tố tải và các loại tương tự).

Nếu bạn muốn tính di động, hoặc bạn thấy set không hoạt động theo yêu cầu, hãy sử dụng lệnh đã đặt hàng (đây là một: http://code.activestate.com/recipes/576693/; có rất nhiều người khác, vì vậy hãy tìm một người bạn thích giao diện) và điều chỉnh nó như một bộ.

Cập nhật: đây là một tập có thứ tự: http://packages.python.org/Brownie/api/datastructures.html#brownie.datastructures.OrderedSet