前言
先说结论,数组名在一般情况下是指向数组中第一个对象的指针常量。
int* const p1 = nullptr; // p1 是指针常量(constant pointer)
const int* p2 = nullptr; // p2 是常量指针(pointer to const)
来看下《C 程序设计语言》中 A.7.1 指针部分的介绍:
对于某类型 T,如果表达式或子表达式的类型为「T 类型的数组」,则此表达式的值是指向数组中第一个对象的指针,并且此表达式的类型将被转换为「指向 T 类型的指针」。如果此表达式是一元运算符 & 或 sizeof,则不会进行转换。
可见,一般情况下数组名在表达式中是一个指针。
疑惑
在后面部分又看到了下面的内容:
A.7.3 结构引用:
后缀表达式后跟一个圆点和一个标识符仍是后缀表达式。第一个操作数表达式的类型必须是结构或联合,标识符必须是结构或联合的成员的名字。结果值是结构或联合中命名的成员,其类型是对应成员的类型。如果第一个表达式是左值,并且第二个表达式的类型不是数组类型,则整个表达式是一个左值。
A.7.17 赋值表达式:
所有赋值运算符都要求左操作数为左值,且该左值是可以修改的:它不可以是数组、不完整类型或函数。
struct qgw { int arr1[1231]; };
int main() {
int arr2[1231] = { 0 };
int arr3[1231] = { 0 };
qgw w;
w.arr1 = arr2; // 表达式必须是可修改的左值
arr2 = arr3; // 表达式必须是可修改的左值
return 0;
}
上面文字和代码表明数组名不是一个左值,不可以修改。如果说数组名是一个指针,那为什么不能赋值呢?
但平时数组名是被我们当成指针使用的,是哪出现了问题?
在《C 和指针》中是这样说的:
在 C 中,在几乎所有使用数组名的表达式中,数组名的值是一个指针常量,也就是数组第 1 个元素的地址。
在一般情况下,将数组名解释为一个指针常量更合理,才能更好的解释其不能修改。
特殊情况
上面说的都是在一般情况下,下面将介绍两种特殊情况:
- sizeof(arrName):将 sizeof 用于数组时,值为数组中字节的总数,而不是指针占用的字节
int arr[10] = { 1, 2, 3, 1 };
// sizeof 不是函数,是关键字,所以可以不加括号使用
cout << sizeof(arr) << endl; // 40
cout << sizeof arr << endl; // 40
- &arrName:将 & 用于数组时,取出的是数组的地址,指针类型为数组指针,加 1 会跳过整个数组
int arr[10] = { 1, 2, 3, 1 };
auto ptr1 = &arr;
auto ptr2 = &arr[0];
cout << typeid(ptr1).name() << endl; // int (*)[10]
cout << typeid(ptr2).name() << endl; // int *