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

Question

据我所知，从 C++17 开始，某些 STL 数据结构可能“存在”，并且以不完整的类型作为描述存储类型的模板参数。例如，如果类的所有属性（需要的定义）都在单独的 .cpp 文件中实现，我可以使用std::unique_ptr<Incomplete>（虽然我不确定它是否是数据结构）或作为类成员：std::vector<Incomplete>Incomplete

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

假设在类型完成之前没有显式或隐式使用任何类成员：

自 C++11 起，模板参数始终可能不完整，请分别参见std::unique_ptr[ unique.ptr ]/5和[util.smartptr.shared]/2。std::shared_ptr

N4510向 C++17添加了对容器中不完整类型的支持，但仅适用于

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

并且仅当使用的分配器满足分配器完整性要求时，即，即使值类型本身不完整，分配器类型X本身也是完整类型，除std::allocator_traits<X>之外的所有成员也是完整类型::value_type。默认分配器std::allocator满足这些要求。

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