Android C++系列：函数知识知多少

1. 背景

函数可以理解为功能的封装，很基础的功能单元，但是因为它虽然看似简单，但是里面涉及了不少知识点和技巧，我们花一篇文章来整理。

2. 函数定义

函数有以下几部分定义：

• 返回类型
• 函数名称
• 形参列表
• 函数体

函数调用的形式是函数名(),函数调用过程涉及到控制权转移。

函数体其实是一个语句块，语句块会涉及到作用域的问题，在函数方法体内定义的变量都是局部变量，局部变量会在函数执行完后被销毁，所以我们不给函数返回局部变量。

在函数体内定义的static类型对象称为局部静态对象，局部静态对象一旦定义和初始化，会直到程序终止时才会被销毁，最常用的场景是我们统一函数调用次数，可以在函数体内定义一个static局部静态对象，然后每调用一次累加一次。

3. 实参与形参

实参是形参的初始值，实参的类型必须与对应的形参匹配。

函数的形参列表可以为空，也可以有多个值，甚至新版本还为我们提供了可变参数。

只存在于块执行期间的对象称为自动对象，形参就是一种自动对象，在函数开始时为形参申请存储空间，函数终止，形参也会被销毁。实参会初始化形参对应的自动对象。

我们每次调用函数时都会重新创建它的形参，并用传入的实参对形参进行初始化。形参初始化过程和变量初始化一个道理。

实参初始化形参分两种：

• 引用传递
• 值传递（拷贝）

有种情况是形参是指针，当指针拷贝时，拷贝的是指针的值，拷贝完后，两个指针是不同的指针。但是由于它们指向同一块地方，所以可以通过指针修改它指向对象的值。

最佳实践：

• 我们要尽量使用引用避免拷贝，特别是特别大的类类型对象或者容器时，拷贝会影响效率。
• 当函数无须修改引用形参的值时，我们尽量使用常量引用。

3.1 const形参

我们知道C++中，允许我们定义不同形参列表相同名字的函数，不同形参指形参类型或者形参数量。但是如果只是一个函数除了const修饰外，其他形参都相同，那么这两个函数算同一个函数。为什么呢？因为类似于变量赋值，实参初始化形参时，会忽略顶层const。

4. 函数声明

函数也类似于变量，使用之前必须声明。而且函数只能定义一次，但是可以声明多次。如果函数一直不会被调用到，可以只声明不定义。声明和定义的唯一区别就是声明不需要函数体，也不需要形参名字，但是为了见名知意，我们声明时也尽量加上形参名。

我们一般在头文件中声明函数，在源文件中提供定义。

与C语言类似，C++也是分离式编译，分离式编译允许我们把程序分割到几个文件中，每个文件独立编译。

5. 总结

本文介绍了C++函数的基础知识，大部分跟C语言很类似。本文主要介绍了基础的实参形参、函数声明相关的概念和知识。