深入理解 extern "C"：C/C++ 混合編程、動態庫導出、跨語言呼叫的關鍵

為什麼需要 extern "C"？

C++ 支援**函數多載**，編譯器對函數進行 **Name Mangling (修飾)**，將函數名、參數型別、命名空間編碼進符號名 (如 `_Z3fooi`)。C 語言**無修飾**，符號即函數名 (如 `foo`)。若 C++ 直接呼叫 C 函數，連結器找不到修飾後的符號 → **連結錯誤**。

extern "C" 雙重含義

1. 連結規格為 C：該宣告/定義的符號**不進行 Name Mangling**，使用 C 風格符號名。
2. 外部連結：同 `extern`，變數/函數可跨編譯單元存取。

標準護衛模式 (頭文件通用寫法)

#ifndef MYLIB_H
#define MYLIB_H

#ifdef __cplusplus
extern "C" {
#endif

/* C 風格介面：函數宣告、結構體定義、宏常數 */
void mylib_init(void);
int mylib_process(int input);
typedef struct { int x; int y; } Point;

#ifdef __cplusplus
}
#endif

#endif /* MYLIB_H */

• C 編譯器**忽略** `extern "C"` (視為語法錯誤)，故必須用 `#ifdef __cplusplus` 包裹。
• C++ 編譯器看到 `extern "C"` 區塊，將內部宣告視為 C 連結規格。

四大典型應用場景

1. C++ 專案呼叫 C 庫 (最常見)

/* C 庫頭文件 c_lib.h */
#ifndef C_LIB_H
#define C_LIB_H
#ifdef __cplusplus
extern "C" {
#endif
int c_add(int a, int b);
#ifdef __cplusplus
}
#endif
#endif

/* C++ 使用端 */
extern "C" {
#include "c_lib.h"
}
int main() { return c_add(2, 3); }

2. C 專案呼叫 C++ 庫

/* C++ 庫實作 cpp_lib.cpp */
extern "C" int cpp_add(int a, int b) { return a + b; }  // 導出 C 符號

/* C++ 庫頭文件 cpp_lib.h */
#ifdef __cplusplus
extern "C" {
#endif
int cpp_add(int a, int b);  // C++ 端見 C 連結
#ifdef __cplusplus
}
#endif

/* C 使用端 c_main.c */
extern int cpp_add(int a, int b);  // 僅宣告 extern
int main() { return cpp_add(2, 3); }

**關鍵**：C 端**不能**包含含 `extern "C"` 的頭文件，只能單獨 `extern` 宣告。

3. 動態庫導出介面 (跨語言通用)

/* Windows DLL */
#ifdef BUILDING_DLL
#define DLL_API __declspec(dllexport)
#else
#define DLL_API __declspec(dllimport)
#endif

#ifdef __cplusplus
extern "C" {
#endif
DLL_API int dll_add(int a, int b);
#ifdef __cplusplus
}
#endif

/* Linux .so */
#define DLL_API __attribute__((visibility("default")))
/* 其餘相同 */

動態庫導出符號**必須**為 C 連結，否則 Python `ctypes`、Java JNI、C# `DllImport`、Go `cgo` 等均無法正確解析符號。

4. C++ 類非成員函數作為 C 回呼

/* C 庫回呼型別 */
typedef void (*Callback)(int event, void *user_data);

/* C++ 類靜態成員函數可直接轉型 */
class Handler {
public:
    static void on_event(int event, void *user_data) {
        auto *self = static_cast(user_data);
        self->process(event);
    }
    void process(int event) { /* ... */ }
};

/* 註冊 */
register_callback(Handler::on_event, this);

Name Mangling 實例對照

常見錯誤與排查

現代 C++ (C++17/20) 最佳實踐

1. **頭文件雙重護衛**：`#pragma once` + `#ifdef __cplusplus extern "C" { #endif`。
2. **模組化介面**：將 C 相容介面集中在 `*_c.h`，C++ 內部實作隱藏於 `*_impl.hpp`。
3. **避免全域 `extern "C"` 變數**：改用單例存取函數，減少跨語言狀態耦合。
4. **測試符號導出**：`nm -D libxxx.so | grep ' T '` 確認符號未修飾。

結語

`extern "C"` 是 **C/C++ 混合編程、動態庫導出、跨語言 FFI (Foreign Function Interface) 的基石**。掌握 **Name Mangling 原理、頭文件護衛模式、四大應用場景、符號驗證方法**，能讓你在嵌入式固件、插件系統、語言綁定、高效能庫開發等領域自信處理跨語言邊界。