MISRA-C 2012 Rule 9.1：自定义struct类型变量未初始化违规如何解决

你遇到的违规触发自MISRA C 2012 Rule 9.1的要求：所有具有自动存储周期的对象在使用前必须完成初始化。你代码中定义的局部变量help属于自动存储类型，声明时未携带初始化器，因此触发合规报错。

• 方法1：声明时显式初始化（最推荐）
  直接在声明变量时通过初始化列表完成所有成员的初始化，合规性最高：

// 方案1.1 最简初始化，所有成员默认置0（兼容C99及以上标准）
solve help = {0};

// 方案1.2 显式指定成员初始化，可读性和安全性更高
solve help = {
    .member_a = 0,
    .member_b = NULL,
    // 依次填写所有结构体成员的初始值
};

• 方法2：调整为静态存储周期（按需选用）
  如果该变量不需要每次调用solution函数时重置状态，可以添加static修饰符，静态存储周期的变量会在程序启动时自动初始化为0，符合规则要求：

static solve help;

注意：静态变量的生命周期为整个程序运行周期，且多线程场景下存在线程安全风险，仅在符合业务逻辑需求时选用。

• 方法3：调用专用初始化函数
  如果结构体初始化逻辑复杂，可以封装独立的初始化函数，声明变量后立刻调用，确保使用前所有成员都被赋值：

// 封装初始化函数
static inline void solve_struct_init(solve *obj)
{
    obj->member_a = 0;
    obj->member_b = NULL;
    // 完成所有成员的初始化逻辑
}

void solution (void)
{
    solve help;
    solve_struct_init(&help); // 声明后立刻调用，必须在使用help变量前执行
    // 后续业务逻辑
}

不要仅依赖后续分步骤的成员赋值来规避检查，部分静态分析工具无法识别这类操作，仍会判定违规，优先选择声明时直接完成初始化的方案。

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