như trong6952_6969, Lớp cách đọc kèo bóng đá tử Btree phải cung cấp năm cách đọc kèo bóng đá tử so sánh,<, <=, =, =và7211_7237<cũng nên là một phần của lớp cách đọc kèo bóng đá tử, nhưng không phải vậy, vì nó gần như sẽ không bao giờ hữu ích khi sử dụng<trong đó mệnh đề trong tìm kiếm chỉ mục. (Đối với một số mục đích, người lập kế hoạch xử lý<được liên kết với lớp cách đọc kèo bóng đá tử Btree; Nhưng nó tìm thấy cách đọc kèo bóng đá tử đó thông qua=Liên kết tiêu cực cách đọc kèo bóng đá nhà điều hành, thay vì từpg_amop.)
Khi một số loại dữ liệu chia sẻ ngữ nghĩa phân loại gần giống nhau, cách đọc kèo bóng đá lớp vận hành của họ có thể được nhóm thành một họ vận hành. Làm như vậy là thuận lợi vì nó cho phép người lập kế hoạch thực hiện cách đọc kèo bóng đá khoản khấu trừ về so sánh loại chéo. Mỗi lớp toán tử trong họ phải chứa cách đọc kèo bóng đá toán tử loại đơn (và cách đọc kèo bóng đá chức năng hỗ trợ liên quan) cho kiểu dữ liệu đầu vào của nó, trong khi cách đọc kèo bóng đá toán tử so sánh loại chéo và cách đọc kèo bóng đá chức năng hỗ trợ làLoose”Trong gia đình. Bạn nên đưa vào một tập hợp cách đọc kèo bóng đá toán tử loại chéo hoàn chỉnh trong gia đình, do đó đảm bảo rằng người lập kế hoạch có thể đại diện cho bất kỳ điều kiện so sánh nào mà nó suy ra từ tính chuyển tiếp.
8447_8524
AN=Nhà điều hành phải là mối quan hệ tương đương; nghĩa là, đối với tất cả cách đọc kèo bóng đá giá trị không nullA, B, Ccách đọc kèo bóng đá loại dữ liệu:
A = Alà đúng (Luật phản xạ)
nếuA = B, sau đóB = A(Luật đối xứng)
nếuA = BvàB = C, sau đóA = C(Luật chuyển tiếp)
A<Nhà điều hành phải là mối quan hệ đặt hàng mạnh mẽ; nghĩa là, đối với tất cả cách đọc kèo bóng đá giá trị không nullA, B, C:
A < Alà sai (Luật không phản ứng)
nếuA < BvàB < C, sau đóA < C(Luật chuyển tiếp)
Hơn nữa, đặt hàng là tổng số; nghĩa là, đối với tất cả cách đọc kèo bóng đá giá trị không nullA, B:
chính xác là một trongA < B, A = BvàB < Alà đúng (Luật trichotomy)
(Luật trichotomy biện minh cho định nghĩa cách đọc kèo bóng đá hàm hỗ trợ so sánh, tất nhiên.)
Ba cách đọc kèo bóng đá tử khác được xác định theo nghĩa=và<Theo cách rõ ràng và phải hành động nhất quán với họ.
Đối với một gia đình toán tử hỗ trợ nhiều loại dữ liệu, cách đọc kèo bóng đá luật trên phải được giữ khiA, B, Cđược lấy từ bất kỳ loại dữ liệu nào trong gia đình. cách đọc kèo bóng đá luật chuyển tiếp là khó nhất để đảm bảo, vì trong cách đọc kèo bóng đá tình huống loại chéo, chúng đại diện cho cách đọc kèo bóng đá tuyên bố rằng hành vi của hai hoặc ba toán tử khác nhau là nhất quán. Ví dụ, nó sẽ không hoạt động để đặtfloat8vàSố13068_13147SốGiá trị được chuyển đổi thànhfloat8để so sánh với Afloat8. Vì độ chính xác hạn chế cách đọc kèo bóng đáfloat8, Điều này có nghĩa là có sự khác biệtSốcách đọc kèo bóng đá giá trị sẽ so sánh bằng cùngfloat8Giá trị, và do đó luật chuyển tiếp sẽ thất bại.
13555_13768
13776_14245
Nếu bạn thấy bất cứ điều gì trong tài liệu không chính xác, không khớp Kinh nghiệm cách đọc kèo bóng đá bạn với tính năng cụ thể hoặc yêu cầu làm rõ thêm, Vui lòng sử dụngMẫu nàyĐể báo cáo vấn đề tài liệu.