【C语言
文章目录
- 1. 测试结果
- 2. 结果分析
- 2.1. 数组名a总是被视为一个一维数组
- 2.2. a、&a、&a[0]、&a[0][0]值相同
- 2.3. 数据类型不同
- 3. 测试代码
1. 测试结果
分别声明一个一维数组a1[8]和二维数组a2[4][8]，查看各个表达式的类型、地址、与首地址的差值，以及内存地址内存储的int变量值。数组内变量的低8位记录数组的行号和列号，其中高4位为行，低4位为列。先看一下测试程序给出的结果。
一维数组
int a1[8];
sizeof(a1): 32(0x20)
| var | typeof(var) | (void *)(var) | offset | *(int *)(var) |
|---|---|---|---|---|
| a1 | int * | 0x7ffe2034d2d0 | 0x00 | 0x00 |
| &a1 | int (*)[8] | 0x7ffe2034d2d0 | 0x00 | 0x00 |
| &a1[0] | int * | 0x7ffe2034d2d0 | 0x00 | 0x00 |
| a1 + 1 | int * | 0x7ffe2034d2d4 | 0x04 | 0x01 |
| &a1 + 1 | int (*)[8] | 0x7ffe2034d2f0 | 0x20 | 0x20 |
| &a1[0] + 1 | int * | 0x7ffe2034d2d4 | 0x04 | 0x01 |
二维数组
int a2[4][8];
sizeof(a2): 128(0x80)
| var | typeof(var) | (void *)(var) | offset | *(int *)(var) |
|---|---|---|---|---|
| a2 | int (*)[8] | 0x7ffe2034d250 | 0x00 | 0x00 |
| a2[0] | int * | 0x7ffe2034d250 | 0x00 | 0x00 |
| &a2 | int (*)[4][8] | 0x7ffe2034d250 | 0x00 | 0x00 |
| &a2[0] | int (*)[8] | 0x7ffe2034d250 | 0x00 | 0x00 |
| &a2[0][0] | int * | 0x7ffe2034d250 | 0x00 | 0x00 |
| a2 + 1 | int (*)[8] | 0x7ffe2034d270 | 0x20 | 0x10 |
| a2[0] + 1 | int * | 0x7ffe2034d254 | 0x04 | 0x01 |
| &a2 + 1 | int (*)[4][8] | 0x7ffe2034d2d0 | 0x80 | 0x00 |
| &a2[0] + 1 | int (*)[8] | 0x7ffe2034d270 | 0x20 | 0x10 |
| &a2[0][0] + 1 | int * | 0x7ffe2034d254 | 0x04 | 0x01 |
| (a2 + 1) + 1 | int (*)[8] | 0x7ffe2034d290 | 0x40 | 0x20 |
| (&a2 + 1) + 1 | int (*)[4][8] | 0x7ffe2034d350 | 0x100 | 0x00 |
| (&a2[0] + 1) + 1 | int (*)[8] | 0x7ffe2034d290 | 0x40 | 0x20 |
2. 结果分析
2.1. 数组名a总是被视为一个一维数组
一维数组a1[8]的类型为int *，而二维数组a2[4][8]的类型为int (*)[8]，意思是每个数组元素为一个长度为8的数组，如a2[0]表示第0个子数组。
2.2. a、&a、&a[0]、&a[0][0]值相同
| 表达式 | 含义 |
|---|---|
| a | 代表整个数组，值为数组的起始地址 |
| &a | 取整个数组的地址 |
| &a[0] | 数组首元素a[0]的地址。对于一维数组，是数组首元素的地址；对于二维数组，是子维度数组的首地址 |
2.3. 数据类型不同
类型不同体现在做加减运算时
| 表达式 | 含义 |
|---|---|
| a + 1 | 下一个元素的地址。对于一维数组，是下一个数组元素地址；对于二维数组，是下一个子维度数组的首地址 |
| &a + 1 | 跳过整个数组（不论一维还是多维），相当于指针指向数组首地址 + sizeof(a)处。实际上这部分不属于这个数组 |
| &a[0] + 1 | 同a + 1 |
3. 测试代码
测试代码中__check传入参数为char *，编译时添加-Wall选项，可以触发编译器类型检测，打印出变量的实际类型。
测试程序运行后，会按照Markdown表格的形式输出结果，整理编译输出和程序输出可以得到上边的测试结果。
编译命令
gcc -Wall array_type.c 2>&1 | grep ' int' | sed -e 's%.*int%int%g'
./a.out
测试程序源码
#include <stdio.h>static inline void __check(char *a) { }#define to_var(x) ((unsigned long)(void *)(x) > 0xFF ? *(int *)(x) : 0xFF)
#define to_off(base, x) ((unsigned long)(x) - (unsigned long)(base))#define __pr(base, a) \do { \__check(a); \printf("| %-16s| | %p | 0x%02lX | 0x%02X |\n", \#a, (void *)(a), to_off(base, a), to_var(a)); \} while (0)int main(void)
{unsigned long size;int i, j;int a1[8];int a2[4][8];for (i = 0; i < 8; i++) {a1[i] = i;}for (i = 0; i < 4; i++) {for (j = 0; j < 8; j++) {a2[i][j] = (i << 4) | j;}}size = (unsigned long)sizeof(a1);printf("sizeof(a1): %lu(0x%lX)\n", size, size);printf("| var | typeof(var) | (void *)(var) | offset | *(int *)(var) |\n");printf("| :------| :---------- | :-------------- | :-----: | :-----------: |\n");__pr(a1, a1);__pr(a1, &a1);__pr(a1, &a1[0]);__pr(a1, a1 + 1);__pr(a1, &a1 + 1);__pr(a1, &a1[0] + 1);size = (unsigned long)sizeof(a2);printf("sizeof(a2): %lu(0x%lX)\n", size, size);printf("| var | typeof(var) | (void *)(var) | offset | *(int *)(var) |\n");printf("| :------| :---------- | :-------------- | :-----: | :-----------: |\n");__pr(a2, a2);__pr(a2, a2[0]);__pr(a2, &a2);__pr(a2, &a2[0]);__pr(a2, &a2[0][0]);__pr(a2, a2 + 1);__pr(a2, a2[0] + 1);__pr(a2, &a2 + 1);__pr(a2, &a2[0] + 1);__pr(a2, &a2[0][0] + 1);__pr(a2, (a2 + 1) + 1);__pr(a2, (&a2 + 1) + 1);__pr(a2, (&a2[0] + 1) + 1);return 0;
}
发布评论