C++ 11 cách viết mẫu để chọn loại số nguyên lớn hơn?

Question

Tại thời gian biên dịch trong C++ 11 trong một hàm mẫu có 2 tham số mẫu, cả hai đều là các kiểu số nguyên không dấu, tôi muốn có một biến cục bộ có kiểu của bất kỳ tham số mẫu nào có nhiều bit. Trong C++ 03 Tôi có thể viết một cái gì đó như:

template<bool, class T, class U> 
struct pick_first; 

template<class T, class U> 
struct pick_first<true, T, U> { 
    typedef T type; 
}; 

template<class T, class U> 
struct pick_first<false, T, U> { 
    typedef U type; 
}; 

template<class T, class U> 
struct pick_bigger { 
    typedef typename pick_first<(sizeof(T) >= sizeof(U)), T, U>::type type; 
}; 

// usage 
template<class uintX_t, class uintY_t> 
void foo() { 
    typename pick_bigger<uintX_t, uintY_t>::type mylocal = 0; 
    // insert doing stuff with mylocal here 
} 

Tôi có thể tận dụng bất kỳ tính năng C++ 11 mới nào để đơn giản hơn không? Tôi biết tôi có thể sử dụng các mẫu variadic để làm cho nó hoạt động với nhiều hơn chỉ là các cặp, và thay vì sử dụng pick_first tôi có thể viết rất nhiều chuyên môn để làm cho nó hoạt động với các kiểu int_leastX_t và int_fastX_t mới. Nhưng tôi tò mò nếu có một cách tiếp cận đơn giản hơn cho điều này. Có lẽ bằng cách nào đó tận dụng auto/constexpr/decltype?

Answer 1

pick_first của bạn chỉ là std :: có điều kiện trong C++ 11, vì vậy bạn có thể viết

template<class T, class U> 
struct wider { 
    using type = typename std::conditional<sizeof(T) >= sizeof(U), T, U>::type; // I'm using the C++11 type alias feature 1) to educate people about them and 2) because I like them better than typedefs. 
}; 

Nếu bạn chỉ muốn một kiểu phù hợp để giữ kết quả của một số biểu hiện liên quan đến cả hai loại và không nhất thiết cần phải chính xác một trong hai loại sau đó std::common_type, hoặc có lẽ auto, là giải pháp tốt nhất:

template<class uintX_t, class uintY_t> 
void foo() { 
    typename std::common_type<uintX_t, uintY_t>::type mylocal = 0; 
    // insert doing stuff with mylocal here 
} 

// or 
template<class uintX_t, class uintY_t> 
void foo(uintX_t x, uintY_t y) { 
    auto mylocal = x + y; 
} 

_{và thực hiện lại pick_bigger thiếu typename trong đó: 012.}

Answer 2

vì cả hai loại đều không được ký, chỉ cần thực hiện decltype(T1() + T2()).