Thực hiện chính xác min

Question

Tại thời điểm 0:43:15 trong này Tech-Talk about D, Việc thực hiện hàm min được thảo luận. Mối quan tâm về "ổn định" và "xáo trộn thêm (nếu các giá trị bằng nhau)" khi được sử dụng trong một số thuật toán được đề xuất là một trong những lý do cho việc thực hiện được hiển thị.

Bất cứ ai có thể cung cấp một trường hợp sử dụng thực tế (hoặc cung cấp giải thích chi tiết hơn) trong đó việc triển khai cụ thể này là "ổn định" (hay còn gọi là tốt hơn). Hay đây chỉ là một ví dụ khác về các chuyên gia alpha-đi quá xa?

khuyến nghị thực hiện:

template <class LHS, class RHS, class Return> 
inline Return min(LHS& lhs, RHS& rhs) 
{ 
    return (rhs < lhs) ? rhs : lhs; 
} 

khác có thể thực hiện:

template <class LHS, class RHS, class Return> 
inline Return min(LHS& lhs, RHS& rhs) 
{ 
    return (lhs < rhs) ? lhs: rhs; 
} 

Proposal N2199 cung cấp triển khai dựa trên sau này, xin lưu ý rằng đề xuất này đã không thành công vào lúc này.

kiến ​​nghị liên quan khác liên quan đến min/max là N1840, N2485 và N2551

Answer 1

Trong trường hợp này, tôi khá chắc chắn "ổn định" là đề cập đến ổn định khi nó được áp dụng trong phân loại - ví dụ, rằng khi/nếu hai phần tử bằng nhau, chúng sẽ được sắp xếp theo thứ tự giống như chúng bắt đầu. Để thực hiện điều đó, bạn muốn trả lại lhs khi số này nhỏ hơn hoặc bằng rhs - nhưng trong C++ bạn (thông thường) muốn thực hiện điều đó chỉ bằng cách sử dụng operator<, mà không phụ thuộc vào việc có operator<=.

Answer 2

Trong trường hợp chung, không có lợi thế nào cho việc triển khai thực hiện trên một triển khai khác. Nếu bạn đang triển khai min cho một mức sử dụng cụ thể, bạn có thể chọn một trong các biểu mẫu dựa trên dữ liệu mà nó sẽ được áp dụng để tận dụng tối đa các dự đoán chi nhánh.

Nếu đối với hầu hết các trường hợp sử dụng, mức tối thiểu dự kiến ​​là rhs, hãy chọn triển khai đầu tiên. Nếu đó là lhs, hãy chọn triển khai thứ hai.