什么叫形式参数？什么叫实际参数？C++函数参数有什么不同的传递方式？编写一个验证程序进行说明。

在C++中，形式参数（Formal Parameters）和实际参数（Actual Parameters）是与函数调用相关的两个重要概念：

1. 形式参数（Formal Parameters）：形式参数是函数定义中用于接收传递给函数的实际参数的参数。它们通常出现在函数的参数列表中，并在函数体内用作局部变量。形式参数的名称和数据类型在函数定义时指定，它们充当函数内部的占位符，以便在函数调用时接受实际参数的值。

2. 实际参数（Actual Parameters）：实际参数是在函数调用时传递给函数的值或表达式。它们的值将被传递给函数中的形式参数，以便函数在执行时可以使用这些值进行计算或处理。实际参数的值可以是常量、变量、表达式或其他函数的返回值。

C++中的函数参数可以通过以下不同的传递方式进行传递：

1. 按值传递（Pass by Value）：在这种方式中，函数的形式参数接受实际参数的副本，这意味着函数内部对形式参数的修改不会影响实际参数的值。这是默认的传递方式。

2. 按引用传递（Pass by Reference）：在这种方式中，函数的形式参数被初始化为实际参数的引用，这意味着函数内部对形式参数的修改会直接影响实际参数的值。通过使用引用符号 & 来声明形式参数为引用。

3. 按指针传递（Pass by Pointer）：在这种方式中，函数的形式参数被初始化为指向实际参数的指针。函数可以通过指针来访问和修改实际参数的值。

下面是一个验证程序，演示了这三种不同的参数传递方式：

#include <iostream>

// 按值传递
void passByValue(int x) {
    x = 10;
}

// 按引用传递
void passByReference(int &x) {
    x = 20;
}

// 按指针传递
void passByPointer(int *x) {
    *x = 30;
}

int main() {
    int num = 5;

    std::cout << "Original value: " << num << std::endl;

    passByValue(num);
    std::cout << "After passByValue: " << num << std::endl;

    passByReference(num);
    std::cout << "After passByReference: " << num << std::endl;

    passByPointer(&num);
    std::cout << "After passByPointer: " << num << std::endl;

    return 0;
}

在这个示例中，passByValue 函数按值传递参数，passByReference 函数按引用传递参数，passByPointer 函数按指针传递参数。你会注意到，只有按引用传递和按指针传递的方式改变了原始变量 num 的值。按值传递的方式并没有改变原始值，因为函数内部修改的是形式参数的副本。