C++ static 全局變量能否在另一個 cpp 中用 extern 聲明？

直接回答

不能。 static 修飾全局變量時，表示內部鏈接，該變量僅在定義它的翻譯單元 (.cpp 文件) 內可見，不參與外部鏈接，其他 .cpp 文件無法通過 extern 聲明來訪問。

代碼演示

file1.cpp

// 定義 static 全局變量
static int g_internal = 42;  // 內部鏈接

// 同文件內可訪問
void funcInFile1() {
    g_internal = 100; // OK
}

file2.cpp

// 嘗試 extern 聲明 (編譯錯誤/鏈接錯誤)
extern int g_internal;  // 錯誤：g_internal 具有內部鏈接，無外部符號

void funcInFile2() {
    // g_internal = 200; // 無法訪問
}

編譯/鏈接行為

對比：非 static 全局變量

file1.cpp

int g_external = 42;  // 外部鏈接 (默認)

file2.cpp

extern int g_external;  // 正確：聲明外部符號

void funcInFile2() {
    g_external = 200; // OK，修改同一塊內存
}

為什麼設計成這樣？

• 封裝性：static 將變量作用域限制在單個編譯單元，實現文件級私有，防止命名衝突、減少耦合。
• 鏈接模型：C/C++ 鏈接器處理外部符號。static 告訴編譯器「不導出此符號」，鏈接器自然找不到。
• ODR (一個定義規則)：允許不同 .cpp 定義同名 static 變量，互不衝突。

替代方案：跨文件共享變量的正確姿勢

方案一：頭文件聲明 + 一個 cpp 定義 (標準做法)

// common.h
#ifndef COMMON_H
#define COMMON_H
extern int g_shared;  // 聲明
void setShared(int v);
int getShared();
#endif

// common.cpp
#include "common.h"
int g_shared = 0;  // 定義 (僅此處)
void setShared(int v) { g_shared = v; }
int getShared() { return g_shared; }

// file2.cpp
#include "common.h"
void foo() { setShared(42); } // 通過函數訪問，或直接 extern 使用

方案二：單例模式 / 命名空間封裝 (現代 C++ 推薦)

// Config.h
namespace Config {
    int& getGlobalValue(); // 返回引用
    void setGlobalValue(int v);
}

// Config.cpp
namespace Config {
    static int value = 0; // 文件內 static，外部不可直接訪問
    int& getGlobalValue() { return value; }
    void setGlobalValue(int v) { value = v; }
}

方案三：C++17 inline 變量 (僅頭文件)

// Config.h (C++17)
inline int g_shared = 0; // 定義即聲明，多文件包含只有一個實體
// 任意 .cpp 包含此頭文件即可直接讀寫 g_shared

總結

• static 全局變量 = 內部鏈接 = 文件私有 = 不可 extern 跨文件訪問。
• 跨文件共享請使用 extern + 非 static 定義、單例/命名空間封裝 或 C++17 inline 變量。
• 若在頭文件中定義 static 變量，每個包含該頭文件的 .cpp 都會得到一個獨立副本，通常是錯誤用法 (除非有意作為編譯單元私有常量)。