不完全な型のリストのイテレータを使用できますか？

Question

struct some_struct 
{ 
    std::list<some_struct> nested; 
}; 

IIUCこれまで、標準コンテナは完全な型でのみインスタンス化する必要があったため、UBを呼び出すことになりました。

は今、しかし、我々はここから進んできたとhttp://open-std.org/JTC1/SC22/WG21/docs/papers/2015/n4510.htmlごとに、私たちは、不完全な型をstd::list、std::forward_listとstd::vectorをインスタンス化することができますので、上記のコードが有効です。

しかし、しかし、私はさらに少しと書き込みを行くことがあります。

struct some_struct 
{ 
    std::list<some_struct>::iterator it; 
}; 

？

コンテナのインスタンス化とそのメンバー型の使用は同じではありません...たとえば、不完全な型のboostコンテナをインスタンス化できると言われましたが、テンプレート引数が完全型でない限り、value_typeは使用できません。上記のコードスニペットが有効かどうかはわかりません。

ですか？

Answer 1

非常に紙がlistの結果として専門 の任意のメンバーが参照される前に

Tが完了しなければならないと言うこと。