局部变量要不要赋初始值？

很多C语言编码规范里面都会建议局部变量定义时最好赋初始值，因为局部变量存放到Stack中，如果不赋初始值，那么对应局部变量的初始值是不确定的。但是有些时候静态代码分析工具会提示有些局部变量的初始值没有被使用。

本文通过两种情况分析讨论局部变量要不要赋初始值。

C语言中变量存放的位置和初始值

C语言规定，全局变量和静态变量会放到对应的静态存储空间，而局部变量会放到Stack中。全局变量和静态变量如果没有赋初始值，对应的初始值是0。而局部变量如果没有赋初始值，对应的初始值是不确定的。

If an object that has automatic storage duration is not initialized explicitly, its value is indeterminate.

IAR中没有赋初始值的全局变量和静态变量会放到.bss section，而局部变量会放到CSTACK section：

.bss section在初始化的时候会进行赋值0操作，而CSTACK section则不会有任何赋值操作。

局部变量没有赋初始值被引用

如果一个局部变量没有赋初始值，那么该局部变量的值是不确定的，如果这个变量被引用，IAR Embedded Workbench在编译的时候会有对应“局部变量没有初始化”的提示：

如果该局部变量有赋初始值，然后被引用，那么IAR Embedded Workbench在编译的时候不会有对应“局部变量没有初始化”的提示：

局部变量赋初始值但是初始值没有被使用

如果一个局部变量有赋初始值，但是该初始值没有被使用，IAR Embedded Workbench在编译的时候不会有任何提示：

但是IAR的静态代码分析工具C-STAT进行静态代码分析会有对应“局部变量的赋值没有被使用”的提示：

违反的代码规则是CWE 563 Unused Variable, MISRA C:2012 Rule-2.2 (Required) There shall be no dead code和MISRA C++ 2008 0-1-6 (Required) A project shall not contain instances of non-volatile variables being given values that are never subsequently used：

同时也指出该规则违反不会很严重（not unsafe），只是可能有逻辑问题：

调试发现局部变量赋初始值会有对应的指令进行赋值操作，而这个初始值会被后面的赋值覆盖：

在这种情况下如果局部变量没有赋初始值，那么IAR Embedded Workbench在编译的时候不会有对应提示：

IAR的静态代码分析工具C-STAT进行静态代码分析也不会有对应“局部变量的赋值没有被使用”的提示：

总结

本文通过两个例子介绍了局部变量赋初始值的情况。

总结起来：如果一个局部变量在被引用之前没有赋值，那么该局部变量需要赋初始值；反之，如果一个局部变量在被引用之前有赋值，那么该局部变量不需要赋初始值。

参考资料：

1. [ISO/IEC 9899:2011] ISO/IEC. Programming Languages—C, 3rd ed (ISO/IEC 9899:2011). Geneva, Switzerland: ISO, 2011. (6.7.9, paragraph 10)

2. IAR Embedded Workbench中的初始化策略

3. IAR C-STAT Static Analysis Guide (RED-unused-val)