为什么没有标头的不存在是否可以被视为缺陷？

Question

标准库包含一个 标头，该标头（向前）声明包括任何 typedef 的所有流并定义 char_traits 模板，包括专业化。

遗憾的是，没有这样的 标头（向前）声明所有常见的 STL 数据类型和函数，例如 vector、map、< code>less、sort 等。更可悲的是，用户代码不允许将此类声明/typedef 添加到 std 命名空间，按照

§17.4.3.1 [lib.reserved.names] p1：

除非另有说明，否则 C++ 程序向命名空间 std 或命名空间 std 内的命名空间添加声明或定义是未定义的。程序可以将任何标准库模板的模板专业化添加到命名空间std。

是的，这涵盖了（前向）声明的情况，即使这些类型已经存在于标准库中。当然，即使添加这样的声明，大多数（全部？）编译器也会表现得完全正常，但严格来说，从语言律师的角度来说，这是未定义的行为。我发现这对于 typedef 标准容器来说尤其乏味，例如：

// how to forward declare map and string?

typedef std::map<std::string, std::string> Attributes;

现在，这可以被视为缺陷吗？

我的意思是 标头不存在（或者更好，，也覆盖 ）以及对标准库中已存在的声明的禁令。

另外，根据这个问题，如果有一个（转发）完全按照标准的要求声明标准容器、算法和函子/函数，代码应该完全有效（如果不是在 std 中禁止用户声明）命名空间），因为不允许实现添加任何隐藏/默认模板参数。

我问这个问题是因为我正在考虑最终提交一份与此相关的缺陷报告。

Answer 1

前向声明 less 或 sort 或任何其他算法的目的是什么？如果您传递通用算法，它几乎肯定会作为模板类型，根本不需要前向声明。

这就只剩下容器类型了。在某些情况下，它们的前向声明肯定是有用的，但我怀疑，由于每个容器定义都相对简单（与 iostream 相比），因此最好只使用完整的包含而不是。例如包括。