在车规软件中，MISRA C既是底线也是抓手。它把可移植性、可读性与可验证性变成可执行的约束，让团队在复杂约束下仍能交付可靠代码。下面围绕标题中的两个问题展开，并在最后给出一条把规则与结构改造合到一起的实施路径，便于直接落地到项目节奏中。
一、MISRA C有哪些核心规则
1、类型与隐式转换
禁止不受控的整型提升与截断，限制整型与浮点混合计算，所有转换显式化，枚举与位运算需匹配宽度，避免实现相关的比特长度假设。
2、指针与内存访问
限制多级指针与别名关系，指向对象的生命周期与所有权要可证明，禁止野指针与指针算术越界，数组与指针分清边界并执行范围检查。
3、控制流安全
限制使用goto与多级break，函数必须单一出口或清晰出口路径，循环条件与终止条件可判定，早返回要与资源释放顺序一致。
4、可移植性与实现相关行为
避免依赖字节序与对齐，明确位域宽度与有符号性，不写依赖编译器扩展的代码，涉及平台差异的能力统一放到适配层。
5、未定义与未指定行为防控
不使用移位超宽度、不对空指针解引用、不依赖求值顺序、不读取未初始化对象，对边界与错误路径做显式处理。
6、表达式与副作用
自增自减不与同一对象的读写混用，条件表达式可读可测，宏展开不产生隐藏副作用，短路逻辑不得承载关键副作用。
7、宏与预处理约束
复杂宏改为内联函数，必要宏使用全大写并加括号防止优先级陷阱，头文件只做声明不做计算，包含关系无环且有防卫式包含。
8、接口与可见性
头文件最小可见，内部链接使用静态限定，外部接口采用清晰的类型与错误码约定，跨模块数据通过接口传递而非全局共享。
9、库函数与资源管理
限定可用库集合，内存分配可控可收敛，文件与句柄严格成对开闭，超时与错误返回值必须检查并处理。
10、注释与可读性
采用一致编码与缩进，命名反映作用域与生命周期，注释描述不变量与假设，复杂路径必须有解释而非留给读者猜测。
二、MISRA C规则违反后怎么修改代码结构
1、显式类型收敛
为边界明显的数量定义专用类型与范围，所有跨模块的数据在接口处做一次转换并固定宽度，移除隐式提升与截断点。
2、指针最小化与封装
把原始指针藏到模块内部，暴露句柄与索引等轻量引用，提供创建查询销毁三类函数，外部不得直接写入内部存储。
3、控制流重写为状态机
把深层嵌套与多分支改写为状态枚举与表驱动，转移条件集中管理，退出点收敛，资源释放在统一的清理区完成。
4、宏重构为函数与常量
计算类宏改为静态内联函数，常量宏改为枚举或常量声明，预处理仅做开关与包含，移除含副作用的宏。
5、错误处理统一化
建立统一的错误码体系与返回约定，所有外部调用必须检查返回值，错误路径先行写出并通过测试覆盖。
6、边界与契约前置
在接口入口执行参数与范围校验，使用断言与卫语句阻断不合法输入，约束写入集中在单点，便于审计与测试。
7、平台差异下沉
新增平台适配层承接字节序、对齐、寄存器访问与时钟等差异，上层逻辑只见抽象接口，不再散落平台分支。
8、拆分超大函数与超长文件
按职责拆分为短小函数，文件按领域划分，公共声明回归头文件，静态内部函数不外泄，减少全局耦合。
9、引入静态分析与门禁
将工具规则集与MISRA条目一一映射，设定阻断级与告警级，提交门禁必须零阻断，告警在限定周期内清零。
10、回归与基线固化
为每次结构改造建立基线与回归用例，度量告警数量与复杂度变化，确保重构不引入新的未定义行为。
三、MISRA C核心规则与代码结构改造落地路线
1、先建清单再动刀
根据项目域与编译器特性裁剪规则，形成团队可执行的最小集合，并给出判定示例与反例，评审通过后入库。
2、从高风险路径先行
先处理指针越界、未定义行为与资源泄漏，再处理可读性与风格，保证每次提交都在降低风险面。
3、规则一条配一招
每条规则对应一条结构改造手段与一条检查策略，同步给出重构模板与单元用例，避免口号化落地。
4、把门评嵌入节拍
在需求冻结、设计冻结、集成前设安全门与规则门，未通过不得流转，把规则执行变成项目节奏的一部分。
5、双轨度量与透明看板
同时跟踪告警数量与复杂度分布，公开到团队看板，明确责任人与清零日期，避免长期积压形成技术债。
6、知识沉淀到代码旁
在关键模块的代码旁放入约束说明与示例片段，评审时以此为对照，降低新人上手成本与偏差概率。
总结
要回答MISRA C有哪些核心规则MISRA C规则违反后怎么修改代码结构这个问题，关键不在背诵条款，而在把规则化为可复用的结构改造与工程节奏。用最小可行规则集约束类型与指针，用状态机与适配层收敛控制流与平台差异，再以门禁与度量保证持续执行，才能把标题中的两件事真正合二为一并稳定落地。
