std::vector在裸机嵌入式环境会崩溃，因其依赖operator new分配内存，而裸机无堆初始化、无malloc实现且通常禁用异常；触发分配失败将导致未定义行为或卡死。
为什么 std::vector 在裸机嵌入式环境里会崩
它默认用 operator new 分配内存，而裸机没 heap 初始化、没 malloc 实现、也没异常处理机制。一旦触发分配失败，要么跳进未定义行为，要么直接卡死在 std::bad_alloc 构造里——而你连 C++ 异常都可能关掉了。
更隐蔽的问题是：即使你重载了全局 operator new，STL 容器内部仍可能做多次小内存分配（比如 std::list 的每个节点），碎片和时序不可控，不符合硬实时要求。
- 禁用所有动态分配的最可靠方式，是让容器完全不调用
new/delete，只用栈或静态缓冲区 - 必须显式控制容量上限，且编译期可知（
constexpr或模板参数） - 放弃 STL 接口兼容性换确定性——比如不用
push_back返回迭代器，改用返回bool表示是否成功
用 std::array + 手写封装实现固定大小栈容器
std::array 本身是零开销、无分配、POD 友好的，但它只是裸数组，缺 size 管理和边界检查。你需要一层薄封装：
template<typename t size_t n>
class ring_buffer {
std::array<t n> data_;
size_t head_ = 0;
size_t tail_ = 0;
size_t count_ = 0;
public:
bool push(const T& item) {
if (count_ == N) return false;
data_[tail_] = item;
tail_ = (tail_ + 1) % N;
++count_;
return true;
}
bool pop(T& out) {
if (count_ == 0) return false;
out = data_[head_];
head_ = (head_ + 1) % N;
--count_;
return true;
}
constexpr size_t capacity() const { return N; }
size_t size() const { return count_; }
};
</t></typename>
注意：std::array 成员必须是 trivially copyable，否则在无构造函数/析构函数约束下可能出问题；若需存储类对象，确保其构造/析构不依赖动态资源。
避免 std::string 和 std::vector 的替代方案
字符串就用带长度的 char[N] + std::span<const char></const>（C++20）或自定义 string_view 裸结构；vector 类需求统一用下面这个模式：
- 用模板参数指定最大元素数：
static_vector<int></int>，内部用std::array<int></int>存储，外加一个size_t size_成员 - 所有操作（
push_back、pop_back、at）都做运行时长度检查，失败返回错误码或断言（根据安全等级选assert或静默丢弃） - 禁止隐式转换：不要提供
operator std::vector<t>()</t>，防止误传给依赖动态分配的函数 - 若需迭代，直接暴露
data()和size()，让用户用for (size_t i = 0; i —— 更易被编译器优化，也杜绝 iterator invalidation 问题
链接时如何确认没偷偷调用 operator new
光看源码不够，得验证最终二进制。在 GCC/Clang 下编译后，用 nm -C your.elf | grep 'operator new' 查符号；如果输出为空，再补一道保险：
- 在链接脚本末尾加
ASSERT(SIZEOF(.heap) == 0, "heap section not empty")（需你已定义 .heap 段） - 或者，在启动代码里把
_sheap/_eheap地址设为非法值（如 0），运行时只要一碰 heap 就触发 HardFault - 特别注意第三方库：有些声称“无分配”的容器，内部仍用
std::allocator模板别名，实际展开后还是调new—— 必须展开模板实例化看汇编
真正难的不是写几个容器，而是让整个工具链、所有依赖、甚至编译器内建函数（比如某些 std::to_chars 实现）都不越界。每加一个新功能，都要重新验一遍符号表。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
