C++ pattern matching

namespace detail {

template <class ...> struct match;

template <class Head, class ... Tail>
struct match<Head, Tail...> : match<Tail...>, Head {
    template <class Head2, class ... Tail2>
    match(Head2&& head, Tail2&& ... tail) : match<Tail...>(std::forward<Tail2>(tail)...), Head(std::forward<Head2>(head)) {}
    using Head::operator();
    using match<Tail...>::operator();
};

template <class T>
struct match<T>: T {
    template <class R>
    match(R&& r) : T(std::forward<R>(r)) {}
    using T::operator();
};

}

template <class T, class ... Cases>
decltype(auto) match(T&& value, Cases&& ... cases) {
    return detail::match<typename std::decay<Cases>::type...>{std::forward<Cases>(cases)...}(std::forward<T>(value));
}

Вот самый очевидный пример который я придумал. В С++17 введена конструкция constexpr if. Она позволяет выполнять ветвления на этапе компиляции. Например:

template<class T>
auto call_java(T element){
     cout << "Start Java Call";
     constexpr if (is_same<T, int>){
         return jni->CallIntMethod(....);
     } else constexpr if (is_same<T, float>) {
         return jni->CallFloatMethod(....);
     } else {
         return jni->CallVoidMethod(....);    
     }
}

Без constexpr if вам бы пришлось в данном случае три дополнительные функции:

int call_java_helper(int element){
   return  jni->CallIntMethod(....);
}

float call_java_helper(float element){
   return  jni->CallFloatMethod(....);
}

void call_java_helper(nullptr_t){
    jni->CallVoidMethod(....);
}

template<class T>
auto call_java(T element){
     cout << "Start Java Call";
     return call_java_helper(element);
}

C pattern matching (как реализовано в статье):

template<class T>
auto call_java(T element){
     cout << "Start Java Call";
     return match(elment, 
         ,[](int element)  { return jni->CallIntMethod(element); }
         ,[](float element){ return jni->CallFloatMethod(element); }
         ,[](auto)         { jni->CallVoidMethod(); }
     );
}

С увеличением сложности разница ещё более увеличивается. Основной плюс как по мне что код получается не размазанным по всему файлу.

Возможно можно как-то переделать на матчинг по нескольким параметрам (вас наверное деструктуризация интересует). Но! Рекомендую к ознакомлению http://cppnow2016.sched.org/event/6Sfb (когда появится конечно).

To DISaccount:
А как вы решали дело с классами? Через указатель на член класса &ClassName::test1?

Все же ближе к этому https://habrahabr.ru/post/282630/?reply_to=8875810#comment_8873766

Да, похоже. Насчет вашего "тонкого паттерн матчинга", gcc >=4.9.x и VS поддерживают то что вы хотите уже здесь и сейчас http://coliru.stacked-crooked.com/a/61b8afdb8e54d9af