Списки типов. TypeAt.

[mMAg]

Списки типов подсмотрены в Александреску еще очень-очень давно. Но сейчас книги не имеется, а с гуглом по этому вопросу я как-то не слишком подружился.

Ниже сама реализация списка типов и реализация шаблона TypeAt, который у меня почему-то именуется AtIndex, потом исправлю . Вот она как раз у меня пахать и не хочет. В чем ошибка, я уже третий день понять не могу. Пытался и так и эдак ее переписать, но работать она отказывается.

Возможно, кто-нибудь подскажет мне в чем проблема?

class NullType
{
};

template<class T, class U>
struct TypeList
{
    typedef T Head;
    typedef U Tail;
};

template<class TList>
struct Length;

template <>
struct Length<NullType>
{
    enum
    {
        value = 0
    };
};

template <class T, class U>
struct Length< TypeList<T,U> >
{
    enum
    {
        value = 1 + Length<U>::value
    };
};

template<class TList, unsigned int Index>
struct AtIndex;

template <class T, class U>
struct AtIndex< TypeList<T,U>, 0 >
{
    typedef T Result;
};

template <class T, class U, unsigned int Index>
struct AtIndex< TypeList<T,U>, Index >
{
    typedef AtIndex<U, Index-1>::Result Result;
};

#define TypeList_1(T1) TypeList< T1, NullType >
#define TypeList_2(T1,T2) TypeList< T1, TypeList_1(T2) >

[netrino]

template <class T, class U, unsigned int Index>
struct AtIndex< TypeList<T,U>, Index >
{
    typedef typename AtIndex<U, Index-1>::Result Result;
...

у меня так скомпилировалось с gcc и clang

[mMAg]

Спасибо. Я пробовал в таком варианте, но все равно напрочь отказывается компилироваться. Проблема в том, что он почему-то не воспринимает частичную специализацию и продолжает раскручивать рекурсию для индексов меньших 0. Хотя по сути не должен.
Кстати, под MVS 05 все скомпилировалось. Но вот борланд отказывается воспринимать частичную специализацию.

[netrino]

А, ну борланд да, он может) Возможно есть возможность это обойти как-то, но я не в курсе, честно говоря)