C/C++ 传递动态内存的深入理解

当你涉及到C/C++的核心编程的时候,你会无止境地与内存管理打交道。这些往往会使人受尽折磨。所以如果你想深入C/C++编程,你必须静下心来,好好苦一番。
现在我们将讨论C/C++里我认为哪一本书都没有完全说清楚,也是涉及概念细节最多,语言中最难的技术之一的动态内存的传递。并且在软件开发中很多专业人员并不能写出相关的合格的代码。
【引入】 看下面的例子,这是我们在编写库函数或者项目内的共同函数经常希望的。


代码如下:

void MyFunc(char *pReturn, size_t size)
{
……
pReturn = (char *)malloc(sizeof(char) * num);
……
}

我们可以很明显地看出代码作者的意图,他想在函数调用处声明一个指针
char *pMyReturn=NULL;
然后调用MyFunc处理并返回一段长度为size的一段动态内存。
那么作者能达到预期的效果吗?
那么我可以告诉作者,他的程序在编译期很幸运地通过了,可是在运行期他的程序崩溃终止。
原因何在,是他触犯了系统不可侵犯的条款:错误地操作内存。
【内存操作及问题相关知识点】为了能彻底解决动态内存传递的问题,我们先回顾一下内存管理的知识要点。
(1)内存分配方式有三种:
●从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量,static变量。
●在栈上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。
●从堆上分配,亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存,程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定,使用非常灵活。
(2)指针的操作流程
申请并初始化或设置为空:int *pInt=NULL;
开辟空间或者使其指向对象:pInt=new Int(3);或者int i=3;pint=&i;
用指针(更确切地说是操作内存,在使用之前加if(pint!=NULL)或者assert(pInt!=NULL)后再使用,以防内存申请失败的情况下使用指针):
if(p!=NULL) {use pint};
释放使用完的内存。free(pInt);
置指针为空pInt=NULL;(避免野指针的出现)
(3) 在函数的参数传递中,编译器总是要为函数的每个参数制作临时副本,如果参数为p的话,那么编译器会产生p的副本_p,使_p=p; 如果函数体内的程序修改了_p的内容,就导致参数p的内容作相应的修改。这就是指针可以用作输出参数的原因。
【问题分析】
根据上面的规则我们可以很容易分析例子中失败的原因。


代码如下:

void MyFunc(char *pReturn, size_t size)
{
……
pReturn = (char *)malloc(sizeof(char) * num);
……
}
void main(void){
char *pMyReturn=NULL;
MyFunc(pMyReturn,10);
}

在MyFunc(char *pReturn, size_t size)中_pMyReturn真实地申请到了内存, _pMyReturn申请了新的内存,只是把_pMyReturn 所指的内存地址改变了,但是pMyReturn丝毫未变。所以函数MyFunc并不能输出任何东西。事实上,每执行一次MyFunc就会泄露一块内存,因 为没有用free释放内存。
【问题解决方案】
函数间传递动态数据我们可以有三种解决方法。
方法一。如果我们是用C++编程,我们可以很方便地利用引用这个技术。我也极力推荐你用引用,因为它会使你少犯一些错误。以下是一个例子。


代码如下:

void MyFunc(char* &pReturn,size_t size){
pReturn=(char*)malloc(size);
memset(pReturn,0x00,size);
if(size>=13)
strcpy(pReturn,"Hello World!");
}
void main(){
char *pMyReturn=NULL;
MyFunc(pMyReturn,15);
if(pMyReturn!=NULL)
{
char *pTemp=pMyReturn;
while(*pTemp!=''\0'')
cout《*pTemp++;
pTemp=NULL;
strcpy(pMyReturn,"AAAAAAAA");
free(pMyReturn);
pMyReturn=NULL;
}
}

方法二。利用二级指针


代码如下:

