在c语言的函数定义中，如果我们没有为形参显式指定存储类别，那么形参的缺省存储类别是auto，也就是自动存储类别。自动存储类别的变量会在函数被调用时分配内存空间，函数执行结束后自动释放对应的内存，生命周期和函数的调用周期保持一致。
存储类别基础概念
c语言中的存储类别决定了变量的存储位置、生命周期以及作用域，常见的存储类别有以下几种：
- auto：自动存储类别，变量存储在栈区，函数调用时创建，函数返回时销毁
- static：静态存储类别，变量存储在静态存储区，程序运行期间一直存在
- register：寄存器存储类别，建议编译器将变量存储在寄存器中，提升访问速度
- extern：外部存储类别，用于声明在其他文件中定义的全局变量
形参缺省存储类别验证
我们可以通过一段简单的代码来验证形参的缺省存储类别是auto。下面的函数定义了两个形参a和b，没有显式指定存储类别，按照规则它们默认是auto类型：
#include <stdio.h>
// 形参a和b没有指定存储类别，默认是auto
int add(int a, int b) {
return a + b;
}
int main() {
int result = add(3, 5);
printf("计算结果：%dn", result);
return 0;
}
上述代码中，add函数的形参a和b没有加任何存储类别修饰符，编译器会默认将它们当作auto类型的变量处理，每次调用add函数时，都会为a和b在栈上分配独立的空间，函数执行结束后这些空间会被自动回收。
形参与局部变量存储类别的对比
很多开发者会混淆形参和函数内局部变量的存储类别规则，实际上两者的缺省存储类别是一致的，都是auto。下面的代码展示了两者的相同特性：
#include <stdio.h>
void test(int x) { // 形参x默认是auto
int y; // 局部变量y默认也是auto
printf("x的地址：%pn", &x);
printf("y的地址：%pn", &y);
}
int main() {
test(10);
return 0;
}
运行上述代码可以看到，x和y的地址都在栈区范围内，说明两者都是自动存储类别的变量，生命周期都和test函数的调用周期一致。
显式指定形参存储类别的情况
虽然形参默认是auto，但也可以显式指定其他存储类别，不过需要注意使用场景。比如指定static存储类别的形参，会保留上一次调用的值：
#include <stdio.h>
// 显式指定形参a为static存储类别
void count(static int a) {
a++;
printf("当前a的值：%dn", a);
}
int main() {
count(0); // 输出1
count(0); // 输出2，因为a的内存没有被释放
return 0;
}
不过需要注意的是，不同编译器对形参使用static等存储类别的支持可能存在差异，实际开发中很少会显式修改形参的存储类别，大部分场景下使用默认的auto即可满足需求。
常见误区说明
有些开发者会误以为形参的缺省存储类别是static，这是因为混淆了全局变量和形参的规则。全局变量如果不初始化会默认初始化为0，而static修饰的变量也会有默认初始值，但auto类型的变量如果不初始化，其值是随机的垃圾值。我们可以通过下面的代码验证形参的默认值是随机的：
#include <stdio.h>
void print_param(int a) {
printf("形参a的值：%dn", a);
}
int main() {
// 调用时不传递参数会报错，说明形参必须传值，也侧面说明是auto类型
// print_param(); // 编译错误
return 0;
}
如果形参是static类型，理论上可以不用传参，但实际编译上述不传参的调用会直接报错，也进一步验证了形参默认不是static存储类别。