C++系列之函数调用详解

函数参数

如果函数要使用参数,则必须声明接收参数值的变量。这些变量称为函数的形式参数
形式参数就像函数内的其他局部变量,在进入函数时被创建,退出函数时被销毁。
当调用函数时,有三种传参的方式:

  • 传值调用
  • 指针调用
  • 引用调用

传值调用

把参数的实际值复制给函数的形式参数。在这种情况下,修改函数内的形式参数对实际参数没有影响。

指针调用

传递的是参数的地址。在函数内,该地址用于访问调用中要用到实际参数。这意味着,修改形式参数会影响实际参数

引用调用

引用复制给形参

引用是什么呢?

引用就是某一个变量(目标)的一个别名,对引用的操作与对变量直接操作完全一样。

引用的声明方法:类型标识符 &引用名=目标变量名

tip:

  1. 这里的 &不是求地址运算,而是起标识作用;
  2. 类型标识符是指目标变量的类型;
  3. 声明引用时,必须同时对其进行初始化
  4. 引用声明完毕后,相当于目标变量名有两个名称,即该目标原名称和引用名,且不能再把该引用名作为其他变量名的别名;
  5. 声明一个引用,不是新定义了一个变量,它只表示该引用名师目标变量名的一个别名,它本身不是一种数据类型,因此引用本身不占存储单元,系统也不给引用分配存储单元。故:对引用求地址,就是对目标变量求地址。&ra与&a相等;
  6. 不能建立数组的引用。因为数组是一个由若干个元素所组成的集合,所以无法建立一个数组的别名。

引用应用

1. 引用作为参数
引用的一个重要作用就是作为函数的参数。以前的C语言中函数参数传递时值传递,如果有大块数据作为参数传递的时候,采用的方案往往是指针,因为这样可以避免将整块数据全部压栈,可以提高程序的效率。但是现在(C++中)又增加了一种同样有效率的选择(在某些特殊情况下又是必须的选择),就是引用

void swap(int &p1, int &p2)
{
    int p;
    p = p1;
    p1=p2;
    p2=p;
    return;
}

int main()
{
    int a, b;
    cin >> a >>b;
    swap(a,b);
    return 0;
}

2. 常引用

常引用声明:const 类型标识符 &引用名=目标变量名

用这种方式声明的引用,不能通过引用对目标变量的值进行修改,从而使引用的目标成为了const,达到了引用的安全性。

int a;
const int &ra = a;
ra =1;    //错误
a=1;    //正确

注意:这种反过来(int &a = const int ra)是不行的。

string foo();
void bar(string &s);
// 那么下面的表达式将是非法的
bar(foo());
bar("hello world");

原因在于foo()和“hello world”串都会产生一个临时对象,而在C++中,这些临时对象都是const类型,因此上面的表达式就是试图将一个const类型的对象转换为非const类型,这是非法的。

3. 引用作为返回值

类型标识符 &函数名(行参列表及类型说明)
{
函数体;
}

引用作为返回值,必须遵守以下规则:

  1. 不能返回局部变量的引用。主要原因是局部变量会在函数返回后背摧毁,因此被返回的引用就成为了“无所指”的引用,程序进入未知状态。
  2. 不能返回函数内部new分配的内存的引用。虽然不存在局部变量的被动销毁问题,可对于这种情况,又面临其他尴尬局面。例如,备函数返回的引用只是作为一个临时变量出现,而没有被赋予一个实际的变量,那么这个引用所指向的空间(由new分配)就无法释放,造成memory leak。
  3. 可以返回类成员的引用,但最好是const。
  4. 引用于一些操作符的重载。(流操作符返回一个流对象引用时唯一选择)

引用的总结

  • 在引用的使用中,单纯给某个变量取个别名是豪无意义的,引用的目的主要用于在函数参数传递中,解决大块数据或对象的传递效率和空间不如意的问题
  • 用引用传递函数的参数,能保证参数传递中不产生副本,提高传递的效率,且通过const的使用,保证了引用传递的安全性。
  • 引用于指针的区别是,指针通过某个指针变量指向一个对象后,对它所指向的变量间接操作。程序中使用指针,程序的可读性差;而引用本身就是目标变量的别名,对引用的操作就是对目标变量的操作。
  • 使用引用的时机。流操作符<<和>>、赋值操作符=的返回值、拷贝构造函数的参数、赋值操作符=的参数,其他情况。
点赞