Tại sao nên sử dụng dịch vụ b <a? a: bv thay vì thế a <b? b: một người dùng để thực hiện mẫu tối đa?

Mẫu C ++ - Hướng dẫn hoàn chỉnh, Phiên bản 2 giới thiệu mẫu tối đa :

template<typename T>
T max (T a, T b)
{
  // if b < a then yield a else yield b
  return  b < a ? a : b;
}

Và nó giải thích bằng cách sử dụng “b < a ? a : b”thay vì “a < b ? b : a”:

Lưu ý rằng mẫu max () theo [StepanovNotes] cố ý trả về bản b <a? a: bv thay vì thế a <b? b: một giá trị để đảm bảo rằng hàm hoạt động chính xác ngay cả khi hai giá trị tương đương nhưng không bằng nhau.

Làm sao để hiểu " even if the two values are equivalent but not equal."? “a < b ? b : a”dường như có kết quả tương tự với tôi

std::max(a, b)thực sự được chỉ định để trở lại akhi hai là tương đương.

Điều đó được coi là một sai lầm của Stepanov và những người khác vì nó phá vỡ tài sản hữu ích đã cho avà b, bạn luôn có thể sắp xếp chúng theo {min(a, b), max(a, b)}; cho điều đó, bạn muốn max(a, b)quay lại bkhi các đối số tương đương.

Câu trả lời này giải thích tại sao mã đã cho sai từ quan điểm chuẩn C ++, nhưng nó nằm ngoài ngữ cảnh.

Xem câu trả lời của @ TC để được giải thích theo ngữ cảnh.

Tiêu chuẩn định nghĩa std::max(a, b)như sau [alg.min.max] (nhấn mạnh là của tôi):

template<class T> constexpr const T& max(const T& a, const T& b);

Yêu cầu : Loại T là LessThanComparable (Bảng 18).

Trả về : Giá trị lớn hơn.

Lưu ý : Trả về đối số đầu tiên khi các đối số tương đương.

Tương đương ở đây có nghĩa !(a < b) && !(b < a)là true [alg.sorting # 7] .

Cụ thể, nếu avà btương đương, cả hai a < bvà b < alà false, do đó, giá trị bên phải :sẽ được trả về trong toán tử điều kiện, do đó aphải ở bên phải, vì vậy:

a < b ? b : a

... dường như là câu trả lời đúng. Đây là phiên bản được sử dụng bởi libstdc ++ và libc ++ .

Vì vậy, thông tin trong trích dẫn của bạn có vẻ sai theo tiêu chuẩn hiện tại, nhưng bối cảnh được xác định có thể khác nhau.

Điểm cần trả về khi chúng tương đương nhau; std::maxphải trả lại a(tức là đối số đầu tiên) cho trường hợp này.

Nếu chúng là tương đương, trả về a.

Vì vậy, a < b ? b : anên được sử dụng; mặt khác, b < a ? a : b;sẽ trả lại bkhông chính xác.

(Như @Holt nói, trích dẫn có vẻ ngược lại.)

"Hai giá trị tương đương nhưng không bằng nhau" có nghĩa là chúng có cùng giá trị khi được so sánh, nhưng chúng di chuyển là các đối tượng khác nhau ở một số khía cạnh khác.

ví dụ

struct X { int a; int b; };
bool operator< (X lhs, X rhs) { return lhs.a < rhs.a; }
X x1 {0, 1};
X x2 {0, 2};
auto x3 = std::max(x1, x2); // it's guaranteed that an X which cantains {0, 1} is returned