silly (working!) attempt at cyclic template types

template_cycles.cpp

#include <iostream>

template <template <class X> class V, class TV,
	      template <class Y> class E, class TE>
struct VT
{
	typedef VT<V, TV, E, TE> Combo;

	typedef TV VertexDataType;
	typedef TE EdgeDataType;

	typedef V<Combo> VertexType;
	typedef E<Combo> EdgeType;
};

template<class Combo>
struct Vertex
{
	typedef typename Combo::EdgeType EdgeType;
	typedef typename Combo::VertexDataType VertexDataType;

	EdgeType* edge;
	VertexDataType data;
};

template<class Combo>
struct Edge
{
	typedef typename Combo::VertexType VertexType;
	typedef typename Combo::EdgeDataType EdgeDataType;

	VertexType* vertex;
	EdgeDataType data;
};


template<class Combo>
struct UniEdge : public Edge<Combo>
{
	bool woot;
};


int main()
{
	typedef VT<Vertex, int, UniEdge, int> Combo;
	typedef Vertex<Combo> V; 
	typedef UniEdge<Combo> E;
		
	V vertex;
	E edge;

	vertex.edge = & edge;
	edge.vertex = &vertex;
	
	std::cin.ignore();
	return 0;
}