标准库实现可以专门化标准类型吗？

Question

例如，为了论证，我们假设找到了一​​个更有效的（存储，对它的操作）实现整数类型的向量（与通用向量实现相比）。符合标准的库可以执行以下操作：

template <class T, class A, class Enable = void>
class vector { ... };

template <class T>
class vector<T, A, std::enable_if_t<std::is_integral<T>::value>> { ... };

我认为由于额外的模板参数，这将是非法的。

但是一点编译器魔法呢：（除了额外的实现工作）是否允许这样的事情：

• vector<integral_type, A> 被内部映射 到 class vector_integral<T, A> 而
• vector<anything_else, A> 被内部映射到class vector<T, A>。

---

- 这显然与标准中明确提到的专业无关，例如std::vector<bool>

- 专业化显然具有相同的接口和可观察的行为。

- 让我们忽略concepts，因为它们还不是标准的。除非你有一些事实。

- 这是一个纯粹的学术问题（阅读个人好奇心）。

Answer 1

只要标准库实现符合标准发布的保证，就可以有专门化。这些保证显然包括增长的复杂性、接口功能以及某些类的数据内部布局。

据我所知，vector<bool> 特化已包含在标准中，因为它的内部数据布局不同于通用的 vector<T> 库类，因此它需要得到标准的特别允许。

标准明确规定 17.5.1.4 广告。 7：

库子句中指定的复杂性要求是上限，提供更好的复杂性保证的实现满足要求。