C++20前所有程序均为UB？std::vector实现相关疑问

为什么C++20前无法用纯语言工具合法实现std::vector？ #

C++20之前的标准在内存与对象生命周期的绑定规则上存在漏洞，导致std::vector的核心逻辑必然触发未定义行为（UB）：

• std::vector的工作流程是先分配一段无对象的原始内存，再在内存上构造T类型对象，最后销毁对象并释放内存。但C++20前，标准没有明确允许通过char*或void*这类原始内存指针转换为T*后访问构造好的对象——这种类型转换的合法性未被标准覆盖，属于UB。
• 扩容时的对象移动/拷贝操作也存在问题：标准未明确规定“在未构造对象的内存区域上移动构造对象”的合法性，同时对于对象移动后原内存中对象的状态、指针/引用的有效性定义模糊，实现者只能依赖编译器的非标准行为来绕过这些问题。

简单说，C++20前的语言本身没有提供足够的机制，来区分“原始内存”和“持有对象的内存”之间的操作边界，而std::vector的核心逻辑恰恰需要频繁在这两者之间切换，所以纯语言层面无法写出完全符合标准的实现。

std::monostate在C++20前可以合法实现吗？ #

可以。std::monostate本质是一个空的聚合类型，它的需求仅仅是作为std::variant的默认备选状态，不需要任何特殊的内存操作或生命周期技巧。只需要定义一个空结构体，并确保它满足标准要求的默认构造、拷贝/移动构造、赋值等操作——这些在C++20前的标准里完全可以通过常规语法实现，不存在UB，也不需要编译器扩展。

内容的提问来源于stack exchange，提问作者Enlico