指针(2)-学习笔记
1.野指针
概念:野指针就是指针指向的位置是不可知的(随机的、不正确的、没有明确限制的)
1.1野指针成因
1.指针未初始化
#include<stdio.h>
int main()//局部变量如果不初始化,里面放的值是随机的
{
int* p;//p是没有初始化的,p里面存放的地址就是随机的。
*p = 20;
return 0;
}
如果按照上面的代码写,就会形成非法访问,这个时候p就是野指针。
2.指针的越界访问
int main()
{
int arr[10] = { 0 };
int* p = &arr[0];
int i = 0;
for (i = 0; i <= 11; i++)
{
//当指针指向的范围超出数组arr的范围时i,p就是野指针
*(p++) = i;
//*p=i;
//p++;
}
return 0;
}
3.指针指向的空间释放
int* test()
{
int n = 100;
//当调用函数的时候,局部变量被创建,出函数的时候,局部变量被销毁
return &n;
}
int main()
{
int* p = test();//在p接受到n地址的时候,就已经是野指针了
printf("%d\n", *p);
return 0;
}
1.2如何规避野指针
1.2.1 指针初始化
明确知道指针指向哪里就直接赋值地址,如果不知道指针应该指向哪里,可以给指针赋值NULL。
NULL是C语言中定义的一个标识符常量,值是0,0也是地址,这个地址是无法使用的,读写该地址会报错。
int main()
{
int a = 10;
int* p = &a;//明确的指向
int* p2 = NULL;//空指针,就是0,如果指针里面存放的NULL,那就不允许访问它
}
给指针中放NULL空指针是因为,我们现在还不知道要给里面放什么,但是又要避免p2称为野指针,所以暂时放入NULL。
总结一下我们现在遇到的0:
0-----数字0
’\0‘-----转义字符-----0
NULL-------空指针-----0
’0‘-------字符0------ASCII值是48
1.2.2 小心指针越界
一个程序向内存申请了哪些空间,通过指针也就只能访问哪些空间,不能超出范围访问,超出了就是越界访问。
1.2.3 指针变量不再使用时,及时置NULL,指针使用之前检查有效性
当指针变量指向一块区域的时候,我们可以通过指针访问该区域,后期不再使用这个指针访问空间的时候,我们可以把该指针置为NULL。因为约定俗成的一个规则就是:只要时NULL指针就不去访问,同时使用指针之前可以判断指针是否为NULL
int main()
{
int a = 10;
int a = 10;
int* p = &a;
int* p2 = NULL;
if (p2 != NULL)//判断
{
*p2 = 200;
}
return 0;
}
1.2.4 避免返回局部变量的地址
2. assert断言
assert.h头文件定义了宏assert(),用于在运行时确保程序符合指定条件,如果不符合,就报错终止运行。这个宏常常被称为“断言”。
assert(p != NULL);
如果这个表达式为真,p确实不等于NULL“,程序继续运行,否则就会终止运行,并且给出报错信息提示。
表达式为假,assert()就会报错,在标准错误流stderr中写入一条错误信息,显示没有通过的表达式,以及包含这个表达式的文件名和行号。
assert()的使用对程序员是非常友好的,使用assert()有几个好处:它不仅能自动标识文件和出问题的行号,还有一种无需更改代码就能开启或关闭assert()的机制。如果以及确认程序没有问题,不需要再做断言,就在#include<assert.h>语句前面,定义一个宏NDEBUG。
#define NDEBUG
#include<assert.h>
然后,重新编译程序,编译器就会禁用文件中所有的assert()。如果程序又出现了问题,可以移除这条#define NDEBUG指令(或者把它注释掉),再次编译,这样就重新启用了assert()语句。
assert()缺点是,因为引入了额外的检查,增加了程序的运行时间。
3.指针的使⽤和传址调⽤
3.1 strlen的模拟实现
库函数strlen的功能是求字符串长度,统计的是字符串\0之前的字符个数。
函数原型如下:
size_t strlen(const char* str);
size_t my_strlen(char* s)
{
int count = 0;
assert(*s != NULL);
while (*s != '\0')
{
count++;
s++;
}
return count;
}
int main()
{
char arr[] = "abcdef";
size_t len = my_strlen(arr);
printf("%zd\n", len);
return 0;
}
my_strlen求字符串长度的,它不期望s指向的字符串被修改的,所有还可以对代码进行优化。
size_t my_strlen(const char* s)
3.2传值调⽤和传址调⽤
例如:写一个函数,交换两个整型变量的值。
我们观察这个代码,并没有把值交换,这是为什么?我们来分别观察一下a,b,x,y的地址。
可以看到,a,b.x.y的地址并不相同,相当于x,y是独立的空间,那么再Swap函数内部交换x,y的值,自然不会影响a和b,当Swap函数调用结束后回到main函数,a和b没有交换,使用函数的时候,是把变量本身直接传递给了函数,这种调用函数的方式我们之前在函数的时候就知道了,叫做传值调用。
结论:实参传递给形参的时候,形参会单独创建一份临时空间来接受实参,对形参的修改不影响实参。有意交换失败
那么我们就需要使用指针,在main函数中将a和b的地址传递给Swap函数,Swap函数里面通过地址间接的操作mian函数中的a和b,并达到交换的效果。
void Swap(int *x, int *y)
{
int z = 0;
z = *x;
*x = *y;
*y = z;
}
int main()
{
int a = 0;
int b = 0;
scanf("%d %d", &a, &b);
//交换函数
printf("交换前a=%d b=%d\n", a, b);
Swap(&a, &b);
printf("交换后a=%d b=%d\n", a, b);
}
传址调⽤,可以让函数和主调函数之间建⽴真正的联系,在函数内部可以修改主调函数中的变量;所以未来函数中只是需要主调函数中的变量值来实现计算,就可以采⽤传值调⽤。如果函数内部要修改主调函数中的变量的值,就需要传址调⽤。
4.数组名的理解
我们观察下面的代码:
int main()
{
int arr[10] = { 0 };
printf("%p\n", &arr[0]);
printf("%p\n", arr);
}
会发现输出结果一致,数组名就是数组首元素(第一个元素)的地址
例外:
① sizeof(数组名),sizeof中单独放数组名,这里的数组名表示整个数组,计算的是整个数组的大小,单位是字节
② &数组名,这里的数组名表示整个数组,取出的是整个数组的地址(整个数组的地址和数组首元素的地址是有区别的)
除此之外,任何地方,数组名都表示首元素地址。
三个输出的内容一模一样,那么arr和&arr有什么区别?看下面的代码:
int main()
{
int arr[10] = { 0 };
printf("%p\n", &arr[0]);
printf("%p\n", &arr[0]+1);
printf("%p\n", arr);
printf("%p\n", arr+1);
printf("%p\n", &arr);
printf("%p\n", &arr+1);
}
结果:
0135FDA8
0135FDAC
0135FDA8
0135FDAC
0135FDA8
0135FDD0
当我们分别+1后,可以发现&arr[0]和&arr[0]+1都是相差4个字节,arr和arr+1相差4个字节,是因为&arr[0]和arr都是首元素的地址,+1就是跳过一个元素。
但是&arr和&arr+1相差了40个字节,这就是因为&arr是数组的地址,+1操作是跳过了整个数组的。
5.使用指针访问数组
//使用下标的方式
int main()
{
int arr[10] = { 0 };
int i = 0;
for (i = 0; i < 10; i++)
{
scanf("%d", &arr[i]);
}
for (i = 0; i < 10; i++)
{
printf("%d ", arr[i]);
}
return 0;
}
使用指针:
int main()
{
int arr[10] = { 0 };
int i = 0;
int sz = sizeof(arr) / sizeof(arr[0]);
int* p = arr;
for (i = 0; i < sz; i++)
{
scanf("%d", p+i);//p+i是下标为i元素的地址
}
for (i = 0; i < sz; i++)
{
printf("%d ", *(p+i));
}
return 0;
}
arr是数组名,数组名是数组首元素的地址
p是指针,数组首元素的地址。
那么可以将两者等价来看待
可以改为:
printf("%d ", *(arr+i));
printf("%d", p[i]);
scanf("%d", arr+i)
6.一维数组传参的本质
我们可以把数组传给一个函数后,函数内部求数组的元素个数。
void test(int arr[])
{
int sz2 = sizeof(arr) / sizeof(arr[0]);
printf("%d\n", sz2);
}
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
int sz1 = sizeof(arr) / sizeof(arr[0]);
printf("%zd\n", sz1);
test(arr);
return 0;
}
结果:
10
1
我们发现没有获得正确的个数。
这就要说到数组传参的本质了,数组名是首元素的地址;那么数组传参的时候,传递的是数组名,也就是说本质上数组传参传递的是数组首元素的地址
所有函数形参的部分理论上应该使用指针变量来接受首元素地址。那么在函数内部我们写sizeof(arr)计算的是一个地址的大小(单位字节)而不是数组的大小,所以是没办法求数组元素个数的。
函数形参的部分是不会真实创建数组的,那么就不需要数组大小。
函数形参部分应该使用指针来接收 int* p