内存受限环境禁用std::sort因其依赖堆分配、递归栈溢出风险及未定义operator new；首选堆排序，因其严格O(1)空间、O(n log n)稳定时间、无递归，满足硬实时约束。
为什么不能直接用 std::sort？
在内存受限环境（比如嵌入式系统、单片机、堆栈仅几 KB 的裸机环境）中，std::sort 通常不可用：它依赖 std::allocator 和临时缓冲区，最坏情况递归深度达 O(log n)，还可能隐式分配堆内存。更关键的是，链接器可能因未定义 operator new 直接报错：undefined reference to 'operator new(unsigned int)'。必须绕过 STL，手写原地、零堆分配、可控栈深度的排序。
选哪个算法？优先用堆排序或迭代快排
冒泡/插入排序虽简单，但 O(n²) 在 n > 100 时延迟不可控；归并排序需要 O(n) 额外空间，直接出局。实际可选：
- 堆排序：严格 O(1) 额外空间、O(n log n) 稳定时间、无递归 —— 最适合硬实时约束
- 迭代版快速排序：用自管理栈模拟递归，栈大小可预分配（如固定 32 层，支持 2³² 元素），比堆排序常数略小
- 避免递归快排：栈溢出风险高，且编译器未必能优化尾递归
示例堆排序核心逻辑（升序）：
void heapify(int* arr, int n, int i) {
int largest = i;
int left = 2 * i + 1;
int right = 2 * i + 2;
if (left < n && arr[left] > arr[largest]) largest = left;
if (right < n && arr[right] > arr[largest]) largest = right;
if (largest != i) {
std::swap(arr[i], arr[largest]);
heapify(arr, n, largest); // 注意：此处递归深度仅 O(log n)，但可改写为循环
}
}
void heap_sort(int* arr, int n) {
for (int i = n / 2 - 1; i >= 0; i--) heapify(arr, n, i);
for (int i = n - 1; i > 0; i--) {
std::swap(arr[0], arr[i]);
heapify(arr, i, 0);
}
}指针操作的关键细节：避免越界和类型擦除
用指针排序时，常见错误不是算法本身，而是指针误用：
立即学习“C++免费学习笔记（深入）”；
- 传入数组首地址后，务必确认
n是真实元素个数，而非sizeof(array)—— 后者在函数参数中退化为指针，结果恒为 4 或 8 - 若排序
struct数组，比较逻辑必须基于字段，不能直接*(a) > *(b)（除非是 POD 且语义正确） - 避免
void*通用接口：C++ 中强类型更安全，用模板或函数指针传入比较逻辑，例如：void sort_ints(int* arr, int n, bool (*cmp)(int, int)) - 对齐问题：若数据来自 DMA 缓冲区或外设寄存器映射区域，确保指针地址满足访问对齐要求（如 4 字节对齐），否则 ARM Cortex-M 可能触发
UsageFault
如何验证内存占用？看汇编和栈使用量
光看 C++ 代码无法确认是否真“零分配”，必须落地验证：
- 编译时加
-fno-exceptions -fno-rtti -nostdlib，并检查链接日志是否仍有libstdc++符号残留 - 用
arm-none-eabi-gcc -S生成汇编，确认无bl _Znwm（operator new）或bl malloc - 函数栈用量：GCC 下加
-fstack-usage，查看生成的.su文件，heap_sort应显示static栈用量（如16 bytes），而非dynamic - 运行时监控：若平台支持，用
__stack_chk_guard或手动在栈底写标记值，排序前后校验是否被踩
真正难的不是写对算法，是让编译器相信你不需要运行时支持 —— 这往往比算法本身花更多调试时间。
