Comment by afdbcreid

What operations could such frozen vector offer that std::vector does not? If there are none, it doesn't need a separate data structure.