C/C++ 混合編程全攻略：互相調用的核心機制與最佳實踐

編輯：關於C語言

為什麼需要 C/C++ 互調？

在現有 C 基礎設施上引入 C++ 新特性、或為 C++ 庫提供 C 風格 API 以供跨語言綁定（如 Python C API、Lua、C# P/Invoke），都是典型場景。核心挑戰在於 名稱修飾、異常處理、物件生命週期 的差異協調。

核心機制：extern "C" 與名稱修飾

// C++ 代碼中暴露給 C 的介面
#ifdef __cplusplus
extern "C" {
#endif

// 禁止 C++ 名稱修飾，確保符號名稱與 C 一致
void cpp_api_init(void);
int cpp_api_compute(int input);

#ifdef __cplusplus
}
#endif

編譯器會將 C++ 函數編碼為包含參數類型的修飾名（如 _Z13cpp_api_computei），而 C 期望純函數名（cpp_api_compute）。extern "C" 告訴 C++ 編譯器使用 C 風格鏈接，解決符號匹配問題。

頭文件雙向兼容模式

/* shared_api.h - 同時被 .c 和 .cpp 包含 */
#ifndef SHARED_API_H
#define SHARED_API_H

#ifdef __cplusplus
extern "C" {
#endif

/* 只使用 C 標準類型：int, double, struct, 指標 */
typedef struct OpaqueContext* ContextHandle;

ContextHandle create_context(int config);
void destroy_context(ContextHandle ctx);
int process_data(ContextHandle ctx, const double* input, size_t len, double* output);

#ifdef __cplusplus
}
#endif

#endif

關鍵難點與解決方案

1. 異常安全：C++ 異常不得跨越 C 邊界

// C++ 實現文件
#include "shared_api.h"
#include 
#include 

struct ContextImpl { /* C++ 類成員、RAII 資源 */ };

extern "C" ContextHandle create_context(int config) {
    try {
        return reinterpret_cast(new ContextImpl(config));
    } catch (...) {
        return nullptr; // 轉換為錯誤碼
    }
}

extern "C" int process_data(ContextHandle ctx, const double* in, size_t len, double* out) {
    if (!ctx) return -1;
    try {
        auto& impl = *reinterpret_cast(ctx);
        return impl.process(in, len, out); // 內部可拋出異常
    } catch (const std::exception& e) {
        // 記錄日誌，返回通用錯誤碼
        return -2;
    }
}

2. 物件生命週期：不透明指標模式

C 端只持有 void* 或前向聲明的結構體指標，實際 C++ 物件由 new/delete 管理，配合 RAII 確保資源釋放。絕不在 C 代碼中直接操作 C++ 類成員。

3. 回調函數：函數指標與 std::function 轉換

// C 風格回調類型
typedef void (*C_Callback)(int progress, void* user_data);

// C++ 內部封裝
void cpp_internal_async_operation(std::function cpp_cb) {
    // ... 異步任務 ...
    cpp_cb(100);
}

// 橋接層
static void c_bridge_callback(int progress, void* user_data) {
    auto cpp_cb = *static_cast*>(user_data);
    cpp_cb(progress);
}

extern "C" void start_async_operation(C_Callback cb, void* user_data) {
    // 將 C 回調包裝為 std::function
    auto wrapper = [cb, user_data](int p) { cb(p, user_data); };
    cpp_internal_async_operation(wrapper);
}

建置系統整合

CMake：target_link_libraries(cpp_lib PUBLIC c_lib)，設置 CXX_STANDARD 並確保兩者使用相同 CRT（/MT 或 /MD）。
Makefile：分別用 gcc 編譯 .c，g++ 編譯 .cpp，鏈接時統一用 g++ 驅動以自動鏈接 C++ 標準庫。