C/C++面试：函数参数传递方式 --- 值传参、地址传参、引用传参

三种参数传递方式

C++有函数参数有三种方式：值传递、地址传递、引用传递。

• 默认情况下，参数通过值传递给函数，这意味着函数会收到所传递对象的副本。
• 对于大型参数，创建副本会高昂。因此可以通过引用限定符使得参数按照引用传递：

void DoSomething(std::string& input){...}

• 当函数修改通过引用传递的参数时，它会修改原始对象，而不是本地副本，如果要防止函数修改此类参数，请将参数限定为const&：

void DoSomething(const std::string& input){...}

• C + + 11： 若要显式处理通过右值引用或左值引用传递的参数，请在参数上使用双与号以指示通用引用：

void DoSomething(const std::string&& input){...}

我们来看个例子：

#include <iostream>
#include <cstring>
#include <string>

inline void  charParam (char a){  // 传值
    printf("charParam (char a) = %p\n", (void *)&a);  // 0x7ffe694718ec
    a = '6';  // 传值改变的是副本
}
inline void  charParam (char *a){  // 传递的是地址
    printf("charParam (char *a) = %p\n", (void *)&a);  // 0x7ffe694718e8
    *a = '6';  // 地址影响指向的内容
}
inline void  charParamPre (char &a){  // 传递的是引用
    printf("charParam (char *a) = %p\n", (void *)&a);  // 0x7ffe6947190f
    a = '2';  // 引用影响指向的内容
}

int main ()
{
    char a = '1';

    printf("&char = %p\n", &a); // &char = 0x7ffe6947190f
    printf("&char = %p\n", (void *)&a);  // &char = 0x7ffe6947190f

    charParam(a);
    charParam(&a);
    printf("%c--------------\n", a);
    charParamPre(a);
    printf("%c--------------\n", a);
}

也就是说：

• 值传递：形参是实参的拷贝，函数内部对形参的操作不会影响到外部的实参
• 指针传递：也是值传递的⼀种⽅式，形参是指向实参地址的指针，当对形参的指向操作时，就相当于对实参本身进⾏操作。
• 引用传递：实际上就是把引用对象的地址放在了开辟的栈空间中，函数内部对形参的任何操作都可以直接映射到外部的实参上面

指针传递VS引用传递

• 指针：变量，独立，可变，可空，替身，无类型检查；
• 引用：别名，依赖，不变，非空，本体，有类型检查；

概念

指针从本质上讲是一个变量，变量的值是另一个变量的地址，指针在逻辑上是独立的，它可以被改变的，包括指针变量的值（所指向的地址）和指针变量的值对应的内存中的数据（所指向地址中所存放的数据）。

引用从本质上讲是一个别名，是另一个变量的同义词，它在逻辑上不是独立的，它的存在具有依附性，所以引用必须在一开始就被初始化（先有这个变量，这个实物，这个实物才能有别名），而且其引用的对象在其整个生命周期中不能被改变，即自始至终只能依附于同一个变量（初始化的时候代表的是谁的别名，就一直是谁的别名，不能变）。

从编译的角度来讲，程序在编译时分别将指针和引用添加到符号表上，符号表中记录的是变量名及变量所对应地址。

• 指针变量在符号表上对应的地址值为指针变量的地址值
• 引用在符号表上对应的地址值为引用对象的地址值（与实参名字不同，地址相同）。

符号表生成之后就不会再改，因此指针可以改变其指向的对象（指针变量中的值可以改），而引用对象则不能修改。

C++中的指针参数传递和引用参数传递

指针参数传递本质上是值传递，它所传递的是一个地址值。

• 值传递过程中，被调函数的形式参数作为被调函数的局部变量处理，会在栈中开辟内存空间以存放由主调函数传递进来的实参值，从而形成了实参的一个副本（替身）。
• 值传递的特点是，被调函数对形式参数的任何操作都是作为局部变量进行的，不会影响主调函数的实参变量的值（形参指针变了，实参指针不会变）。

引用参数传递过程中，被调函数的形式参数也作为局部变量在栈中开辟了内存空间，但是这时存放的是由主调函数放进来的实参变量的地址。

• 被调函数对形参（本体）的任何操作都被处理成间接寻址，即通过栈中存放的地址访问主调函数中的实参变量（根据别名找到主调函数中的本体）。
• 因此，被调函数对形参的任何操作都会影响主调函数中的实参变量。

引用传递和指针传递是不同的，虽然他们都是在被调函数栈空间上的一个局部变量，但是

• 任何对于引用参数的处理都会通过一个间接寻址的方式操作到主调函数中的相关变量。
• 而对于指针传递的参数，如果改变被调函数中的指针地址，它将应用不到主调函数的相关变量。

如果想通过指针参数传递来改变主调函数中的相关变量（地址），那就得使用指向指针的指针或者指针引用。

总结

相同点：

• 都是地址的概念

不同点：

• 指针是一个实体（替身）；引用只是一个别名（本体的另一个名字）

• 引用只能在定义时被初始化一次，之后不可改变，即“从一而终”；指针可以修改，即“见异思迁”；

• 引用不能为空（有本体，才有别名）；指针可以为空；

• sizeof 引用，得到的是所指向变量的大小；sizeof 指针，得到的是指针的大小；

• 指针 ++，是指指针的地址自增；引用++是指所指变量自增；

• 引用是类型安全的，引用过程会进行类型检查；指针不会进行安全检查；

实践

1. 值传递

  void f( int  p){
      printf("\n%x",&p);
      printf("\n%x",p);
      p=0xff;
  }
  void main()
  {
      int a=0x10;
      printf("\n%x",&a);
     printf("\n%x\n",a);
     f(a);
     printf("\n%x\n",a);
 }

2. 引用传递

 void f( int & p){
      printf("\n%x",&p);
      printf("\n%x",p);
      p=0xff;
  }
  void main()
  {
      int a=0x10;
      printf("\n%x",&a);
     printf("\n%x\n",a);
     f(a);
     printf("\n%x\n",a);
 }