C语言中,数组与指针声明错误会发生什么?

C语言中的左值和右值

C语言中赋值符号两边的含义其实是不一样的。

  • 左值是等号左边的值,代表地址
  • 右值为等号右边的值,代表地址的内容。
char x = 0;
char a = 5;
x = a;

假设x变量地址为0x8000000;a变量地址为0x8000010.
上述语句是让变量x值为5,不是让0等于5,也不是让0x8000000等于0x8000010.
左边为左值,代表地址, 右边为右值,代表地址上的值。
因此,该语句意义为: x的所在内存空间 = a的值。
即:0x8000000 = 5;

地址是编译时可知的,编译器为每个变量分配一个地址(左值)。
但是右值是运行时才可知的,因为内存地址上的数据不同时刻都可能发生改变。
上述语句中,a地址空间上的数据是不固定的,但是a的地址空间是既定的, 0x8000010.
因此执行该条语句时,CPU直接从内存地址0x8000010 上寻址得到数据5。cpu只需要进行一次寻址!

数组与指针的区别

  1. 寻址区别
    接下来, 我们将变量从char修改为数组。
char x = 0;
char a[6] = "54321";
x = a[0];

假设x变量地址为0x8000000;a数组地址为0x8000010.
上述语句是让变量x值为‘5’,
执行该条语句时,CPU直接从内存地址0x8000010 上寻址得到数据5的acsii值,cpu只需要进行一次寻址!

接下来, 我们将变量从char修改为指针。

char x = 0;
char* a = "54321";
x = a[0];

假设x变量地址为0x8000000;指针a地址为0x8000010.
但是字符串"54321"的地址不在0x8000010。我们假设它在0x8000020.
char* a = "54321"的意思是将指针a地址为0x8000010赋值为字符串"54321"所在的地址0x8000020。
上述语句也是让变量x值为‘5’,
但是,执行该条语句时,CPU直接从内存地址0x8000010 上寻址得到字符串"54321"所在的地址0x8000020,再从0x8000020得到数据5的acsii值。因此,用指针指向数组取值时,cpu需要进行两次寻址!

	char a[] = "abcdefg";
	char* p = "abcdefg";
	
   printf("p addr:%p, a addr %p\n",&p,&a);
   printf("p :%p, a  %p\n",p,a);

输出:

p addr:0x7ffeef605150, a addr 0x7ffeef60515c
p :0x402004, a  0x7ffeef60515c

从上面看出, &a和&p本身的地址是临近的(都在临时变量区), a和&a地址一致. 但是&p和p不一致, &p存放了另一个地址0x402004, 该0x402004地址存才放了字符串"abcdefg".

所以, 数组即使自身, 指针是指向了远方.
2.修改
指针指向字符串, 通常是只读, 不可以修改.
数组可以随意修改.

错误声明会发生的问题

  1. 定义数组,使用extern char a[]与extern char a[100]声明:
char a[6] = "54321";
extern char a[];

x = a[0];

cpu都是一次寻址,直接取到a的内存地址,然后读取上面的值。

  1. 定义数组,使用extern char *a声明
char a[6] = "54321";
extern char *a;

x = a[0];

a是一个指针,因此cpu先从该地址取值,得到一个新的地址5432的acsii数值0x53525150,然后再从该0x53525150新地址取值。
此时0x53525150是一个未知空间,造成内存访问错误。
实际上这个问题在现代编译器中就会直接报错类型冲突, 所以我们只需要了解指针和数组定义的区别就好了, 不需要深究.

你可能感兴趣的:(c语言,c++,开发语言)