шаблоны — структура дерева / леса C ++ для узлов разных классов

\\ при реализации решения, найденного с приведением к общему базовому классу

\\ с virtal членами.

\\ я узнал об универсальных ссылках, потому что это другой вопрос, который я создал новый:

https://stackoverflow.com/questions/29590429/c-is-it-possible-to-use-universal-references-for-a-tree-forest-with-nodes-that

пожалуйста, обратитесь также к этому оригинальному вопросу.

Я хочу организовать иерархическую древовидную структуру объектов разных типов.

Решение должно выполнять свою работу во время компиляции, поэтому я обнаружил, что я должен сделать это с шаблонами в лучшем случае без приведения.

после некоторых попыток, которые находятся в editlog и имели некоторые фундаментальные недостатки.

я нашел способ разделить его на два класса

• лес, который хранит все узлы и дает им две координаты номера индекса в векторе< вектор <…>>

• создать шаблон < T> который хранит объект T и отношение к другим узлам

моя идея еще не имеет способа получить доступ к функциям-членам объектов, хранящихся внутри класса узла, без нарушения unique_pointer, обеспечивающего управление ресурсами.

и я хотел бы знать, как обеспечить типизацию при доступе к объекту внутри класса узла.

внутри кода могут быть ошибки, я совершенно уверен, что он не скомпилируется, вопрос в концепции.

Вопросы находятся внутри комментариев.

версия 4:

 class Forest
{
public:
template<typename T>
{friend class Node<T>;} \\every Node<T> should have access to the forest
Forest();
~Forest();
Forest(const Forest&)=delete;  \\does not make any sense to copy or assign the forest to another forest.
Forest operator=(const Forest&)=delete;
int insertroot()  \\every tree has a void nullptr seed/root so that the forest does not need to be templatet, returns the treenumber
{    \\implementation
if(this->Nodes.size()==0)
{
std::vector<std::unique_ptr<Node<void> > > h0;
h0.push_back(std::unique_ptr<Node<void>(new Node<void>(nullptr));
this->Nodes.push_back(h0);
}else
{
this->Nodes[0].push_back(std::unique_ptr<Node<void>(new Node<void>(nullptr,this)));
}
return this->Nodes[0].size()-1;

}
Node<void>* getroot(int i)   \\ to later allow access to the children and the Objects inside them
{
if(Nodes.size>0){
if((i>0)&(i<Nodes[0].size()))
{
return Nodes[0][i].get();
}
}
private:
std::vector<std::vector<unique_ptr<Node<void> > > nodes; \\is it possible to fill this vector with any Node<T>? its a vector*2 to a unique_ptr to a classpointer with a member pointer to any class. from what i read about templates they create a extra class  for every type, so basicly the unique_ptr have a different type and i cannot store different types in a vector without casting?
}

template<typename T>
class Node
{
public:
Node(T n,Forest * Fo) \\ every Node is in the forest and has access to the other nodes and forest information
:object(std::unique_ptr(n)),F(Fo)
{
if(n==nullptr)
{
this->lvl=0;
this->place=F->Node[0].size();
this->parent=-1;
}
}
~Node();
Node(const Node&)=delete;
Node operator=(const Node&)=delete;
T getObject(){return object.get();} \\how does the compiler know the type? see getchild

template<typename C>
{
Node<C> * getchild(int){}   \\not yet exsisting implementation of get child[int] how do i teach the compiler what int responds to what type?
\\when i understand templates correct then Node<C> are different Classes for every C??
addChild(C c)
{
Node * n=new Node(c,this->F);
n->parent=this->place;
n->lvl=this->lvl+1
if(F->nodes.size()<=n->lvl)
{
n->place=0;
h0=std::vector<unique_ptr<Node<C>> >;
h0.push_back(unique_ptr<Node<C>(n))
F->Nodes.push_back(h0); \\are vector<uniptrNode<C> > and vector<uniptrNode<void>> compatible?
}else
{
n->place=F->nodes[n->lvl].size();
F->Nodes[n->lvl].push_back(unique_ptr<Node<C> >(n));
}
this->children.push_back(c->place);
}
}
private:
int parent,place,lvl;
std::vector<int> children;
unique_ptr<T> object;
Forest * F;
}

Кто-нибудь знает способ реализации контейнера, как это?
может быть, есть какой-то абстрактный тип типа, о котором я не узнал, так что я могу добавить метод типа getnodetype (int) или checknodetype (int, type), могу ли я назначить это с помощью auto nodex = y-> getObject ()? Но тогда как компилятор узнает, что есть у метода nodex, а что нет?

РЕДАКТИРОВАТЬ: я удалил оригинальный пост, потому что v4 очень близко к рабочему решению, версия 1-3 должна быть в editlog