数组名是什么

前言

先说结论，数组名在一般情况下是指向数组中第一个对象的指针常量。

int* const p1 = nullptr;	// p1 是指针常量（constant pointer）
const int* p2 = nullptr;	// p2 是常量指针（pointer to const）
1
2

来看下《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;
}
1
2
3
4
5
6
7
8
9
10

上面文字和代码表明数组名不是一个左值，不可以修改。如果说数组名是一个指针，那为什么不能赋值呢？

但平时数组名是被我们当成指针使用的，是哪出现了问题？

在《C 和指针》中是这样说的：

在 C 中，在几乎所有使用数组名的表达式中，数组名的值是一个指针常量，也就是数组第 1 个元素的地址。

在一般情况下，将数组名解释为一个指针常量更合理，才能更好的解释其不能修改。

特殊情况

上面说的都是在一般情况下，下面将介绍两种特殊情况：

1. sizeof(arrName)：将 sizeof 用于数组时，值为数组中字节的总数，而不是指针占用的字节

int arr[10] = { 1, 2, 3, 1 };
// sizeof 不是函数，是关键字，所以可以不加括号使用
cout << sizeof(arr) << endl;	// 40
cout << sizeof arr << endl;	  // 40
1
2
3
4

2. &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 *
1
2
3
4
5