Triển khai các toán tử so sánh khác về toán tử <trong một cuộc gọi

Question

Tôi đã thấy rằng, nếu bạn có operator<, bạn có thể thực hiện, giả sử, operator>= là !(a < b). Tuy nhiên, khi tôi đến Ủy ban C++ ở Bristol, họ nói rằng bạn có thể thực hiện tất cả các toán tử so sánh theo cách này. Đặc biệt, khi xem xét các loại có toán tử so sánh không tầm thường (xem xét một chuỗi dài tùy ý, đặc biệt nếu đây là Unicode), điều này có thể được thực hiện chỉ với một cuộc gọi đến operator<. Tôi không thể hình dung được điều này có thể được thực hiện như thế nào.

Làm cách nào để triển khai operator> và operator<= chỉ với một cuộc gọi tới operator< và không có cuộc gọi nào đến các toán tử so sánh khác?

Answer 1

• a > b == b < a
• a <= b == !(b < a)
• a >= b == !(a < b)

Nó thậm chí còn có thể thực hiện bình đẳng về ít hơn (Loại lạm dụng meta-cú pháp của tôi ở đây):

• (a == b) == (!(a < b) && !(b < a))
• (a != b) == (a < b || b < a)

Mặc dù tôi không đề xuất thực hiện điều này vì nó đòi hỏi hai so sánh và thường có thể được triển khai trực tiếp hiệu quả hơn.