void MyFunc (char ** pReturn, size_t size)
{
* pReturn = (char *)malloc(size);
}
void main(void)
{
char * pMyReturn = NULL;
MyFunc (&pMyReturn, 100);// 注意参数是 & pMyReturn
if(pMyReturn!=NULL){
strcpy(pMyReturn, "hello");
cout《 pMyReturn 《 endl;
free(pMyReturn);
pMyReturn=NULL;
}}

为什么二级指针就可以了。原因通过函数传递规则可以很容易地分析出来。我们将& pMyReturn传递了进去,就是将双重指针的内容传递到了函数中。函数过程利用改变指针的内容,这样pMyReturn很明显指向了开辟的内存 .
方法三。 用函数返回值来传递动态内存


代码如下:

char * MyFunc (void)
{
char *p =new char[20];
memset(p,0x00,sizeof(p));
return p;
}
void main(void)
{
char *str = NULL;
str = MyFunc();
if(str!=NULL)
{
strcpy(str,"Hello,baby");
cout《 str 《 endl;
free(str);
str=NULL;
}
}
请注意的是函数写成这样的话
char * MyFunc (void)
{
char *p =”Hello World”
return p;
}

的话,你是不能返回什么动态内存的,因为p指向的是字符串常量。内存在位于静态存储区
上分配,你无法改变。(你想要得到动态内存我们一定要看到malloc或者new)。
【结束语】
操作内存是C/C++一个难点,我们作为专业的软件开发人员。应该深入理解并能灵活地掌握指针和内存的操作。
delete的时候可能需要释放多个指针的内存
free和delete的区别是
对于对象来说
free的确释放了对象的内存,但是不调用对象的析构函数,所以如果在对象中使用new分配的内存就会泄露
delete不仅释放对象的内存,并且调用对象的析构函数
new和malloc虽然都是申请内存,但申请的位置不同,new的内存从free   store分配,而malloc的内存从heap分配(详情请看ISO14882的内存管理部分),free   store和heap很相似,都是动态内存,但是位置不同,这就是为什么new出来的内存不能通过free来释放的原因。不过微软编译器并没有很好的执行 标准,很有可能把free   store和heap混淆了,因此,free有时也可以。
再补充一点:
delete时候不需要检查NULL

(0)

