深入解析 C/C++ 中的形参与实参：核心区别、实战案例与最佳实践

2026-02-05 09:59:26 0条评论 3次阅读 0人点赞

在编写 C 或 C++ 程序时，我们经常需要将数据从一段代码传递到另一段代码，而函数正是实现这一目标的核心机制。然而，许多初学者——甚至是一些有经验的开发者在面试或技术讨论中——经常会混淆“形参”和“实参”这两个概念。虽然它们紧密相关，但在内存管理、生命周期和作用域方面有着本质的区别。

在这篇文章中，我们将深入探讨形参和实参之间的差异。我们不仅会通过清晰的定义和对比图表来剖析它们，还会通过丰富的代码示例，带你看看它们在实际编译和运行过程中是如何工作的。理解这些细节，将帮助你编写更健壮、更高效的代码，并避免那些常见的、难以调试的错误。

什么是实参？

当我们在代码中调用一个函数时，传递给函数的具体值被称为实参（Actual Argument，通常简称为 Argument）。你可以把它们想象成函数的“输入原料”或“源头数据”。

这些值可以是常量、变量，甚至是复杂的表达式。在函数调用的那一刻，这些实参会被初始化并传递给函数。值得注意的是，实参拥有自己的内存地址（如果它们是变量的话），并且它们的作用域仅限于调用它们的函数（例如 main 函数）内部。

让我们看一个实际的例子： 假设我们需要调用一个 INLINECODEbf166080 函数来计算两个整数的和。在调用 INLINECODEab1ab39b 时，我们传入的两个变量就是实参。

#### 代码示例：实参的传递 (C++)

#include 
using namespace std;

// 函数定义
int sum(int a, int b) {
    // 这里的 a 和 b 接收来自外部的值
    return a + b;
}

int main() {
    int num1 = 10, num2 = 20, res;

    // 调用 sum() 函数
    // 在这里，num1 和 num2 是实参(ARGUMENTS)
    // 它们是 main 函数中实际存在的变量，拥有自己的内存地址
    res = sum(num1, num2);

    cout << "The summation is " << res;
    return 0;
}

输出：

The summation is 30

在这个例子中，INLINECODE486f1b4f 和 INLINECODEfe8ef297 是 INLINECODEcdcd2d69 函数中的局部变量。当我们调用 INLINECODEe8fbb337 时，这两个变量的值（虽然可以通过引用传递地址，但默认是传递值）被传递给了函数。

什么是形参？

形参（Formal Parameter，通常简称为 Parameter）是指在函数定义或函数声明中，括号内列出的变量。你可以把它们看作是函数的“占位符”或“接收容器”。

在函数原型中定义的这些形参，只有在函数被调用时才会被分配内存（在栈上），并用实参的值进行初始化。它们本质上是被调用函数的局部变量。一旦函数执行完毕，这些形参占用的内存就会被释放。

示例： 让我们定义一个 Mult 函数来演示形参的本质。

#### 代码示例：形参的定义与使用 (C)

#include 

