什么是野指针?
野指针就是指针指向的位置是不可知的.(野指针也就是非法访问空间问题,你自己不能够控制自己访问的内存单元,甚至一个指针随意访问一个自己无法控制地址的单元!!!)
野指针问题
(1)未初始化指针问题!!!
这个问题在<<C和指针>>这本书有介绍!!!
int main()
{
int*p;
*p = 20;
printf("%p\n",p);
printf("%d\n",*p);
return 0;
}
下面是gcc下测试的结果!!!虽然下面给了警告,但是没有指定地址,就随意给某个不知道的地址空间放20这个值,这个问题是很严重的!!!
在main函数里面创建了int*p;p也是个局部变量,这个在函数栈帧开辟的时候,是会给随机值的!!!也不抱怨这个指针乱指向!!!
全局变量和静态变量如果不初始化,变量的值默认是0(这个跟存储位置有关!!!又跟在汇编语言控制内存初始换内存的时候的初始值有关!!!)
2.指针越界问题!!!
int main()
{
int arr[5] = { 0 };
int i = 0;
int* p = arr;
//这个代码永远不会死循环
//没有地址空间复用问题
for (i = 0; i < 10; i++)
{
*p = 1;
p++;
}
return 0;
}
指针越界访问,越界以后可能会导致其它有效数据0被覆盖等问题!!!
3.指针指向的空间释放!!!
这个问题也是非常隐晦的!!!很难发现!!!
int test()
{
int a = 10;
//...
return &a;
}
int main()
{
int* p = test();
printf("hehe\n");
printf("%d\n", *p);
return 0;
}
这个代码问题很大,但对于初学者是难的,在函数内虽然创建了变量a,并且分配了地址,并且把该地址return通过寄存器拿回来付给了p,但是出了这个函数,a的空间被释放了,也就是说虽然拿到了地址,但是这个空间已经不属于a了!!!
如何规避野指针
1)指针初始化
如果明确知道指针指向哪⾥就直接赋值地址,如果不知道指针应该指向哪⾥,可以给指针赋值NULL.
NULL 是C语⾔中定义的⼀个标识符常量,值是0,0也是地址,这个地址是⽆法使⽤的,读写该地址会报错。
这儿的意思是:对于指针变量如果不知道指向哪儿,可以初始化为NULL,它的定义是#define NULL ((void*)0),也就是初始化为0地址,这个地址无法访问,就不会造成地址乱用的错误问题!!!
这儿还是再说一下,有个问题,NULL是void*,压根不会让你解引用,0地址没有访问权限!!!
3)指针变量不再使⽤时,及时置NULL,指针使⽤之前检查有效性,在内存动态分配中详细说明!!!
4)避免返回局部变量的地址!!!
assert()断言问题
assert是一个定义的宏,下面是assert.h的文档!!!虽然现在还不是很明白这个文档,慢慢努力!!!不过可以看出assert宏定义, #define assert(expression) ((void)0)
//
// assert.h
//
// Copyright (c) Microsoft Corporation. All rights reserved.
//
// Defines the assert macro and related functionality.
//
#if defined _VCRT_BUILD && !defined _ASSERT_OK
#error assert.h not for CRT internal use
#endif
#include <corecrt.h>
#pragma warning(push)
#pragma warning(disable: _UCRT_DISABLED_WARNINGS)
_UCRT_DISABLE_CLANG_WARNINGS
_CRT_BEGIN_C_HEADER
#if _CRT_HAS_C11
#define static_assert _Static_assert
#endif // _CRT_HAS_C11
#undef assert
#ifdef NDEBUG
#define assert(expression) ((void)0)
#else
_ACRTIMP void __cdecl _wassert(
_In_z_ wchar_t const* _Message,
_In_z_ wchar_t const* _File,
_In_ unsigned _Line
);
#define assert(expression) (void)( \
(!!(expression)) || \
(_wassert(_CRT_WIDE(#expression), _CRT_WIDE(__FILE__), (unsigned)(__LINE__)), 0) \
)
#endif
_CRT_END_C_HEADER
_UCRT_RESTORE_CLANG_WARNINGS
#pragma warning(pop) // _UCRT_DISABLED_WARNINGS
assert() 宏接受⼀个表达式作为参数。如果该表达式为真(返回值⾮零), assert() 不会产⽣任何作⽤,程序继续运⾏。如果该表达式为假(返回值为零), assert() 就会报错,在标准错误流 stderr 中写⼊⼀条错误信息,显⽰没有通过的表达式,以及包含这个表达式的⽂件名和⾏号;
assert() 的使⽤对程序员是⾮常友好的,使⽤ assert() 有⼏个好处:它不仅能⾃动标识⽂件和
出问题的⾏号,还有⼀种⽆需更改代码就能开启或关闭 assert() 的机制。如果已经确认程序没有问
题,不需要再做断⾔,就在 #include <assert.h> 语句的前⾯,定义⼀个宏NDEBUG 。
#define NDEBUG
#include <assert.h>
然后,重新编译程序,编译器就会禁⽤⽂件中所有的 assert() 语句。如果程序⼜出现问题,可以移除这条 #define NDBUG 指令(或者把它注释掉),再次编译,这样就重新启⽤了 assert() 语句
⼀般我们可以在 Debug 中使⽤,在 Release 版本中选择禁⽤ assert 就⾏,在 VS 这样的集成开发环境中,在 Release 版本中,直接就是优化掉了。这样在debug版本写有利于程序员排查问题,在 Release 版本不影响⽤⼾使⽤时程序的效率。
strlen的模拟
size_t my_strlen(const char* str)
{
assert(str);
char* start = str;
char* end = str;
//++的优先级高于*
while (*end++);
return end - start-1;
}
int main()
{
size_t lens = my_strlen("abc");
printf("%zd\n", lens);
return 0;
}
完结!!!