野指针问题

什么是野指针?

 野指针就是指针指向的位置是不可知的.(野指针也就是非法访问空间问题,你自己不能够控制自己访问的内存单元,甚至一个指针随意访问一个自己无法控制地址的单元!!!)

野指针问题

(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地址没有访问权限!!!

 2)小心指针越界问题!!!

 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;
}

完结！！！