C语言声明int a[10];中标识符a的含义与类型判定问题

首先明确：语句int a[10];声明的标识符a，类型为包含10个int类型元素的数组，三个错误选项的问题逐一说明：

• 选项(a)：a是一个变量
  该描述不准确。C语言中“变量”通常指标量类型的可修改对象，而a是数组类型的聚合对象，且数组名作为左值时不可被直接赋值（你无法写出a = xxx形式的合法语句），该描述没有正确反映a的本质属性，不成立。
• 选项(b)：a是一个常量
  该描述错误。C语言定义的常量是编译期可确定值的词法单元（比如字面量10、'c'、枚举常量等），即使用const限定的对象也只是只读对象，不属于标准定义的常量范畴。a是程序运行时在内存中占据存储空间的数组对象，既不是编译期常量，也没有只读限定，不属于常量。
• 选项(c)：a是指向整型的指针
  这是最普遍的认知误区。数组类型和指针类型是C语言中完全独立的两种类型：a的实际类型是int[10]，而非int*。仅在除sizeof、&、_Alignof之外的绝大多数表达式上下文里，数组名会发生隐式的“数组到指针退化”，得到指向数组首元素的临时指针值，这个退化得到的临时值不等于a本身的类型——最直观的验证是sizeof(a)的结果是10*sizeof(int)（整个数组的内存长度），如果a真的是指针，sizeof(a)只会得到指针本身的存储长度。

三个选项的描述均不符合C语言标准对该声明的定义，因此标准答案为选项(d)。

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