【C++内存管理之三野指针、内存泄漏、内存覆盖及应对策略

一、野指针问题

野指针是指向了被释放或没有访问权限的内存指针。

1、访问权限

//野指针
int* p;
p = 10;
//报错，使用了未初始化的变量p

2、指向被释放的内存

二、内存泄漏

内存泄露（memory lock）是指由于疏忽或错误造成程序未能释放已经不再使用的内存的情况。

1、内存使用完之后，没有释放；
2、对new或malloc出的指针进行重新赋值。
内存泄漏查询方法

#define _CRTDBG_MAP_ALLOC
#include <stdlib.h>
#include <crtdbg.h>
int main(){
    _CrtSetBreakAlloc();
    ....................
    _CrtDumpMemoryLeaks();
    return 0;
}

详解：
https://blog.csdn.net/daaikuaichuan/article/details/80874436

三、内存覆盖

strcpy、memcpy、strcat容易发生内存覆盖问题
1、strcpy函数

char* strcpy(char* dst, const char* src, int size) {
	assert(src);
	assert(dst);
	if (dst <= src || dst > src + size) {
		char* d = dst;
		const char* s = src;
		while (size--) {
			*d++ = *s++;
		}
	}
	else {//发生内存覆盖，逆向复制
		char* d = dst + size - 1;
		const char* s = src + size - 1;
		while (size--) {
			*d-- = *s--;
		}
	}
	return dst;
}

2、memcpy函数

void* memcpy(void* dst, const void* src, int size) {
	if (src != nullptr || dst != nullptr) {
		return nullptr;
	}
	char* d = (char*)dst;
	char* s = (char*)src;
	if (d <= s || d > s + size) {
		while (size--) {
			*d++ = *s++;
		}
	}
	else {//发生内存覆盖，逆向复制
		d = d + size - 1;
		s = s + size - 1;
		while (size--) {
			*d-- = *s--;
		}
	}
}

3、strcat函数

char* strcat(char* dst, const char* src) {
	assert(src);
	assert(dst);
	char* p = dst;
	while (*dst != '\0') {
		dst++;
	}
	while (*dst++ = *src++ != '\0');
	return p;
}

四、常见错误及对策

1、内存分配失败
内存分配失败却使用了它
指针p为函数参数，在函数入口处进行检查：

assert(p != NULL);

new或malloc申请内存进行判断：

if(p == NULL)

2、内存操作越界
常见的数组越界，发生在下标多‘1’或少‘1’；
指针超过变量范围（野指针）
3、指针越界
4、空指针

常见对策

野指针与内存泄漏的关系

1. 指针销毁了,并不表示所指的空间也得到释放了: 内存泄漏!
2. 内存释放了,并不代表指针被销毁或者指向了NULL ；未初始化的指针（野指针）