Jak utworzyć strukturę, która zawiera własną listę?

Question

Chcę utworzyć strukturę, która zawiera listę samej strukturze jak poniżej:

#include <list> 
struct Url 
{ 
    CString strUrl; 
    std::list<Url> children; 
}; 

int main() 
{ 
    Url u1, u2; 
    u1.children.push_back(u2); 
} 

Ten kod nie jest kompilacją. Ale kiedy zastąpię std::list z std::vector, to działa dobrze. Jak mogę sprawić, aby działało to z std::list?

Okno wyjściowe zawiera następujący błąd.

c:\program files\microsoft visual studio\vc98\include\list(29) : error C2079: '_Value' uses undefined struct 'Url' 
     E:\test\Test.cpp(23) : see reference to class template instantiation 'std::list<struct Url,class std::allocator<struct Url> >' being compiled 
c:\program files\microsoft visual studio\vc98\include\functional(185) : error C2079: 'value' uses undefined struct 'Url' 
     c:\program files\microsoft visual studio\vc98\include\list(285) : see reference to class template instantiation 'std::binder2nd<struct std::not_equal_to<struct Url> >' being compiled 
     E:\test\Test.cpp(23) : see reference to class template instantiation 'std::list<struct Url,class std::allocator<struct Url> >' being compiled 

Answer 1

Jeśli potrzebujesz workround za to, co wydaje się być błąd vc6, tworzyć lista dynamicznie:

#include <list> 
#include <string>  // I don't use MFC 

struct Url 
{ 
    std::string strUrl; 
    std::list<Url> * children; 

    Url() { 
     children = new std::list <Url>; 
    } 

    ~Url() { 
     delete children; 
    } 
}; 

int main() 
{ 
    Url u1, u2; 
    u1.children->push_back(u2); 
} 

Niektórzy pytali, dlaczego list tego samego typu, co członkowie są dozwolone (i moim zdaniem są one), gdy

Url array[5]; 

na przykład jako członek nie będzie. Nie mogę znaleźć niczego w standardzie, ale sizeof(std:;list <T>) nie jest zależne od rzeczy, których jest listą. Załóżmy, że lista została wprowadzona jako (niektóre pseudo C++ tutaj):

list <T> { 
    listEntry <T> * first; 
}; 

to nie ma nieznany rozmiar do czynienia. Rozważmy następujący minimalny kod, który odnosi się do problemu pytających:

template <typename T> struct A { 
}; 

struct B { 
    A <B> b; 
}; 

Nie widzę żadnej możliwej przyczyny, że nie powinno być legalne.

Answer 2

Czy możesz nam powiedzieć, jakiego kompilatora używasz? Z tym, co robisz, nie ma nic nie w porządku. Próbowałem następujące na VS2008 SP1 i skompilowany bez problemu

#include <list> 

struct Url 
{ 
    std::string name; 
    std::list<Url> children; 
}; 

int _tmain(int argc, _TCHAR* argv[]) 
{ 
    Url u1,u2; 
    u1.children.push_back(u2); 
    return 0; 
} 

Czy może zapomnieć do listy obejmują?

EDIT

OP jest przy użyciu programu Visual Studio 6.0 i Neil był w stanie potwierdzić, że rzeczywiście jest to błąd w VS6

Answer 3

Interesujące - próbujesz utworzyć vector lub list niekompletnego typu. Z szybkiego spojrzenia na standard nie mogę stwierdzić, czy jest to dozwolone, czy też nie, dla typów kontenerów zawartych w C++ Standard Library. Albo orzeczenie wydaje się być rozsądny:

Dlaczego nie może być dozwolone: ​​ Nie można zadeklarować obiekt typu X wewnątrz definicji X.

E.g. następujący kod nie skompilować, ponieważ byłoby stworzyć nieskończenie-głęboką strukturę danych:

struct X { 
    X x; 
}; 

Dlaczego to może być dozwolony: Większość pojemniki są resizeable, wymagające poziom zadnie (wskaźniki) do rzeczywistych elementów danych w praktyce. Zgłoszenie wskaźnika do X jest zgodne z definicją X.

Jak sugeruje ostatni akapit, zwykłym sposobem obejścia tego problemu jest użycie wskaźników lub odnośników do X. Na przykład. następujące dwa fragmenty skompilować dobrze:

struct Y { 
    Y* y; 
}; 

struct Z { 
    std::list<Z*> zl; 
    std::vector<Z*> zv; 
}; 

Czy ktoś (OK, to znaczy litb :-P) wie, jakie wymagania są rzeczywiście dla standardowych typów kontenerów?

Answer 4

Kod doskonale współpracuje z GCC 4.4 I działa perfekcyjnie. MSVC++ przed wersją 7 nie był całkowicie zgodny ze standardami. Powinieneś rozważyć użycie nowszego kompilatora.

Answer 5

przeciwieństwie do roszczeń w innych odpowiedzi, to jest rzeczywiście nie prawny do wystąpienia dowolnego standardowego kontenera, w tym std::list, z niekompletną typu. (Dla language-lawyer omówienie tego, patrz np How can an incomplete type be used as a template parameter to vector here?)

Wymóg tylko zostanie złagodzone C++ 17 dla std::forward_list, std::list i std::vector. W przypadku każdego wcześniejszego standardu oryginalny kod współpracujący z nowszymi wersjami VC i gcc jest rozszerzeniem niestandardowym. Dotyczy to również twoich obserwacji z std::vector.

W pre-C++ 17, przenośną mieć std::list pewnej klasie T jako członek wspomnianej klasy, trzeba zrobić obejście jak std::list<T*> lub korzystania z biblioteki boost.container, który już przenośnie implementuje swobodnej wymagania .

Należy pamiętać, że nawet w C++ 17 można utworzyć tylko sam szablon klasy z niekompletnym typem. Typ musi być nadal kompletny, gdy zostanie utworzony dowolny element członkowski.