Здравствуйте, samius, Вы писали:

S>1) Параметрически полиморфный компаратор — это нонсенс. Просто потому что он не нужен. Ключевое слово здесь "параметрический", что означает "для любого типа T". Нет смысла сравнивать величины конкретного типа методом, работающим для любого типа.

Ну вообще то смысл есть. Вот http://ru.cppreference.com/w/cpp/utility/functional/equal_to простейший пример.

P.S. То, что там всё инлайнится, наверное можно даже и не уточнять. )))