如何对C++ 中函数进行定义和参数调用

文章目录

1. 概述

2. 定义函数

3. 调用函数

4. 函数参数

传值调用

指针调用

引用调用

5. Lambda 函数与表达式

---

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 &quotient);  

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 &quotient)  
{  
    *sum = a + b;             // 计算和并通过指针返回  
    *difference = a - b;      // 计算差并通过指针返回  
    product = a * b;          // 计算积并通过引用返回  
    if (b != 0) {  
        quotient = a / b;     // 计算商并通过引用返回  
    } else {  
        cout << "错误：除数不能为零" << endl;  
    }  
}

和：24  
差：16  
积：80  
商：5

关键点

1. 引用定义：通过使用&符号来定义引用类型，例如int &ref。
2. 传递引用：在函数参数列表中使用引用类型，这样函数内部的修改会影响到实际传递的变量。
3. 避免拷贝开销：引用传递避免了传递大对象时的拷贝开销，提高了效率。

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 函数只需要声明为：

[]{};