直接套用MISRA C++规则易出错，因其228条规则（2008版）未适配项目约束；必须裁剪——依据运行环境（无堆/无异常）、资源边界（栈≤2KB）及可追溯性（豁免需关联需求ID与测试用例）。
为什么直接套用 MISRA C++ 规则反而容易出错
MISRA C++ 不是“开箱即用”的安全开关，而是一套需结合项目上下文裁剪的约束集合。盲目启用全部 228 条规则（MISRA C++:2008）或 143 条（MISRA C++:202x），会导致编译失败、模板无法展开、STL 容器被禁用等实际问题——尤其在航空航天实时系统中，std::vector 被禁用后若没提供替代的静态内存池实现，代码根本跑不起来。
关键判断：必须先做规则裁剪（Rule Suppression & Justification），而非先写代码。裁剪依据不是“想省事”，而是：运行环境约束（如无堆、无异常、无 RTTI）、硬件资源边界（栈深度 ≤ 2KB、中断响应 ≤ 5μs）、验证可追溯性要求（每条豁免必须关联需求 ID 和测试用例编号）。
如何让 new 和 delete 在 MISRA C++ 下合法存在
MISRA C++:2008 Rule 18-0-1 禁止动态内存分配，但航天飞控软件常需处理变长遥测帧。硬禁用 new 会迫使你用最大尺寸数组+手动偏移管理，反而增加越界风险。
实操路径是：声明专用内存池 + 重载类级 operator new/operator delete，并确保所有调用都落在该池内：
class TelemetryPacket {
private:
static std::array<uint8_t> s_pool;
static size_t s_offset;
public:
void* operator new(size_t size) {
if (size > 1024 || s_offset + size > s_pool.size()) {
// 违规：触发静态断言或进入安全降级模式
abort();
}
void* ptr = s_pool.data() + s_offset;
s_offset += size;
return ptr;
}
void operator delete(void* ptr) noexcept { /* 不释放，仅标记为待回收 */ }
};</uint8_t>
- 必须用
std::array替代new[]，避免堆依赖 - 禁止在构造函数中调用
new——否则违反 Rule 18-0-2（构造函数不得有副作用） - 静态分析工具（如 PC-lint++ 或 Helix QAC）需配置自定义内存池识别规则，否则仍报错
为什么 std::string 和 std::vector 几乎必然被禁用
不是因为它们“不安全”，而是其内部行为不可预测：容量增长策略、异常抛出路径、迭代器失效边界，在 DO-178C Level A 认证中无法 100% 形式化证明。MISRA C++:202x 明确将 std::string 列为“禁止使用”（Directive 4-1-1）。
替代方案不是手写 C 风格字符串，而是采用带长度检查的固定缓冲区封装：
template<size_t n>
class FixedString {
char data[N+1];
size_t len = 0;
public:
constexpr bool append(const char* s) {
if (strlen(s) + len >= N) return false; // 编译期/运行期双检
memcpy(data + len, s, strlen(s));
len += strlen(s);
data[len] = '\0';
return true;
}
};</size_t>
- 所有成员函数必须标
constexpr或noexcept，否则违反 Rule 0-1-11（异常安全性） - 禁止隐式转换构造函数——需显式写
explicit FixedString(const char*)，防 Rule 12-1-4 - 若用
memcpy，必须确认源长度 ≤ 目标剩余空间，否则静态分析器会标记为 Rule 18-4-1 违规
中断服务程序（ISR）里哪些 C++ 特性绝对不能碰
航空电子设备的 ISR 必须满足 WCET（最坏执行时间）可预测，任何可能引发不可控延迟的操作都会被 MISRA C++ 封杀。
-
dynamic_cast和typeid：触发 RTTI 查表，时间不可测 → 违反 Rule 5-0-16 - 非 trivial 析构函数：若 ISR 中局部对象析构调用虚函数，跳转开销无法建模 → 禁用所有含虚析构的类实例
-
std::lock_guard：即使用了自旋锁，原子操作的 cache line 争用仍可能导致延迟毛刺 → 改用裸__atomic_load_n+ 手动临界区标记 - 浮点运算：除非硬件 FPU 指令周期严格确定（如 ARM Cortex-R5 的 VFPv3），否则一律用定点数 → MISRA C++:202x Rule 7-1-1 要求浮点操作前必须做平台认证
最容易被忽略的是：ISR 中调用的函数必须全部声明为 interrupt 属性（GCC）或通过链接脚本强制放入特定 section，否则编译器可能插入调试桩或栈保护指令，破坏时序。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
