存储不完整类型的哪些STL数据结构可以用作类成员？

Question

据我所知，由于C ++ 17，某些STL数据结构可能“存在”，而不完整的类型是描述存储的类型的模板参数。例如，我可能会使用 std :: simolor_ptr＆lt; code＆gt; （我不确定它是否是数据结构）或 std :: vector＆lt; nistete＆gt; 作为类成员如果类的所有属性（需要不完整的定义）在单独的.cpp文件中实现：

class Incomplete;
using Complete = int;
class Foo {
private:
  std::unique_ptr<Incomplete> u_p;
  std::vector<Incomplete> v;
  std::deque<Incomplete> d;
  std::list<Incomplete> l;
  std::set<Incomplete> s;
  std::unordered_map<Complete, Complete> u_m_cc;
  std::unordered_map<Complete, Incomplete> u_m_ci;
  std::unordered_map<Incomplete, Complete> u_m_ic;
  std::unordered_map<Incomplete, Incomplete> u_m_ii;
public:
  // implemented in a separate .cpp which has Incomplete defined:
  Foo();
  Foo(Foo&&);
  Foo& operator=(Foo&&);
  Foo(Foo const&);
  Foo& operator=(Foo const&);
  ~Foo();
};

那么，上面列出的哪些数据成员适用于此类用法？其他数据结构，智能指针等呢？

Answer 1

假设所有类都没有明确或隐式使用，直到类型完成为止：

std :: simory_ptr 和 std :: sharde_ptr 始终可能是不完整的。 ++ 11，请参见 [simel.ptr]/5 和 [util.smartptr.shared]/2 。

添加了至C ++ 17，但仅适用于

std::vector
std::list
std::forward_list

且仅当使用的分配器满足分配器完整性要求，即，即使值类型本身还不完整，分配器类型 x 本身是一种完整的类型， std :: allocator_traits＆lt; x＆gt; 的所有成员也是如此，除 :: value_type 外。默认分配器 std ::分配器符合这些要求。

其他容器都不能与不完整的类型一起使用。根据上面链接的提案，该范围仅限于这三个容器“ 作为第一步”，因为主要实施已经对其进行了支持。

Answer 2

由于C ++ 17，某些STL数据结构可能“存在”，而不完整的类型作为模板参数描述了存储的类型。

这是不正确的。

由于C ++ 17，某些STL类型可能会以不完整的类型为模板参数声明。

到类型是实例化时，类型必须完成。

例如：（未经测试的代码）

struct T; // incomplete
using TV = std::vector<T>; // declared a type using incomplete type T; fine.

TV tv0; // attempt to declare a variable of type TV; fails to compile.

struct T { int v; }; // T is now complete
TV tv1; // compiles