文章目录
1. 概述
函数是一组一起执行一个任务的语句。每个 C++ 程序都至少有一个函数,即主函数 main() ,所有简单的程序都可以定义其他额外的函数。可以把代码划分到不同的函数中。但在逻辑上,划分通常是根据每个函数执行一个特定的任务来进行的。
函数声明告诉编译器函数的名称、返回类型和参数。函数定义提供了函数的实际主体。
C++ 标准库提供了大量的程序可以调用的内置函数。例如,函数 strcat() 用来连接两个字符串,函数 memcpy() 用来复制内存到另一个位置。
函数还有很多叫法,比如方法、子例程或程序,等等。
C++ 中的函数定义的一般形式如下:
return_type function_name( parameter list )
{
body of the function
}
在 C++ 中,函数由一个函数头和一个函数主体组成。下面列出一个函数的所有组成部分:
- 返回类型:一个函数可以返回一个值。return_type 是函数返回的值的数据类型。有些函数执行所需的操作而不返回值,在这种情况下,return_type 是关键字 void。
- 函数名称:这是函数的实际名称。函数名和参数列表一起构成了函数签名。
- 参数:参数就像是占位符。当函数被调用时,向参数传递一个值,这个值被称为实际参数。参数列表包括函数参数的类型、顺序、数量。参数是可选的,也就是说,函数可能不包含参数。
- 函数主体:函数主体包含一组定义函数执行任务的语句。
2. 定义函数
以下是 max() 函数的源代码。该函数有两个参数 num1 和 num2,会返回这两个数中较大的那个数:
// 函数返回两个数中较大的那个数
int max(int num1, int num2)
{
// 局部变量声明
int result;
if (num1 > num2)
result = num1;
else
result = num2;
return result;
}
函数声明会告诉编译器函数名称及如何调用函数。函数的实际主体可以单独定义。
函数声明包括以下几个部分:
return_type function_name( parameter list );
针对上面定义的函数 max(),以下是函数声明:
int max(int num1, int num2);
在函数声明中,参数的名称并不重要,只有参数的类型是必需的,因此下面也是有效的声明:
int max(int, int);
在一个源文件中定义函数且在另一个文件中调用函数时,函数声明是必需的。在这种情况下,您应该在调用函数的文件顶部声明函数。
3. 调用函数
创建 C++ 函数时,会定义函数做什么,然后通过调用函数来完成已定义的任务。
当程序调用函数时,程序控制权会转移给被调用的函数。被调用的函数执行已定义的任务,当函数的返回语句被执行时,或到达函数的结束括号时,会把程序控制权交还给主程序。
调用函数时,传递所需参数,如果函数返回一个值,则可以存储返回值。例如:
#include <iostream>
using namespace std;
// 函数声明
int gcd(int num1, int num2);
int main ()
{
// 局部变量声明
int a = 56;
int b = 98;
int ret;
// 调用函数来获取两个数的最大公约数
ret = gcd(a, b);
cout << a << " 和 " << b << " 的最大公约数是: " << ret << endl;
return 0;
}
// 函数计算两个数的最大公约数
int gcd(int num1, int num2)
{
// 使用欧几里得算法计算最大公约数
while (num2 != 0)
{
int temp = num2;
num2 = num1 % num2;
num1 = temp;
}
return num1;
}
把 gcd() 函数和 main() 函数放一块,编译源代码。会产生下列结果:
56 和 98 的最大公约数是: 14
4. 函数参数
如果函数要使用参数,则必须声明接受参数值的变量。这些变量称为函数的形式参数。
形式参数就像函数内的其他局部变量,在进入函数时被创建,退出函数时被销毁。
当调用函数时,有三种向函数传递参数的方式:
调用类型 | 描述 |
---|---|
传值调用 | 该方法把参数的实际值赋值给函数的形式参数。在这种情况下,修改函数内的形式参数对实际参数没有影响。 |
指针调用 | 该方法把参数的地址赋值给形式参数。在函数内,该地址用于访问调用中要用到的实际参数。这意味着,修改形式参数会影响实际参数。 |
引用调用 | 该方法把参数的引用赋值给形式参数。在函数内,该引用用于访问调用中要用到的实际参数。这意味着,修改形式参数会影响实际参数。 |
默认情况下,C++ 使用传值调用来传递参数。一般来说,这意味着函数内的代码不能改变用于调用函数的参数。之前提到的实例,调用 max() 函数时,使用了相同的方法。
传值调用
向函数传递参数的传值调用方法,把参数的实际值复制给函数的形式参数。在这种情况下,修改函数内的形式参数不会影响实际参数。
默认情况下,C++ 使用传值调用方法来传递参数。一般来说,这意味着函数内的代码不会改变用于调用函数的实际参数。函数 swap() 定义如下:
// 函数定义
void swap(int x, int y)
{
int temp;
temp = x; /* 保存 x 的值 */
x = y; /* 把 y 赋值给 x */
y = temp; /* 把 x 赋值给 y */
return;
}
现在,通过传递实际参数来调用函数 swap():
#include <iostream>
using namespace std;
// 函数声明
void add(int a, int b);
void subtract(int a, int b);
void multiply(int a, int b);
void divide(int a, int b);
int main ()
{
int num1, num2, choice;
cout << "请输入第一个数: ";
cin >> num1;
cout << "请输入第二个数: ";
cin >> num2;
cout << "选择操作: " << endl;
cout << "1. 加法" << endl;
cout << "2. 减法" << endl;
cout << "3. 乘法" << endl;
cout << "4. 除法" << endl;
cout << "请输入选择 (1/2/3/4): ";
cin >> choice;
switch(choice)
{
case 1:
add(num1, num2);
break;
case 2:
subtract(num1, num2);
break;
case 3:
multiply(num1, num2);
break;
case 4:
divide(num1, num2);
break;
default:
cout << "无效的选择" << endl;
}
return 0;
}
// 函数实现
void add(int a, int b) {
cout << "结果: " << a + b << endl;
}
void subtract(int a, int b) {
cout << "结果: " << a - b << endl;
}
void multiply(int a, int b) {
cout << "结果: " << a * b << endl;
}
void divide(int a, int b) {
if (b != 0) {
cout << "结果: " << a / b << endl;
} else {
cout << "除数不能为零" << endl;
}
}
请输入第一个数: 10
请输入第二个数: 5
选择操作:
1. 加法
2. 减法
3. 乘法
4. 除法
请输入选择 (1/2/3/4): 1
结果: 15
指针调用
向函数传递参数的指针调用方法,把参数的地址复制给形式参数。在函数内,该地址用于访问调用中要用到的实际参数。这意味着,修改形式参数会影响实际参数。
按指针传递值,参数指针被传递给函数,就像传递其他值给函数一样。因此相应地,在下面的函数 swap() 中,您需要声明函数参数为指针类型,该函数用于交换参数所指向的两个整数变量的值。
// 函数定义
void swap(int *x, int *y)
{
int temp;
temp = *x; /* 保存地址 x 的值 */
*x = *y; /* 把 y 赋值给 x */
*y = temp; /* 把 x 赋值给 y */
return;
}
通过指针传值来调用函数 swap():
#include <iostream>
using namespace std;
// 函数声明
void modifyArray(int *arr, int size);
int main ()
{
// 局部变量声明
int arr[5] = {10, 20, 30, 40, 50};
int size = 5;
cout << "修改前的数组: ";
for (int i = 0; i < size; i++) {
cout << arr[i] << " ";
}
cout << endl;
/* 调用函数来修改数组
* arr 表示数组的首地址,即指向第一个元素的指针
*/
modifyArray(arr, size);
cout << "修改后的数组: ";
for (int i = 0; i < size; i++) {
cout << arr[i] << " ";
}
cout << endl;
return 0;
}
// 函数实现,通过指针修改数组元素
void modifyArray(int *arr, int size) {
for (int i = 0; i < size; i++) {
arr[i] = arr[i] + 5; // 每个元素加 5
}
}
修改前的数组: 10 20 30 40 50
修改后的数组: 15 25 35 45 55
引用调用
向函数传递参数的引用调用方法,把引用的地址复制给形式参数。在函数内,该引用用于访问调用中要用到的实际参数。这意味着,修改形式参数会影响实际参数。
按引用传递值,参数引用被传递给函数,就像传递其他值给函数一样。因此相应地,在下面的函数 swap() 中,您需要声明函数参数为引用类型,该函数用于交换参数所指向的两个整数变量的值。
// 函数定义
void swap(int &x, int &y)
{
int temp;
temp = x; /* 保存地址 x 的值 */
x = y; /* 把 y 赋值给 x */
y = temp; /* 把 x 赋值给 y */
return;
}
通过引用传值来调用函数 swap():
#include <iostream>
using namespace std;
// 函数声明
void calculate(int a, int b, int *sum, int *difference, int &product, int "ient);
int main ()
{
// 局部变量声明
int a = 20, b = 4;
int sum, difference, product, quotient;
// 调用函数来计算
calculate(a, b, &sum, &difference, product, quotient);
cout << "和:" << sum << endl;
cout << "差:" << difference << endl;
cout << "积:" << product << endl;
cout << "商:" << quotient << endl;
return 0;
}
// 函数定义,通过指针和引用返回多个值
void calculate(int a, int b, int *sum, int *difference, int &product, int "ient)
{
*sum = a + b; // 计算和并通过指针返回
*difference = a - b; // 计算差并通过指针返回
product = a * b; // 计算积并通过引用返回
if (b != 0) {
quotient = a / b; // 计算商并通过引用返回
} else {
cout << "错误:除数不能为零" << endl;
}
}
和:24
差:16
积:80
商:5
关键点
- 引用定义:通过使用
&
符号来定义引用类型,例如int &ref
。 - 传递引用:在函数参数列表中使用引用类型,这样函数内部的修改会影响到实际传递的变量。
- 避免拷贝开销:引用传递避免了传递大对象时的拷贝开销,提高了效率。
5. 参数的默认值
当定义一个函数,可以为参数列表中后边的每一个参数指定默认值。当调用函数时,如果实际参数的值留空,则使用这个默认值。
这是通过在函数定义中使用赋值运算符来为参数赋值的。调用函数时,如果未传递参数的值,则会使用默认值,如果指定了值,则会忽略默认值,使用传递的值。
代码示例:
#include <iostream>
using namespace std;
// 函数重载声明
int max(int a, int b);
double max(double a, double b);
int max(int a, int b, int c);
int main ()
{
// 局部变量声明
int int1 = 10, int2 = 20, int3 = 15;
double double1 = 5.5, double2 = 2.3;
// 调用不同的 max 函数
cout << "两个整数的最大值是: " << max(int1, int2) << endl;
cout << "两个浮点数的最大值是: " << max(double1, double2) << endl;
cout << "三个整数的最大值是: " << max(int1, int2, int3) << endl;
return 0;
}
// 函数定义:返回两个整数中的最大值
int max(int a, int b)
{
return (a > b) ? a : b;
}
// 函数定义:返回两个浮点数中的最大值
double max(double a, double b)
{
return (a > b) ? a : b;
}
// 函数定义:返回三个整数中的最大值
int max(int a, int b, int c)
{
int temp = (a > b) ? a : b;
return (temp > c) ? temp : c;
}
两个整数的最大值是: 20
两个浮点数的最大值是: 5.5
三个整数的最大值是: 20
5. Lambda 函数与表达式
C++11 提供了对匿名函数的支持,称为 Lambda 函数(也叫 Lambda 表达式)。
Lambda 表达式把函数看作对象。Lambda 表达式可以像对象一样使用,比如可以将它们赋给变量和作为参数传递,还可以像函数一样对其求值。
Lambda函数的语法定义如下:
[capture](parameters) mutable ->return-type{statement}
- [capture]:捕捉列表。捕捉列表总是出现在 lambda 表达式的开始处。事实上,[] 是 lambda 引出符。编译器根据该引出符判断接下来的代码是否是 lambda 函数。捕捉列表能够捕捉上下文中的变量供 lambda 函数使用。
- (parameters):参数列表。与普通函数的参数列表一致。如果不需要参数传递,则可以连同括号 () 一起省略。
- mutable:mutable 修饰符。默认情况下,lambda 函数总是一个 const 函数,mutable 可以取消其常量性。在使用该修饰符时,参数列表不可省略(即使参数为空)。
- ->return_type:返回类型。用追踪返回类型形式声明函数的返回类型。出于方便,不需要返回值的时候也可以连同符号 -> 一起省略。此外,在返回类型明确的情况下,也可以省略该部分,让编译器对返回类型进行推导。
- {statement}:函数体。内容与普通函数一样,不过除了可以使用参数之外,还可以使用所有捕获的变量。
在 lambda 函数的定义式中,参数列表和返回类型都是可选部分,而捕捉列表和函数体都可能为空,C++ 中最简单的 lambda 函数只需要声明为:
[]{};