首先贴上代码:
struct person
{
int m_age;
};
void allocatememory(person** fun_p)
{
*fun_p = (person*)malloc(sizeof(person));
(* fun_p)->m_age = 100;
}
void test01()
{
struct person tom =
{
50
};
person* p = &tom;
cout << "分配前p的年龄为" << p->m_age << endl;
cout << "分配前tom的年龄为" << tom.m_age << endl;
allocatememory(&p);
cout << "分配后p的年龄为" << p->m_age << endl;
cout << "分配后tom的年龄为" << tom.m_age << endl;
}
结果为:
分配前p的年龄为50
分配前tom的年龄为50
分配后p的年龄为100
分配后tom的年龄为50
显而易见,allocatememory函数的作用,是使p由指向tom所在内存转向其他Person结构所在的内存(该内存由malloc分配)。在allocatememory函数中,修改了所分配内存的内容,因此tom的年龄没有变化,而p的年龄变化了(p是指向所分配内存的)。
但是为何allocatememory函数的参数是双指针?此处我一直不理解,如果传入p会怎么样,p同样是指针啊。
修改后的代码如下:
struct person
{
int m_age;
};
void allocatememory(person* fun_p)
{
fun_p = (person*)malloc(sizeof(person));
fun_p->m_age = 100;
}
void test01()
{
struct person tom =
{
50
};
person* p = &tom;
cout << "分配前p的年龄为" << p->m_age << endl;
cout << "分配前tom的年龄为" << tom.m_age << endl;
allocatememory(p);
cout << "分配后p的年龄为" << p->m_age << endl;
cout << "分配后tom的年龄为" << tom.m_age << endl;
}
结果为:
分配前p的年龄为50
分配前tom的年龄为50
分配后p的年龄为50
分配后tom的年龄为50
嗯。。。p和tom的年龄都没有变化。
我不说两个代码中各个变量地址的变化,这个通过调试很容易看到。我们只定性分析。
这里的关键是函数的操作方式为值传递,在C++ primer中是这样说的
每次调用函数时都会重新创建它的形参,并用传入的实参对形参进行初始化。
如果形参是引用类型,它将绑定到对应的实参上;否则,将实参的值拷贝后赋给形参。
当实参的值被拷贝给形参时,形参和实参是两个相互独立的对象。
(在函数中)当初始化一个非引用类型的变量时,初始值被拷贝给变量。此时,对变量的改动不会影响初始值 。
那么回过头来思考,allocatememory函数的作用是什么,是为了改变p指针的指向,改变p中存放的地址,改变p的值。
也就是说p指针一开始存的是tom结构的地址,我们需要用allocatememory函数改变p的值,如果只传入p,虽然它也是指针类型,但allocatememory函数只会复制p的值到fun_p中,接下来一系列操作都是针对fun_p的,并不会改变p。
此处就把p当作一个普通的变量,传入p的地址才会改变p。因此出现了双指针,在代码中fun_p的值与&p的值是一样的,*(fun_p)指向了p,p中存放的是地址,改变p的值就是改变了p的指向。