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

例如，为了论证起见，我们假设为积分类型的向量找到了一个更高效的(存储，对其进行操作(实现(与通用向量实现相比(。一个符合标准的图书馆能做一些类似的事情吗：

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>，而
• 要内部映射到class vector<T, A>的vector<anything_else, A>

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

_{-专业化显然具有相同的界面和可观察的行为。}

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

_{-这是一个纯粹的学术问题(阅读个人好奇心(。}