Ogólne min i maks. - C++

Question

Pisanie ogólnej minimalnej funkcji, Dwa pytania przyszły mi do głowy. Kod działa poprawnie z wszelkiego rodzaju wejściowego i różnej liczbie argumentów:

namespace xyz 
{ 

template <typename T1, typename T2> 
auto min(const T1 &a, const T2 &b) -> decltype(a+b) 
{ 
    return a < b ? a : b; 
} 

template <typename T1, typename T2, typename ... Args> 
auto min(const T1 &a, const T2 &b, Args ... args) -> decltype(a+b) 
{ 
    return min(min(a, b), args...); 
} 

} 

int main() 
{ 
    cout << xyz::min(4, 5.8f, 3, 1.8, 3, 1.1, 9) << endl; 
    //     ^ ^  ^
    //     |  |   | 
    //     float double  int 
} 

 

• Czy istnieje lepszy zamiennik decltype(a+b)? Sądzę, że istnieje standardowa klasa, której nie pamiętam, coś w rodzaju decltype(std::THE_RESULT<a,b>::type).

• Zwrócony typ tego decltype(std::THE_RESULT<a,b>::type) to const & czy nie?

Answer 1

std::common_type (c++11):

Dla niewyspecjalizowanych std::common_type, zasad ustalania wspólny typ pomiędzy każdą parą T1, T2 są dokładnie zasady określające rodzaj Powrót trójargumentowy operator warunkowy, gdzie T1 i T2 są typami drugiego i trzeciego argumentu operacji.

i

Dla arytmetycznych rodzajów, wspólny typ może również być postrzegane jako rodzaj z (ewentualnie trybu mieszanego) wyrażenia arytmetycznego, takich jak T0() + T1() + ... + Tn().

Nie jestem pewien const&, ale można grać z std::remove_cv i std::remove_reference (i std::is_reference, aby znaleźć odpowiedź).

W rzeczywistości, here's lista narzędzi wsparcia typu. Puść się.

Answer 2

Po odpowiedź i wartych uwagi Zrobiłem to jak poniżej:

template <typename T1, typename T2> 
auto min(const T1 &a, const T2 &b) 
-> typename std::common_type<const T1&, const T2&>::type 
{ 
    return a < b ? a : b; 
} 

template <typename T1, typename T2, typename ... Args> 
auto min(const T1 &a, const T2 &b, const Args& ... args) 
-> typename std::common_type<const T1&, const T2&, const Args& ...>::type 
{ 
    return min(min(a, b), args...); 
}