静态局部变量和链接类型

1. 变量的链接类型

在C++中，变量的链接类型决定了变量的可见性和生命周期。主要有两种链接类型：内部链接和外部链接。

内部链接（Internal Linkage）

具有内部链接的变量只能在声明它的翻译单元（通常是一个源文件）中访问。它们在其他源文件中不可见。使用static关键字声明的全局变量和函数就是具有内部链接的。例如：

// 在 file1.cpp 中
static int counter = 0; // 具有内部链接

void incrementCounter() {
    counter++;
}

// 在 file2.cpp 中
void someFunction() {
    // counter 不能在这里被访问，因为它在另一个翻译单元中
}

外部链接（External Linkage）

具有外部链接的变量可以在多个翻译单元中访问。默认情况下，全局变量和函数具有外部链接。例如：

// 在 file1.cpp 中
int counter = 0; // 具有外部链接

void incrementCounter() {
    counter++;
}

// 在 file2.cpp 中
extern int counter; // 声明 counter 具有外部链接

void someFunction() {
    counter++; // 这里可以访问 counter
}

2. static 关键字的作用

在不同的上下文中，static 关键字有不同的含义：

• 全局变量或函数：在全局范围内使用 static 关键字声明的变量或函数具有内部链接。这意味着它们只能在声明它们的翻译单元中访问。

static int globalVar = 0; // 只能在当前文件中访问

• 局部变量：在函数内部使用 static关键字声明的变量在函数多次调用之间保持其值。它们在第一次调用函数时初始化，并在程序的整个生命周期内保持存在。

void myFunction() {
    static int localVar = 0; // 只初始化一次
    localVar++;
    std::cout << localVar << std::endl;
}

示例解释

考虑以下代码：

#include <iostream>

void counterFunction() {
    static int counter = 0;  // 声明并初始化一个静态局部变量
    counter++;
    std::cout << "Counter: " << counter << std::endl;
}

int main() {
    for (int i = 0; i < 5; ++i) {
        counterFunction();
    }
    return 0;
}

counter 是一个静态局部变量，具有以下特性：

• 首次初始化：counter 在第一次调用 counterFunction 时被初始化为 0。
• 值的持久性：每次调用 counterFunction 时，counter 的值都会增加 1，但在函数调用之间保持其值。
• 作用域：counter 只能在 counterFunction 内部访问。

总结

• 内部链接：static 关键字用于全局变量或函数时，表示这些变量或函数只能在声明它们的文件中访问。
• 静态局部变量：在函数内部使用 static 关键字声明的变量在函数多次调用之间保持其值，并且只初始化一次。