c++ - コンパイルの無限時間 C++

Question

永続的な deque 構造を実装しようとしました。しかし、私は C++ のテンプレートにはあまり詳しくありません。現在は関数しかなく、push_front正しくコンパイルされません。

#include <iostream>

using namespace std;

template < typename T > class Container{
public:
    T val;
    Container(){}
    Container(T _val){
        val = _val;
    }
};

template < typename T > class Deque{
public:
    Container<T>* head;
    Container<T>* tail;
    Deque< pair<T, T> > *child;
    Deque<T>(){}
    Deque<T>(Container<T>* _head, Deque< pair<T, T> > *_child, Container<T>* _tail){
        head = _head;
        child = _child;
        tail = _tail;
    }
    Deque<T>* push_front(T x){
        if (this == NULL)
            return new Deque<T>(new Container<T>(x), NULL, NULL);
        if (head == NULL)
            return new Deque<T>(new Container<T>(x), child, tail);
        return new Deque<T>(NULL, child->push_front(make_pair(x, head->val)), tail);
    }
};

int main(){
    Deque<int> d;
    int a = 1;
    d.push_front(a);
}

push_front 関数のアルゴリズムのスキームがあります。 http://i.stack.imgur.com/an1xd.jpg

Answer 1

再帰的なインスタンス化があります:

dt.cpp: In instantiation of 'Deque<T>::Deque(Container<T>*, Deque<std::pair<T, T> >*,
Container<T>*) [with T = std::pair<std::pair<std::pair<int, int>, std::pair<int, int> >,
std::pair<std::pair<int, int>, std::pair<int, int> > >]':
dt.cpp:38:83:   recursively required from 'Deque<T>* Deque<T>::push_front(T) [with T = 
std::pair<int, int>]' 

等々。に若干の変更を加えるとDeque、g++次のエラーが発生し始めます。

Deque<T>(Container<T>* head_, Deque< pair<T, T> > *child_, Container<T>* tail_)
  : head(head_), child(child_), tail(tail_)
{ }

Deque<T>* push_front(T x)
{
    if (head == NULL)
        return new Deque<T>(new Container<T>(x), child, tail);
    return new Deque<T>(NULL, child->push_front(make_pair(x, head->val)), tail);
}