Anatoly MoskovskyТухлый Толик,

Зачем такой сложный пример.
Вот простой ))



std::min выводит тип аргументов, а это невозможно одновременно с неявным приведением типов. (Точнее возможно, но насколько помню не определено стандартом)
Обойти можно либо явно инстанцируя std::min, либо я вно приведя типы аргументов к одному.
Ещё проще пример надо, а то же видно не все тут понимают, что константа 1 по умолчанию int :)


Просто запрещено сравнивать разные типы, чтобы мягкое с теплым не сравнивали. Кто хочет сравнить - приводит к общему типу через static_cast, который видно за километр, и сам себе злобный буратино если short переполниться раньше, или тем более если кто-то начнет сравнивать unsigned с signed.

http://www.cplusplus.com/doc/tutorial/constants/ 75 // int
75u // unsigned int
75l // long
75ul // unsigned long
75lu // unsigned long

И GCC падает: http://coliru.stacked-crooked.com/a/8c7232d1ffb09d3c
И Clang падает: http://coliru.stacked-crooked.com/a/0205cac221f68fe2


Стандарт приводит код, в котором - оба значения обязаны быть одного типа T обязательно, и ещё 4 уточнения, всё.
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf 25.5.7 Minimum and maximum [alg.min.max]
template<class T> constexpr const T& min(const T& a, const T& b);
template<class T, class Compare>
constexpr const T& min(const T& a, const T& b, Compare comp);
1 Requires: For the first form, type T shall be LessThanComparable (Table 19).
2 Returns: The smaller value.
3 Remarks: Returns the first argument when the arguments are equivalent.
4 Complexity: Exactly one comparison.

MSVS 2013 и MSVS 2015 тоже естественно это Г не компилируют.