Любители мета-программирования на С++, обьясните в чем смысл делать шаблон с enable_if используя «if_same» в качестве условия?

У вас обоих нужно спросить, зачем вам нужны шаблоны там, где запросто можно обойтись обычной перегрузкой:

int function(const SomeType & arg) {...}
int function(int arg) {...}

Поддерживаю. Тоже интересно стало.

Ключевой момент тут int, по историческим причинам в случае обычной перегрузки, C++ компилятор много чего к нему автоматом приводит, даже C-строки, когда ищет подходящую перегруженную функцию. В случае с шаблоном этого не происходит.

Чё посоны

auto f=[&](auto x,auto y){...}

Ну это в данном случае только. Я такое видел для ситуации, где единственный параметр метода — const char *, а различаются типы результата. И там зачем-то тоже enable_if с is_same использовались.

Там есть какой-то смысл в этом?

Это 14 плюсы. В 17 можно

template <typename T>
int function(const T& arg) 
{
    if constexpr(std::is_same_v<T, ClassString>) {
        ..
    } else if constexpr(std::is_arithmetic_v<T>) {   
        ..
    } else {
        return -1;
    }
}

Вот кстати в таком контексте это да, и выглядит красиво и оправдано.

Ключевой момент тут int

Замените тип аргумента на const int&. Шаблоны вам зачем?

Ну это в данном случае только.

Вопрос и был про данный случай.

Я такое видел для ситуации, где единственный параметр метода — const char *, а различаются типы результата. И там зачем-то тоже enable_if с is_same использовались.

Я же того кода не видел, мне сложно судить. Более того, из вашего описания не видно даже, куда там enable_if умудрились засунуть.

Замените тип аргумента на const int&.

Эм. Разве это как-то поможет?

Есть у кого мысли, чем первый вариант реально лучше?

Будет работать для метода шаблонного класса. Но тут явно не оно.

Спасибо ТС что напомнил какие же кресты стремные