станд :: unique_ptr <T> ошибки

Question

неполного типа У меня есть

template<typename T> 
class queue 
{ 
private: 
    struct node 
    { 
     T data; 
     std::unique_ptr<node> next; //compile error on incomplete type 

     node(T&& data_): 
      data(std::move(data_)) 
     {} 
    }; 

    std::unique_ptr<node> head; 
    node* tail; 

public: 
     queue(): 
      tail(nullptr) 
     {} 

Я получаю ошибку компиляции на отмеченной линии в VS10. Должен ли я иметь возможность использовать неполный тип в этом случае (создать экземпляр шаблона - конструктор - здесь для int в качестве примера)? Есть ли работа?

EDIT

singlethreadedqueue.h(62): error C2079: 'queue<T>::node::next' uses undefined class 'std::unique_ptr<_Ty>' 
1>   with 
1>   [ 
1>    T=MyClass 
1>   ] 
1>   and 
1>   [ 
1>    _Ty=queue<MyClass>::node 
1>   ] 
1>   c:\program files\microsoft visual studio 10.0\vc\include\memory(2161) : see reference to class template instantiation 'queue<T>::node' being compiled 
1>   with 
1>   [ 
1>    T=MyClass 
1>   ] 
1>   c:\program files\microsoft visual studio 10.0\vc\include\memory(2195) : see reference to class template instantiation 'std::_Unique_ptr_base<_Ty,_Dx,_Empty_deleter>' being compiled 
1>   with 
1>   [ 
1>    _Ty=queue<MyClass>::node, 
1>    _Dx=std::default_delete<queue<MyClass>::node>, 
1>    _Empty_deleter=true 
1>   ] 
1>   singlethreadedqueue.h(69) : see reference to class template instantiation 'std::unique_ptr<_Ty>' being compiled 
1>   with 
1>   [ 
1>    _Ty=queue<MyClass>::node 
1>   ] 
1> : see reference to class template instantiation 'queue<T>' being compiled 
1>   with 
1>   [ 
1>    T=MyClass 
1>   ] 

Answer 1

Требование полного типа в точке создания шаблона связано с std::default_delete, поэтому, возможно, вы можете обходить его, предоставив пользовательский делектор.

struct node;   // node_delete need to know 'node' is a type. 
struct node_deleter 
{     // std::unique_ptr needs 'node_deleter' to be complete. 
    void operator()(node* ptr); // forward-reference to avoid needing 
};        // 'delete ptr' before the node is complete. 

struct node 
{ 
    std::unique_ptr<node, node_deleter> next; 
}; 

void node_deleter::operator()(node* ptr) 
{ 
    delete ptr; 
} 

Имейте в виду, я не проверял его в MSVC, и, возможно, вы должны попытаться перейти на VC 11 или file a bug to Microsoft если даже VC 11 не может компилировать исходный код.

Answer 2

Ваш код выглядит хорошо сформирован. В теле конструктора и тело деструктора класс считается полным типом.

Answer 3

Если вы используете shared_ptr вместо unique_ptr, то компиляция (на VS2010). Я предполагаю, что способ, которым он реализован, допускает частичные классы (форвардная декларация и т. Д.) В случае shared_ptr, но не для unique_ptr. Документ для boost::shared_ptr определенно говорит, что он позволяет это, но я не знаю, VS2010, если он «сказал», почему они делают это поведение для одного, а не для другого.

Я бы сказал, протестируйте его и посмотрите, соответствует ли он вашим потребностям shared_ptr. Это не то, что вы хотите, но если это сработает, и разница в скорости не очень много, тогда это может быть ОК.