在 C++ 中，存储类定义了变量或函数的生命周期、作用域以及它们的存储位置。存储类决定了变量的存储方式和生存周期，并指定它们是否为全局、局部或静态的。C++ 提供了几种存储类修饰符，包括 auto、register、static、extern 和 mutable 等。每个存储类有其独特的功能和用途。

---

1. auto 存储类

auto 是 C++ 中最基本的存储类修饰符。在 C++11 之前，auto 用于自动推导变量的类型。然而，在现代 C++（C++11 以后），auto 主要用于类型推导，声明时不需要明确指定类型。

1.1 示例：使用 auto 存储类

#include <iostream>
using namespace std;

int main() {
    auto x = 10;   // auto 推导 x 为 int 类型
    auto y = 3.14; // auto 推导 y 为 double 类型
    cout << "x: " << x << ", y: " << y << endl;
    return 0;
}

输出：

x: 10, y: 3.14

• auto 自动推导变量 x 和 y 的类型。

---

2. register 存储类

register 存储类用于告诉编译器该变量应该尽可能存储在 CPU 的寄存器中，以提高访问速度。现代编译器通常会自动优化变量存储位置，register 的使用变得不那么常见。

2.1 示例：使用 register 存储类

#include <iostream>
using namespace std;

int main() {
    register int count = 100;  // 尝试将 count 存储在寄存器中
    cout << "Count: " << count << endl;
    return 0;
}

说明：

• register 修饰符试图将变量 count 存储在寄存器中，可能提高访问速度。
• register 不能用于声明取地址的变量（例如不能对 register 变量使用 &count）。

---

3. static 存储类

static 存储类修饰符用于控制变量的生命周期和作用域。使用 static 修饰的局部变量不会在函数调用结束时销毁，它们的值将在多个函数调用之间保持不变。对于全局变量，static 限制了它们的作用域，仅在当前文件中可见，无法被外部文件访问。

3.1 示例：局部变量中的 static

#include <iostream>
using namespace std;

void increment() {
    static int count = 0; // 静态局部变量
    count++;
    cout << "Count: " << count << endl;
}

int main() {
    increment(); // 调用一次
    increment(); // 调用两次
    increment(); // 调用三次
    return 0;
}

输出：

Count: 1
Count: 2
Count: 3

• static 修饰符使得 count 在多次调用 increment() 函数时保持其值，而不是每次调用时重新初始化。

3.2 示例：全局变量中的 static

#include <iostream>
using namespace std;

static int globalVar = 100;  // 全局静态变量

int main() {
    cout << "GlobalVar: " << globalVar << endl;
    return 0;
}

说明：

• globalVar 被修饰为 static，因此它仅对当前文件可见，不能被其他文件访问。

---

4. extern 存储类

extern 存储类用于声明变量或函数是定义在其他文件或其他地方的。它通常用于在多个源文件之间共享变量或函数。

4.1 示例：使用 extern 存储类

// file1.cpp
#include <iostream>
using namespace std;

extern int count;  // 声明一个外部变量

int main() {
    count = 10;  // 设置 count 的值
    cout << "Count: " << count << endl;
    return 0;
}

// file2.cpp
int count = 0;  // 定义变量 count

说明：

• extern 声明 count 变量，告诉编译器该变量在其他地方（如 file2.cpp）定义。
• count 在 file2.cpp 中定义，因此在 file1.cpp 中可以使用。

---

5. mutable 存储类

mutable 存储类仅适用于类的成员变量，表示即使在 const 成员函数中，mutable 修饰的成员变量也可以被修改。mutable 修饰符通常用于希望在 const 成员函数中修改某些成员的场景。

5.1 示例：使用 mutable 修饰符

#include <iostream>
using namespace std;

class MyClass {
public:
    mutable int counter = 0;

    void increment() const {  // const 成员函数
        counter++;  // 可以修改 mutable 成员
    }

    int getCounter() const {
        return counter;
    }
};

int main() {
    MyClass obj;
    obj.increment();
    cout << "Counter: " << obj.getCounter() << endl;  // 输出 1
    return 0;
}

输出：

Counter: 1

• 即使 increment() 是 const 成员函数，但由于 counter 被声明为 mutable，它仍然可以在 const 成员函数中修改。

---

6. 总结

C++ 提供了几种存储类修饰符，用于定义变量的存储方式、作用域和生命周期。常见的存储类修饰符包括：

存储类	说明	示例
auto	自动推导变量类型，现代 C++ 使用类型推导	auto x = 10;
register	尝试将变量存储在 CPU 寄存器中，提高访问速度	register int count;
static	局部变量的生命周期延续，或全局变量的作用域限制在当前文件内	static int count = 0;
extern	声明变量或函数在其他文件中定义	extern int count;
mutable	允许在 const 成员函数中修改变量的值	mutable int counter;

合理使用这些存储类可以有效地控制变量的存储、生命周期和访问权限，提高程序的效率和可维护性。