tmp_list.cpp

#include <iostream>
#include <utility>
#include <string>
using namespace std;

// {{{
struct ListTerminator
{
};
const ListTerminator NIL {};

template <typename T, typename ...Remains>
struct List
{
    typedef typename std::pair<T, typename List<Remains...>::type> type;
};

template <typename T>
struct List<T>
{
    typedef std::pair<T, ListTerminator> type;
};
// }}}

int add(int a, int b)
{
    return a + b;
}

int main(void)
{
    List<int, string, int (*)(int, int)>::type v { 41, { "hoge", { add, NIL } } };
    cout << v.first << endl;
    cout << v.second.first << endl;
    cout << v.second.second.first(3, 5) << endl;
    return 0;
}