gistfile1.cpp

#include <string.h>

template <typename T> struct lift {
	typedef T t;
};

template <typename T> struct ptr {
	typedef typename lift<T>::t* t;
};
template <typename T> struct lift<ptr<T> > {
	typedef typename ptr<T>::t t;
};

template <size_t sz, typename T> struct arrayn {
	typedef typename lift<T>::t t[sz];
};
template <size_t sz, typename T> struct lift<arrayn<sz, T> > {
	typedef typename arrayn<sz, T>::t t;
};

template <typename T> struct array {
	typedef typename lift<T>::t t[];
};
template <typename T> struct lift<array<T> > {
	typedef typename array<T>::t t;
};

int main() {
	{
		int foo;
		ptr<int>::t bar = &foo;
	}
	{
		int foo[7];
		ptr<arrayn<7, int> >::t bar = &foo;
	}
	{
		int (*foo)[];
		ptr<ptr<array<int> > >::t bar = &foo;
	}
	{
		int foo;
		int *bar = &foo;
		ptr<ptr<int> >::t baz = &bar;
	}
	{
		// cdecl> declare x as pointer to array 7 of pointer to function returning int;
		int (*(*x)[7])() = NULL;
		ptr<arrayn<7, int (*)()> >::t y = x;
	}
}