// Mult: 函数定义
// a 和 b 是形参(PARAMETERS)
// 它们的作用域仅限于 Mult 函数内部
int Mult(int a, int b) {
    // 这里演示了形参作为局部变量的使用
    printf("Inside Mult: Address of a (param) = %p
", (void*)&a);
    printf("Inside Mult: Address of b (param) = %p
", (void*)&b);
    return a * b;
}

int main() {
    int num1 = 10, num2 = 20, res;

    printf("Inside Main: Address of num1 (arg) = %p
", (void*)&num1);
    printf("Inside Main: Address of num2 (arg) = %p
", (void*)&num2);

    // 调用 Mult() 时，
    // num1 和 num2 是实参(ARGUMENTS)
    res = Mult(num1, num2);

    printf("The multiplication is %d", res);
    return 0;
}

输出（地址值会因运行而异）：

Inside Main: Address of num1 (arg) = 0x7ffc12345678
Inside Main: Address of num2 (arg) = 0x7ffc1234567c
Inside Mult: Address of a (param) = 0x7ffc12345650
Inside Mult: Address of b (param) = 0x7ffc12345654
The multiplication is 200

关键洞察： 请注意输出中的地址。INLINECODE2d558d85 (实参) 和 INLINECODE45261e64 (形参) 拥有不同的内存地址。这证明了在 C 语言中（默认情况下），参数是通过值传递的——即实参的副本被赋值给了形参。这意味着在函数内部修改 INLINECODEa8934f1c 并不会影响 INLINECODEa9200b37 函数中的 num1。

深入剖析：实参与形参的区别

为了让你更直观地理解，我们可以从以下几个维度进行对比：

特性

实参

形参 :—

:—

:— 定义

在函数调用语句中传递的实际数据。

在函数定义或原型中声明的变量。来源

由调用函数（Caller）提供。

由被调用函数（Callee）定义。 数据类型

可以是常量、变量、表达式或指针。

必须是变量声明（包括类型和名称）。 内存分配

在调用函数的上下文中已存在。

仅在函数被调用时在栈上分配，函数结束时销毁。别名

实际参数。

形式参数 / 虚拟变量。

实战演练：不同场景下的参数传递

仅仅了解定义是不够的，让我们通过几个更复杂的例子来看看它们在实际代码中是如何协作的。

#### 1. 交换两个数的值（值传递的陷阱）

这是面试中非常经典的一个例子。如果我们尝试通过普通的传值方式来交换两个变量，会发生什么？

#include 
using namespace std;

// 试图交换两个数的函数
void swap(int x, int y) { // x 和 y 是形参
    int temp = x;
    x = y;
    y = temp;
    cout << "Inside swap function: x = " << x << ", y = " << y << endl;
}

int main() {
    int a = 5, b = 10;
    
    cout << "Before swap: a = " << a << ", b = " << b << endl;
    
    swap(a, b); // a 和 b 是实参
    
    cout << "After swap: a = " << a << ", b = " << b << endl;
    
    return 0;
}

分析： 你会发现，在 INLINECODEdc038582 函数中，INLINECODE5e544de5 和 INLINECODEc76a4056 的值并没有改变。这是因为实参 INLINECODE805c2dc9 和 INLINECODE076769fe 仅仅是把它们的值复制了一份给了形参 INLINECODE79b42a14 和 y。函数内部交换的是副本，原始数据 untouched（未受影响）。这也是理解实参和形参区别最重要的一课：默认情况下，它们是独立的变量。

#### 2. 使用指针（模拟引用传递）

为了解决上面的问题，我们需要让形参引用到实参的内存地址。在 C 语言中，我们使用指针。

#include 

// 现在形参是指针变量 (int *)
void swapPointer(int *x, int *y) {
    int temp = *x; // 解引用获取地址上的值
    *x = *y;
    *y = temp;
    printf("Inside swapPointer: *x = %d, *y = %d
", *x, *y);
}

int main() {
    int a = 5, b = 10;
    
    printf("Before swap: a = %d, b = %d
", a, b);
    
    // 这里传递的是 a 和 b 的地址
    // &a 和 &b 是实参（地址值）
    swapPointer(&a, &b); 
    
    printf("After swap: a = %d, b = %d
", a, b);
    
    return 0;
}

分析： 在这个例子中，实参是变量 INLINECODE4a4d9331 和 INLINECODEa1c5abec 的地址（INLINECODE0218ff62, INLINECODE2e83e0db）。形参 INLINECODE7ce5802d 和 INLINECODEc3ae2233 是指针，它们接收了这些地址。通过 INLINECODE5b43db70 操作符，我们可以直接修改 INLINECODEbba4c87e 函数中 INLINECODEb2ac9a6a 和 INLINECODE9f9ff712 的内存。这是理解内存管理的关键一步。

#### 3. C++ 的引用传递（更优雅的方式）

如果你在使用 C++，你可以直接使用引用来简化操作，这比指针更安全。

#include 
using namespace std;

// x 和 y 现在是引用形参
// 它们将成为传入实参的“别名”
void swapRef(int &x, int &y) {
    int temp = x;
    x = y;
    y = temp;
}

int main() {
    int a = 5, b = 10;
    swapRef(a, b); // 直接传递变量，无需取地址符
    cout << "After swapRef: a = " << a << ", b = " << b << endl;
    return 0;
}

#### 4. 数组作为参数（退化为指针）

当我们把数组名作为实参传递时，情况变得很有趣。数组名会“退化”为指向其第一个元素的指针。

#include 
using namespace std;

// 这里的形参 arr 虽然看起来像数组，但实际上是指针
// int arr[] 等价于 int *arr
void printArraySize(int arr[], int size) {
    // sizeof(arr) 在这里是指针的大小 (8字节 on 64-bit)，而不是数组总大小
    cout << "Size inside function: " << sizeof(arr) << endl; 
}

int main() {
    int myArr[10] = {0};
    
    cout << "Size in main: " << sizeof(myArr) << endl; // 40 bytes (10 * 4)
    
    // 数组名 myArr 作为实参
    printArraySize(myArr, 10);
    
    return 0;
}

实用见解： 这就是为什么我们在 C/C++ 中传递数组时，总是需要额外传递一个 size 参数的原因。因为函数内部仅仅接收到了一个指针，它无法知道原始数组到底有多长。这种边界信息的丢失是许多缓冲区溢出漏洞的根源，理解这一点对于编写安全的系统级代码至关重要。

常见错误与性能优化建议

在掌握了上述概念后，我们在实际开发中还需要注意以下几点：

默认参数的使用（C++）： 在定义函数形参时，我们可以为它们设置默认值。这是一个提升代码易用性的绝佳手段。例如，INLINECODE1111db72。调用时，我们可以只传 INLINECODE900fbff0，形参 INLINECODE731f92e6 会自动变为 INLINECODEdf84dc33。

性能优化 – 避免不必要的拷贝： 如果你的形参是一个大的结构体或类的对象（例如 std::vector 或自定义的大 Struct），使用值传递会导致大量的内存拷贝操作，这非常低效。

* 建议： 对于只读的大对象，使用常量引用：INLINECODE1e752abf。这样，实参和形参共享同一块内存，没有拷贝开销，且 INLINECODEbfcbfe90 保证了数据不会被意外修改。

类型检查： C++ 在编译时非常严格。实参的类型必须与形参的类型兼容（或者可以通过隐式转换）。如果不匹配，编译器会报错。利用这一点，我们可以使用函数重载来处理不同类型的实参，增强程序的灵活性。

总结

回顾一下，形参是函数定义中的占位符，是接收者；而实参是函数调用时传递的真实数据，是给予者。它们就像是电池和电器——电器（函数）设计有特定的电池槽（形参），而你放入的电池（实参）必须匹配规格才能正常工作。

我们在本文中探讨了：

两者的基本定义和区别。
值传递、指针传递和引用传递的实际效果。
数组退化的特殊行为。
性能优化的最佳实践。

希望这些知识能帮助你在今后的编码中，更清晰地思考数据的流向，写出逻辑严密、性能优异的代码。下次当你写下一个函数调用时，花一秒钟思考一下：哪些是实参？它们是如何传递给那些形参的？这种思维习惯将是通往高级 C/C++ 程序员的必经之路。

投稿给我们	如何建站？
vps是什么？	如何安装宝塔？
如何通过博客赚钱？	便宜wordpress托管方案
免费wordpress主题	这些都是免费方案

豆丁博客