C++ 标准是否指定了标准容器的类型依赖关系？

Question

在“Codependent types with unordered_map”中观察到 std::unordered_map<Key, Value> 在 libstdc++ 中对 Value 有类型依赖（这是意料之外的），在 libc++ 和 MSVC 中对 Value 没有类型依赖。

一般来说，ISO C++ 规范是否完全讨论了容器的类型依赖关系？如果可以，您能否指出相关部分？

类型依赖：我不确定 ISO C++ 规范中是否有类型依赖的正式定义，但为了这篇文章的目的，让我们说 type A 有类型如果不能单独使用 B 的前向声明编译 A，则依赖于 type B。示例：

struct Val; // forward declaration of Val
struct Container {
  Val v;
}; // Compile error; Type Val is incomplete. Container has a type dependency on Val

struct Val; // forward declaration of Val
struct Container2 {
  Val *v;
}; // Compiles. Container2 does not have type dependency on Val

Answer 1

您可能正在寻找这个：

[res.on.functions]/2 特别是，在以下情况下效果未定义：

...

(2.5) — 如果在实例化模板组件时将不完整类型 (6.9) 用作模板参数，除非该组件特别允许。

---

在各种标准容器中，[containers] 部分指定std::forward_list、std::list 和std::vector 可以用不完整的类型实例化。例如

[vector.overview]/3 如果分配器满足分配器完整性要求 (20.5.3.5.1)，则在实例化 vector 时可以使用不完整类型 T。 T 应在 vector 的结果特化的任何成员被引用之前完成。

forward_list 和 list 的措辞相似。