C++ 函数默认参数和可变参数的内存管理剖析

默认参数和可变参数的内存管理：默认参数：在函数栈帧中分配内存，大小为其类型的字节数。可变参数：在堆栈帧的尾部分配内存，大小由可变参数数量决定：sizeof(void ) (传入参数数量 + 1)

C++ 函数默认参数和可变参数的内存管理剖析

C++ 中的函数参数传递机制涉及值拷贝或引用，这会影响内存管理。本文将深入剖析默认参数和可变参数的内存管理行为。

默认参数

默认参数在函数定义时指定，用于在没有传递实际参数时提供默认值。它们在编译时展开，其内存分配发生在函数栈帧中。例如：

void myFunction(int x = 10);

在函数调用时，如果未传递 x 参数，则使用默认值 10。默认参数的内存分配大小为其类型的大小。

可变参数

可变参数允许函数接受不定数量的参数。它们使用 ... 表示，位于参数列表的末尾。可变参数在运行时展开，其内存分配发生在堆栈帧的尾部。例如：

void myFunction(int x, ...);

在处理可变参数时，函数会创建一个可变参数列表对象，该对象存储指向实际参数内存地址的指针数组。可变参数对象的内存分配大小为 sizeof(void *) * (传入参数数量 + 1)。

以下示例展示了默认参数和可变参数的内存管理行为：

#include <iostream>

void withDefault(int x = 10) {
    std::cout << "x in 'withDefault' is: " << x << std::endl;
}

void withEllipsis(int x, ...) {
    std::va_list args;
    va_start(args, x);
    
    int sum = x;
    int arg;
    while (va_arg(args, int) != NULL) { // 获取可变参数并累加
        arg = va_arg(args, int);
        sum += arg;
    }
    
    va_end(args);
    std::cout << "Sum of all arguments in 'withEllipsis' is: " << sum << std::endl;
}

int main() {
    withDefault();
    withEllipsis(1, 2, 3, 4, 5, NULL);
    return 0;
}

输出：

x in 'withDefault' is: 10
Sum of all arguments in 'withEllipsis' is: 15