Sự khác biệt giữa! (X < y) and x > = y trong C++?

Question

Đi qua EASTL, tôi stumbled trên một dòng đặc biệt của mã. Các liên kết sau đây cho thấy các tập tin với số dòng của lãi 1870.

https://github.com/paulhodge/EASTL/blob/master/include/EASTL/algorithm.h

Mã tại dòng này là if(!(value < *i)). Bình luận nói rằng "chúng tôi luôn thể hiện sự so sánh giá trị về mặt số < hoặc ==" mà không có bất kỳ lời giải thích nào về lý do tại sao điều này là như vậy.

Có bất kỳ lợi ích nào để viết so sánh như vậy không (có thể là vậy tôi bối cảnh mà tôi đang nhìn)? Nếu không, tại sao tác giả của EASTL cố tình viết nó theo kiểu thời trang đặc biệt này và thậm chí còn chăm sóc bình luận về nó? Sự nhất quán là lý do duy nhất ở đây?

Answer 1

Điều đó có nghĩa là bạn chỉ cần cung cấp < và == cho các loại giá trị vùng chứa. Điều này cũng có nghĩa là bạn giảm số lượng biến đổi cho các loại đó (vì tất cả các thuật toán sử dụng !(a<b) có nghĩa là a>=b và !(a==b) cho a!=b); nếu không, bạn có thể có >= và != trả lại kết quả không phù hợp.

Answer 2

Trong C++, bạn có thể quá tải toán tử < để nó hoạt động khác với đối diện của >=, do đó chúng không được đảm bảo tương đương.

Thêm vào đó, trong bất kỳ thực hiện IEEE dấu chấm động, NaN < NaN là sai, nhưng như vậy làNaN >= NaN, vì vậy !(NaN < NaN) là đúng mặc dù NaN >= NaN là sai.

Answer 3

Tôi thấy ít nhất một sự khác biệt. Nếu một trong những con số là QNAN (dấu chấm động 0/0) thì! (A < b) sẽ luôn trả về TRUE nếu bất kỳ a hoặc b là QNAN, trong khi nó sẽ luôn trả về false cho một> = b

Answer 4

Chỉ sử dụng toán tử nhỏ hơn, bạn có thể mô phỏng tất cả toán tử so sánh khác. Điều này làm cho nó phù hợp hơn và cho phép bạn sử dụng một tham số mẫu duy nhất khi bạn cần tham số hóa so sánh. Các thùng chứa và thuật toán được sắp xếp tiêu chuẩn sử dụng std::less<T> làm trình so sánh mẫu mặc định.

operation equivalent 
x < y  x < y 
x > y  y < x 
x <= y  !(y < x) 
x >= y  !(x < y) 
x == y  !(x < y) && !(y < x) 
x != y  (x < y) || (y < x) 

Đối với những hoạt động đặt hàng không quan trọng, việc thay thế nhà điều hành == trở nên đơn giản hơn và hiệu quả hơn.