在C语言中，函数形参（也称参数）是函数定义时附在函数名后的变量，它们用于接收函数调用时传递的实际参数（实参）。关于形参是否占用存储单元的问题，是一个比较基础但十分重要的概念。为了更清楚地了解这个问题，我们需要从C语言的函数调用机制、栈内存管理和实际操作过程等方面深入探讨。
什么是形参和实参
在讨论形参是否占用存储单元前，首先需要明确形参和实参的概念。
形参
形参是指在定义函数时，在函数的参数列表中声明的变量。这些变量会在函数被调用时用于接收传递进来的实参。例如：
void foo(int a, int b) {
// 函数体
}
这里，a和b就是形参。
实参
实参是指在调用函数时，传递给函数的具体值。例如：
foo(5, 10);
这里，数值5和10就是实参，它们会在调用时传递给形参a和b。
形参的存储单元
理解形参是否占用存储单元，需要对函数调用栈（stack）有所了解。栈是一种后进先出的数据结构，用于存储函数调用过程中所需的各种信息，包括函数的返回地址、局部变量和函数参数。
函数调用的过程
当一个函数被调用时，系统会为该函数分配一个栈帧（stack frame）。这个栈帧中会包含以下几部分：
1. 返回地址：函数调用结束后，程序需要知道在哪里继续执行，这个地址会被存储在栈中。
2. 局部变量：函数内部定义的局部变量会存储在栈帧中。
3. 参数：函数的形参会作为局部变量存储在栈帧中。
由此可以看出，形参是会占用存储单元的，因为它们需要在调用栈中保存。
具体的存储过程
在具体的实现过程中，当一个函数被调用时：
1. 系统会在调用栈中为该函数创建一个新的栈帧。
2. 实参会被传递到栈帧中，赋值给对应的形参。
3. 函数执行时，形参就如同局部变量一样进行操作。
假设我们有如下代码：
void foo(int a, int b) {
int c = a + b;
}
在调用foo(5, 10)时，以下步骤会发生：
1. 在栈上为foo函数创建一个新的栈帧。
2. 将实参5和10传递给形参a和b。
3. 在栈帧中为局部变量c分配存储单元。
4. 函数执行过程中，形参和局部变量在栈帧中都占用存储单元。
形参存储单元的优化
虽然形参在栈帧中占用存储单元，但编译器在某些情况下可以进行优化。例如，某些简单的函数调用可能被内联（inline），内联函数可以消除形参在栈帧中的存储需求，从而提升性能。
内联函数
内联函数是一种优化技术，它将函数调用替换为函数的代码本身，消除了函数调用的开销。内联函数可以通过关键字inline定义，但是编译器对是否内联有最终决定权。示例：
inline void foo(int a, int b) {
int c = a + b;
}
总结
在C语言中，形参确实占用存储单元。形参在函数调用栈中作为局部变量的一部分进行存储和操作。理解这一点对于深入掌握C语言函数调用机制和栈内存管理是十分重要的。尽管编译器可能会在某些情况下进行优化，比如通过内联函数减少存储单元的占用，但形参在常规函数调用中依然会占用存储单元。