对于指针、引用的一些新认识

函数的形参有两种写法:

int swap ( int& x, int& y, int& z);  //三个参数均为引用类型
int swap ( int* x, int* y, int* z); //三个参数均为指针类型

引用类型和指针类型,两者有所不同。
引用是给变量取个别名,其作用就如同typedef一样。用引用作形参时在调用函数里就像操作实参一样,不需要考虑实参的地址问题,不做任何处理直接使用。对引用的操作就是对实参的操作。引用不能独自存在,定义的时候就要初始化。
指针是用来指向某个变量。用指针做形参时,要为形参分配内存空间创建一个临时局部变量,并将实参指针的值复制到形参中。由于指针的值是变量的地址,所以要通过对地址解引用来操作其所指的变量。
在C++里优先选择引用类型作为形参,因为操作一个变量比操作一个指针要简单的多。但用指针作为形参的好处是它可以通过自增或自减改变它的指向。
不能引用一个数组,但有数组的指针。
没有引用的引用,却有指针的指针。

为了更好的理解引用和指针,先了解变量声明的实质。

  int a=10;

该语句其实是在栈上分配了一块内存空间,整数类变量占用4字节,所以这句代码的意思就是分配了一块连续4字节的内存空间,并往该空间存入10 。a代表着这块内存空间的首地址(简称地址,下同),a是个代名,一个标示符,这个名字只存在于源代码,编译之后就是个地址。

所以当定义一个变量时,一个变量其实包含两个属性,地址(占用内存空间)和值,名称代表地址,而当执行赋值语句时,编译器默认往a代表的地址中存入数据(存入所在内存空间),而不是改变地址。

再看一段代码

int a=10;
int &b=a;

声明一个整数类的引用,名称为b,如果说变量含有地址和值两个属性,那么引用不能称为变量,它不具备自己所代表的内存空间更没有自己的值,它仅仅就是个代名词,它什么都没有,所谓徒有虚名,没有实质,它只是a的一个别名,或者说它是借用了a的地址和值,当对b赋值或其他访问时,等于直接在访问a。编译之后也是a的地址。

再看一段代码

 int a=10;
 int *p=&a;

这段代码的后一句声明了一个指针变量,并取a的地址赋值给p,既然是变量,它就包含2个属性:地址和值,与其他变量不同,它专门用于保存其他变量的地址(地址是个无符号整数,没见过门牌号码是负的),此处p所在内存空间存入a的地址,当然p同样代表自己的地址。

最后再看段代码

void main()
{
    int a=10;
    int &b=a;
    int *p=&a;
    fun1(b);
    fun2(p);
    cout<<a;//输出12
}
void fun1(int & c)
{
    c++;
}
void fun2(int * ptr)
{
    *ptr++;
}

上述代码中定义完了后先调用fun1,fun1的形参是引用,因此主函数中将b传入fun1,由于是引用,前面说过,引用只是个别名,它本身没有地址空间,因此传入的其实是a的地址。传入后,编译器对引用不做处理,因此在fun1函数体内,执行c++时,其实就是对a的值加一,编译后c其实就是a的地址,这就是引用作为形参的调用情况。

虽然调用fun2,fun2的形参是指针变量,因此主函数中将p传入fun2,由于p是个变量(指针变量),是变量都有自己的内存空间和值(此处p的值是a的地址),对于变量传递,编译器会复制一份值COPY,因此在函数fun2内部,首先为ptr被分配一个内存空间(创建局部变量,函数退出时释放),然后将外部p的值复制到ptr中,也就是a的地址被复制到ptr中。然后执行*ptr++,就是对ptr所指向的地址中的值加一,也就是对a的值加一。函数通过ptr间接对a操作。

总结:

引用作为形参传入函数时,不做任何处理直接使用,而指针作为形参传入函数时,要为形参分配内存空间创建一个临时局部变量,并将实参指针的值复制到形参中。

上述是我参考他人的答案粘贴的。下面是我自己试验的代码。

#include <iostream>

using namespace std;

int test1(int a)
{
    a++;
    return a;
} 
int test2(int &a)
{
    a++;
    return a;
} 
int test3(int *a)
{
    (*a)++;
    return *a;
} 
int main()
{
    int a1=1;
    test1(a1);
    cout<<"形参为int a:"<<a1<<endl;

    int a2=1;
    test2(a2);
    cout<<"形参为int &a:"<<a2<<endl;

    int a3=1;
    test3(&a3);
    cout<<"形参为int *a:"<<a3<<endl;

}

test1、test2、test3分别为形参为直接传入整型、引用和指针的情况。
这三个函数的功能都是给传入的a加1.然后在main中输出a,查看函数对a的影响。
输出为:

形参为int a:1
形参为int &a:2
形参为int *a:2

直接传值是对值本身没有影响的,毕竟只是复制一个值进去。如果要对值进行操作,形参一定要是引用或者指针。
可以看到,形参为test2函数,形参为引用时,直接传入值即可,不用像test3还要注意传入的是指针,非常方便。
因此在C++里,优先选择引用类型作为形参,因为操作一个变量比操作一个指针要简单的多。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值