C++11 Variadic Template Pattern Matching

gistfile1.cpp

#include <iostream>

using namespace std;

template <typename... T>
struct pp {};

template <typename T, typename TI,
	  typename U, typename UI>
struct matcher;

template <typename T, typename... TI,
	  typename U, typename... UI>
struct matcher<T, pp<TI...>,
	       U, pp<UI...>> {
  matcher(TI... ti, UI... ui) {
    cout << "TI size = " << sizeof...(ti) << endl
	 << "UI size = " << sizeof...(ui) << endl;
  }
};


using matcher_test = matcher<int, pp<int>,
			     int, pp<int>>;

int main() {
  matcher_test(0, 1);
}