min và chuyển tiếp hoàn hảo

Question

Các thuật toán tối thiểu thường được trình bày như thế này:

template <typename T> 
const T& min(const T& x, const T& y) 
{ 
    return y < x ? y : x; 
} 

Tuy nhiên, điều này không cho phép các cấu trúc của mẫu min(a, b) = 0. Bạn có thể đạt được điều đó với một tình trạng quá tải thêm:

template <typename T> 
T& min(T& x, T& y) 
{ 
    return y < x ? y : x; 
} 

Những gì tôi muốn làm là thống nhất hai quá tải này qua chuyển tiếp hoàn hảo:

template <typename T> 
T&& min(T&& x, T&& y) 
{ 
    return y < x ? std::forward<T>(y) : std::forward<T>(x); 
} 

Tuy nhiên, g ++ 4.5.0 spits ra một cảnh báo cho min(2, 4) mà tôi trả lại một tham chiếu đến tạm thời. Tôi đã làm gì sai sao?

---

OK, tôi hiểu rồi. Vấn đề là với toán tử điều kiện. Trong giải pháp đầu tiên của tôi, nếu tôi gọi min(2, 4) toán tử điều kiện sẽ thấy một xvalue và do đó di chuyển từ chuyển tiếp x để tạo ra một đối tượng tạm thời. Tất nhiên nó sẽ là nguy hiểm để trở lại đó bằng cách tham khảo! Nếu tôi chuyển toàn bộ biểu hiện thay vì x và y riêng rẽ, trình biên dịch không phàn nàn nữa:

template <typename T> 
T&& min(T&& x, T&& y) 
{ 
    return std::forward<T>(y < x ? y : x); 
} 

---

Được rồi, tôi đã thoát khỏi những tài liệu tham khảo cho các loại số học :)

#include <type_traits> 

template <typename T> 
typename std::enable_if<std::is_arithmetic<T>::value, T>::type 
min(T x, T y) 
{ 
    return y < x ? y : x; 
} 

template <typename T> 
typename std::enable_if<!std::is_arithmetic<T>::value, T&&>::type 
min(T&& x, T&& y) 
{ 
    return std::forward<T>(y < x ? y : x); 
} 

Answer 1

Có vẻ với tôi như bạn đang cố gắng đơn giản hóa vấn đề. Thật không may, nhận được nó hoàn toàn chính xác là decidedly không tầm thường. Nếu bạn chưa đọc N2199, bây giờ sẽ là thời điểm tốt để làm như vậy. Các tham chiếu Rvalue tiếp tục phát triển, vì vậy việc thực hiện tham chiếu của min và max có lẽ không chính xác nữa, nhưng ít nhất nó cũng là một điểm khởi đầu khá tốt. Cảnh báo: việc triển khai tham chiếu là số lô phức tạp hơn bạn sẽ thích!

Answer 2

Bạn không muốn chuyển tiếp hoàn hảo, tại đây, bạn muốn trả lại T& hoặc const T& và không bao giờ T&&. std::forward được thiết kế để chuyển một trong các tham số của bạn sang một hàm khác, không phải cho các giá trị trả về.

Tôi nghĩ rằng những gì bạn muốn là:

template <typename T> 
min(T&& x, T&& y) -> decltype(x) 
{ 
    return y < x ? y : x; 
} 

EDIT để tránh đung đưa vấn đề tham khảo:

template <typename T> 
struct dedangle { typedef T type; } 

template <typename T> 
struct dedangle<const T&> { typedef T type; } 

template <typename T, typename U> 
min(T&& x, U&& y) -> dedangle<decltype(0?y:x)>::type 
{ 
    return y < x ? y : x; 
} 

// dedangle is re-usable by max, etc, so its cost is amortized