C语言形参默认存储类别是什么？

在C语言中,函数形参（parameter）的默认存储类别是 auto。

虽然我们几乎在写代码时从不显式地写出 auto 关键字，但这是C语言标准的规定。

下面我们来详细解释一下为什么,以及 auto 到底是什么意思。

什么是 auto？

auto 是C语言中最基本、最常用的存储类别，它的全称是“自动变量”（Automatic Variable）。

auto 变量的核心特征：

1. 存储位置：存储在栈（Stack）上。
2. 生命周期：局部的，变量只在其定义的代码块（通常是函数体）内存在，当函数被调用时，变量在栈上被创建；当函数执行完毕返回时，变量所在的栈空间被自动释放，变量也随之销毁。
3. 作用域：局部的，变量只在定义它的代码块（ ）内可见。
4. 初始化：如果不进行初始化，它的值是不确定的（垃圾值）。

为什么说形参的默认存储类别是 auto？

当你定义一个函数时,

int add(int a, int b) { // a 和 b 是形参
    int sum = a + b;     // sum 是一个普通的局部变量
    return sum;
}

这里的 int a 和 int b 虽然没有写 auto，但编译器会默认将它们当作 auto int a 和 auto int b 来处理。

这完全符合 auto 变量的特征：

• 生命周期：形参 a 和 b 只在 add 函数被调用时存在，函数返回后就销毁了。
• 作用域：它们只在 add 函数的 内部可见。
• 存储位置：它们被存储在函数的栈帧中。

auto 的特殊性：可以省略

auto 是唯一一个可以被省略的存储类别关键字，在C语言中，所有在函数内部定义的、没有其他存储类别关键字（如 static）修饰的变量，都被默认视为 auto 变量。

这就解释了为什么我们写的所有局部变量,比如上面例子中的 sum，都默认是 auto 的，因为我们没有、也不需要写 auto int sum;。

与其他存储类别的对比

为了更好地理解 auto 的默认地位，我们来看一下其他存储类别。

例子对比：

#include <stdio.h>
// --- auto 变量 (默认) ---
void auto_example() {
    int x = 10; // 等价于 auto int x;
    printf("Inside auto_example: x = %d\n", x);
} // x 在这里被销毁
// --- static 变量 ---
void static_example() {
    static int y = 0; // y 只在程序开始时初始化一次
    y++;
    printf("Inside static_example: y = %d\n", y);
} // y 不会被销毁，下次调用时保留上次的值
// --- 全局变量 ---
int z = 100; // z 的生命周期和程序一样长
int main() {
    auto_example(); // 每次调用，x 都是重新创建的
    auto_example();
    printf("---\n");
    static_example(); // y 的值会累加
    static_example();
    printf("---\n");
    printf("In main: z = %d\n", z); // main 函数可以访问全局变量 z
    return 0;
}

输出结果：

Inside auto_example: x = 10
Inside auto_example: x = 10
---
Inside static_example: y = 1
Inside static_example: y = 2
---
In main: z = 100

• 核心答案：C语言中形参的默认存储类别是 auto。
• 实际意义：这意味着形参是局部变量，生命周期仅限于函数调用期间，存储在栈上。
• 编程实践：由于 auto 是默认的，我们从不在函数参数列表中显式写出 auto 关键字，直接写类型名即可（如 int a）。