C语言中自动变量int x;是仅声明还是隐式定义？

在C语言语义中，声明和定义有着明确的边界：

• 声明：仅向编译器告知标识符的类型与存在性，不涉及存储空间分配。
• 定义：在声明的基础上，为标识符分配存储空间，可附带初始化操作。

对于函数内的自动变量（默认auto存储类，例如int x;），这行代码同时是声明也是定义，而非仅声明：

• 自动变量的存储周期绑定到所在代码块的执行周期，C标准要求编译器为其分配栈内存（未初始化时仅持有不确定值）；即便编译器通过优化判定变量未被使用而跳过分配，这也属于实现层面的优化，不改变其作为定义的本质属性。
• 根据C标准，块作用域内的变量声明若未使用extern关键字，就属于定义——是否显式初始化不影响这一判定。

所谓“隐式定义”的表述并不准确，这类未初始化的自动变量是标准明确规定的显式定义，只是省略了显式初始化步骤。只有当使用extern int x;这类写法时，才属于仅声明（不分配内存，依赖外部定义）。

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