c++ - 特化 std::vector 的模板

Question

我试图让一个 std::vector 来保存固定长度的字符串，而不通过包装类引入间接寻址。我的想法是专攻std::vector对于我的自定义类型，其行为类似于 std::vector到外面，但使用自己的存储布局。有点像std::vector<bool> .

我查看了“Extending the namespace std”，但没有找到我不应该这样做的理由。我可以执行以下操作吗？如果不能，我将面临什么样的 hell ？

#include <iostream>
#include <vector>

class FixedString {};

namespace std {
    template <>
    class vector<FixedString> {
    public:
        void push_back( FixedString&& value ) {
            std::cout << "Welcome to my vector. Let's play a game!" << std::endl;
        }
    };

    // here be more vector methods.
}

int main () {
    std::vector<int> a;
    a.push_back(int{});

    std::vector<FixedString> b;
    b.push_back(FixedString{});
}

编辑:我知道可能有更好的方法可以做到这一点，评论中的讨论帮助我理解了这有什么问题。尽管如此，我还是想了解这是否合法(即使不受欢迎)C++ 代码。人们在下面暗示了 [namespace.std]，但我想了解完全专门化的 vector 类会违反哪些规则。

Answer 1

[namespace.std] 中的规则是:

A program may add a template specialization for any standard library template to namespace std only if the declaration depends on a user-defined type and the specialization meets the standard library requirements for the original template and is not explicitly prohibited.

因此，有两个标准:“取决于用户定义的类型”(一个更好的术语，希望被采用，是程序定义的类型)和“满足原始模板的标准库要求”。您的示例满足第一个条件但违反了第二个条件，因此它是未定义的行为。

但是，如果您继续填写其余要求(请参阅 [container.requirements] 和 [sequence.reqmts] 和 [vector] )以满足第二个条件，那么就可以了。但存疑。只需编写您自己的容器，最小惊奇原则等等。当人们看到std::vector<T>他们认为它实际上是一个 std::vector . std::vector<bool>已经够糟糕了，不要再添加一个。