变量类型不同。
例如T a;和T a[1];,前者的a是T类型,而后者的a是T[1]类型,经过函数调用传递参数后会退化为T*类型。所以对于T类型的引用也不同。例如对于T为int时,前者用a=1没有问题,而后者a=1会出错——这里的a是表示数组名的地址常量,不能被赋值。
两者sizeof的结果相同,都等于sizeof(T),说有一在内存布局方面,如果按紧凑格式优化,是可以做到完全相同的。而C/C++中对于数组名取地址的结果等于首元素地址,所以对于上面的例子,两者都可以用*(T*)(&a)得到这个地址中对应的值。
关于单元素数组,有一个技巧性用法。
在结构体末尾可以定义a[1]这种成员变量,然后通过malloc等动态分配大于结构体语法上所需的空间(sizeof结构体类型得到的值)来实现不定长数组和结构体。例如
struct S
{
int i;
short x[1];
};
然后struct S* p = (struct S*)malloc(sizeof(S)+(n-1)*sizeof(short));,这里n是可以在运行期确定(相比之下,这里的形式长度1是在编译期确定的)的正整数,这样p->x表示一个长度为n的数组。如果使用short* x,那么就需要额外的分配空间的语句,繁琐而不灵活。
在C99标准中,语言特性上直接支持不定长数组,用x[]代替上例中的x[1]可以得到类似的效果,不过并不是所有编译器都已经支持这个标准。
====
[原创回答团]
参考资料:原创