相关推荐

  • C++对象的动态建立与释放详解

    =============下面先给出一个new和delete基本应用的例子,回顾一下它的基本用法============ 复制代码 代码如下: #include<iostream>using namespace std;int main(){ int *p;//定义一个指向int型变量的指针p  p=new int(3);//开辟一个存放整数的存储空间,返回一个指向该存储空间的的地址  cout<<*p<<endl; delete p;//释放该空间  char *p_

  • C++语言实现线性表之数组实例

    本文实例讲述了C++语言实现线性表之数组.分享给大家供大家参考.具体分析如下: 感觉用C++中的构造函数.析构函数等类的特点来描述一些数据结构更加易读,更加合理,便捷.但有一个问题,编译器不支持模板的分离编译,很不舒服 #include <iostream> using namespace std; template<class T> class CArray { public: CArray(const int &iMax); CArray(); ~CArray(); v

  • C++实现基于控制台界面的吃豆子游戏

    本文实例讲述了C++实现基于控制台界面的吃豆子游戏.分享给大家供大家参考.具体分析如下: 程序运行界面如下所示: ESC键可退出游戏. main.cpp源文件如下: #include "lib.h" #pragma once extern int level; int main() { FOOD food; WALL wall; BODY CurPos; HALL hall; int iExit = 0; while(1) { if(iExit) break; Init(&fo

  • C++动态规划之最长公子序列实例

    本文实例讲述了C++动态规划之最长公子序列解决方法.分享给大家供大家参考.具体分析如下: 问题描述: 求出两个字符串中的最长公子序列的长度. 输入: csblog belong 输出: max length = 4 实现代码: #include <stdio.h> #include <string.h> int arr[200][200]; /* 表示str1的前i位和str2的前j位的最长公子序列的长度 */ int main() { char str1[100],str2[10

  • C++非递归建立二叉树实例

    本文实例讲述了C++非递归建立二叉树的方法.分享给大家供大家参考.具体分析如下: 思路: 设置一个标记变量flag并初始化为1. flag = 1表示现在需要创建当前结点的左孩子,2表示需要创建右孩子,3则表示当前结点的左右孩子都已经创建完毕,需要执行出栈操作,直到当前结点不是父结点的右孩子为止. 以先序创建如图所示二杈树: 实现代码: PBTree create() { char ch[20]; scanf("%s",ch); int len = strlen(ch); PBTree

  • C++动态数组类的封装实例

    C++中的动态数组(Dynamic Array)是指动态分配的.可以根据需求动态增长占用内存的数组.为了实现一个动态数组类的封装,我们需要考虑几个问题:new/delete的使用.内存分配策略.类的四大函数(构造函数.拷贝构造函数.拷贝赋值运算符.析构函数).运算符的重载.涉及到的知识点很多,对此本文只做简单的介绍. 一.内存分配策略 当用new为一个动态数组申请一块内存时,数组中的元素是连续存储的,例如 vector和string.当向一个动态数组添加元素时,如果没有空间容纳新元素,不可能简单

  • C++的静态联编和动态联编详解

    一.概述: 通常来说联编就是将模块或者函数合并在一起生成可执行代码的处理过程,同时对每个模块或者函数调用分配内存地址,并且对外部访问也分配正确的内存地址,它是计算机程序彼此关联的过程.按照联编所进行的阶段不同,可分为两种不同的联编方法:静态联编和动态联编. 静态联编是指在编译阶段就将函数实现和函数调用关联起来,因此静态联编也叫早绑定,在编译阶段就必须了解所有的函数或模块执行所需要检测的信息,它对函数的选择是基于指向对象的指针(或者引用)的类型,C语言中,所有的联编都是静态联编,并且任何一种编译器

  • C++基于栈实现铁轨问题

    本文实例讲述了C++基于栈实现铁轨问题.分享给大家供大家参考.具体分析如下: 示例图如下所示: 经典栈问题!第一次做的时候思路太混乱了,现在看了刘汝佳的书,重新整理下. #include <stdio.h> #include <string.h> /****************************************************************** * 用数组A存储调整前的车厢号序列,用数组B存储调整好的车厢号序列 * 用栈stack存储存放在中转站

  • C++动态规划之背包问题解决方法

    本文实例讲述了C++动态规划之背包问题解决方法.分享给大家供大家参考.具体分析如下: 问题描述: 背包的最大容量为W,有N件物品,每件物品重量为w,价值为p,怎样选择物品能使得背包里的物品价值最大? 输入: 10 3   (W,N) 4 5   (w,p) 6 7   (w,p) 8 9   (w,p) 实现代码: #include <stdio.h> #define THING 20 #define WEIGHT 100 int arr[THING][WEIGHT]; /* 背包容量为wei

  • C++实现动态分配const对象实例

    本文实例讲述了C++实现动态分配const对象的方法.分享给大家供大家参考.具体方法分析如下: 一.创建 在C++中,允许动态创建const对象,格式如下: const int *p = new const int(128); 与其他常量一样,动态创建的const对象必须在创建时初始化,并且初始化后,其值不能改变. 二.删除 尽管不能改变const对象的值,但可以删除动态创建的const对象,格式如下: delete p; 这个和普通的对象一样,可以对其进行删除操作. 三.应用场景举例 1.加载

  • C++语言实现线性表之链表实例

    本文实例讲述了C++语言实现线性表之链表实现方法.分享给大家供大家参考.具体分析如下: 插入.删除结点的代码有点多,但这样提高了代码的可读性,且不增加时间复杂度,不会影响程序性能 #include <iostream> using namespace std; template<typename T> class CList; template<class T> class Node { friend CList<T>; private: T m_data;

随机推荐