Концепты против SFINAE

До C++20 ограничение делали через SFINAE: добавляли в сигнатуру std::enable_if_t<std::is_arithmetic_v<T>, int> = 0 или подставляли его в возвращаемый тип. Если тип не подходил, подстановка проваливалась, и перегрузка тихо исчезала из списка кандидатов. Работает, но читается плохо, ошибки на несколько экранов, а для двух взаимоисключающих перегрузок приходится аккуратно писать противоположные условия. В C++20 я пишу концепт template <class T> concept Number = std::integral<T> || std::floating_point<T>; и ограничиваю шаблон template <Number T>. Требования видны в объявлении, ошибка говорит, какое требование не выполнено, а при перегрузке компилятор выбирает более ограниченный вариант, если один концепт включает другой. Для сложных требований есть requires-выражения, проверяющие, что выражение компилируется и даёт нужный тип. Если перегрузка не нужна и хочется просто понятной ошибки, хватает static_assert внутри шаблона.