template<typename _TPtr, typename _TObj>
struct test_t
{
    _TPtr *ptr;
    _TObj obj;
};

typedef test_t<two_t, int>  one_t;
typedef test_t<int, one_t>  two_t;

Quote:Original post by MrEvil
Wouldn't two_t expand to test_t<int, one_t> which would expand to test_t<int, test_t<two_t, int> > which would expand to test_t<int, test_t<test_t<int, one_t>, int> > until your compiler slaps you?

I don't get it.

struct two_t;struct one_t{    two_t *ptr;    int obj;};struct two_t{    int *ptr;    one_t obj;};

Quote:Original post by Emmanuel Deloget

struct FirstType;typedef std::pair<FirstType*, int> SecondType;struct FirstType : public std::pair<int*, SecondType> { };

But it's awfull. Really. I smell a design weirdness [smile]

template<typename _TPtr, typename _TObj>struct test_t{    _TPtr *ptr;    _TObj obj;};struct two_t;typedef test_t<two_t, int>  one_t;typedef test_t<int, one_t>  _helper_two_t;struct two_t : public _helper_two_t {/*empty*/};