【C++指针】 数组名与指针：为什么datas和sizeof(datas)的行为不同？

一、困惑现场

这段代码有什么问题？

structXData;XData datas[3];unsignedcharbuf[1024]={0};memcpy(buf,&datas,sizeof(datas));

疑问：

1. datas不就是指针吗？为什么用&datas？
2. sizeof(datas)不是4（指针大小）吗？为什么是数组大小？

二、先看一个简单实验

#include<iostream>usingnamespacestd;intmain(){intarr[5]={1,2,3,4,5};cout<<"arr 的值: "<<arr<<endl;// 输出地址cout<<"&arr 的值: "<<&arr<<endl;// 也是地址cout<<"arr + 1: "<<arr+1<<endl;// 下一个int的地址cout<<"&arr + 1: "<<&arr+1<<endl;// 跳过整个数组cout<<"sizeof(arr): "<<sizeof(arr)<<endl;// 20 (5*4)cout<<"sizeof(&arr): "<<sizeof(&arr)<<endl;// 8 (指针大小)return0;}

输出结果：

arr 的值: 0x7ffc12345670 &arr 的值: 0x7ffc12345670 arr + 1: 0x7ffc12345674 &arr + 1: 0x7ffc12345684 sizeof(arr): 20 sizeof(&arr): 8

三、核心概念：数组名的两种身份

概念1：数组名是首元素地址

intarr[5]={1,2,3,4,5};// arr 是首元素地址int*p1=arr;// ✅ 正确：arr可以赋值给int*p1[0]=100;// 修改第一个元素// arr 不是指针变量，是常量地址// arr = p1; // ❌ 错误：不能修改arr

概念2：&数组名是整个数组的地址

intarr[5];// arr : int* 类型，指向第一个元素// &arr : int(*)[5] 类型，指向整个数组int*p1=arr;// ✅ int* = int*int(*p2)[5]=&arr;// ✅ 数组指针 = &数组名cout<<sizeof(arr)<<endl;// 20：整个数组的大小cout<<sizeof(&arr)<<endl;// 8：指针的大小

四、图解：arr 和 &arr 的区别

内存布局： arr[0] arr[1] arr[2] arr[3] arr[4] [1] [2] [3] [4] [5] 0x100 0x104 0x108 0x10C 0x110 arr (首元素地址) → 0x100 (指向int) &arr (数组地址) → 0x100 (指向整个5个int的数组) arr + 1 → 0x104 (跳过一个int) &arr + 1 → 0x114 (跳过整个数组，5*4=20字节)

五、为什么 memcpy 要用 &datas？

错误写法

XData datas[3];memcpy(buf,datas,sizeof(datas));// ❓ 这样写对吗？

这其实是可以工作的，因为：

• datas是首元素地址
• sizeof(datas)是整个数组的大小

为什么用 &datas 更准确？

memcpy(buf,&datas,sizeof(datas));// ✅ 更准确的写法

理由：

• &datas明确表示"整个数组的地址"
• 类型是XData(*)[3]，强调这是整个数组
• datas只是首元素地址，类型是XData*

两者的值相同，但类型不同

cout<<(void*)datas<<endl;// 0x100cout<<(void*)&datas<<endl;// 0x100（相同的地址）// 但类型不同// datas : XData*// &datas : XData(*)[3]

六、sizeof 的魔法

为什么 sizeof(datas) 是数组大小？

XData datas[3];// sizeof 是编译时运算符，不是函数！size_t size=sizeof(datas);// = 3 * sizeof(XData)// 原理：编译器知道 datas 是数组类型 XData[3]// 所以在编译时就能计算出整个数组的大小

对比验证

voidtestArray(XData datas[]){// 这里的 datas 已经变成指针了！cout<<sizeof(datas)<<endl;// 输出 8（指针大小）}intmain(){XData datas[3];cout<<sizeof(datas)<<endl;// 输出 3 * sizeof(XData)testArray(datas);// 输出 8}

七、记忆口诀

数组三连

• 数组名是地址：指向第一个元素
• &数组名也是地址：指向整个数组
• sizeof数组名：整个数组的大小

地址计算

• arr + 1：跳到下一个元素
• &arr + 1：跳到整个数组后面

拷贝数组

• 目标：&arr（更准确）
• 大小：sizeof(arr)（整个数组）

八、面试常考

问题1：下面代码输出什么？

inta[5]={1,2,3,4,5};int*p=(int*)(&a+1);printf("%d",*(p-1));

答案：5

• &a + 1跳过整个数组，指向数组后面
• 转成int*再减1，指向最后一个元素

问题2：sizeof 在数组和指针上的区别

intarr[10];int*p=arr;sizeof(arr);// 40 (10*4)sizeof(p);// 8 (指针大小)

数组名有两个身份：作为首元素地址时像指针，作为数组名时代表整个数组。&数组名强调"整个数组"的身份，sizeof(数组名)计算整个数组的大小。memcpy用&数组名是为了语义清晰：我要拷贝整个数组！