C++ 核心筆記：引用語義與函數指針機制深度解析

引用：融合名稱訪問與地址訪問優勢的核心機制

C++ 繼承了 C 語言的指針機制，並引入引用作為一種新的對象訪問方式。理解三種訪問模式的差異，是掌握 C++ 參數傳遞與資源管理的基石：

引用核心規則速查

• 定義即初始化：Type& ref = obj; 無默認構造，不可為空。
• 不可重綁定：引用始終綁定初始化目標，賦值操作作用於被引用對象。
• 類型匹配嚴格：const 資格影響綁定（const T& 可綁定臨時對象/字面量/不同但可轉換類型）。
• 引用折疊（模板/auto 推導）：T&& + & → &；T&& + && → &&（C++11 通用引用基石）。

引用作為函數參數：避免拷貝、實現輸出參數

// 輸入參數：避免大對象拷貝
void process(const BigObject& input); 

// 輸出/輸入輸出參數：替代指針，語義更清晰
void divide(int a, int b, int& quotient, int& remainder);

// 鏈式調用返回 *this
class Builder {
    Builder& setName(string n) { name_ = std::move(n); return *this; }
};

引用作為返回值：延長生命週期、實現左值表達式

// 正確：返回靜態/全局/成員對象引用
const Config& getGlobalConfig() { static Config cfg; return cfg; }

// 正確：運算符重載返回左值引用
T& operator[](size_t i) { return data_[i]; }

// 危險：返回局部變量引用 → 懸垂引用 → UB
int& bad() { int x = 42; return x; } // 編譯器警告！

函數指針：代碼即數據，回調與多態的基石

函數在內存中佔據代碼段，其入口地址即函數指針。C++ 規定函數名可隱式轉換為函數指針。

聲明語法解析

// 基本形式：返回類型 (*指針名)(參數列表)
int (*cmp)(const void*, const void*);  // 指向比較函數的指針

// 類型別名簡化（C++11 using 推薦）
using CompareFn = int(*)(const void*, const void*);
using MemFn = void (MyClass::*)(int, double); // 成員函數指針

賦值與調用

int ascending(const void* a, const void* b) { ... }
CompareFn fn = ascending;       // 隱式取址
CompareFn fn2 = &ascending;      // 顯式取址，等效

// 調用：隱式解引用
fn(&x, &y); 
// 顯式解引用（等效）
(*fn)(&x, &y);

核心應用場景

• 回調函數：qsort、事件循環、信號處理、異步完成通知。
• 狀態機/策略模式：運行時切換行為（如排序順序、解析器分派）。
• 動態加載：dlsym/GetProcAddress 獲取插件入口函數。
• 成員函數指針：配合 std::invoke (C++17) / std::mem_fn 統一調用語法。

現代替代方案：優先考慮

實戰提煉

1. 參數傳遞首選 const T&，需修改用 T&，小型可拷貝類型（int, pair<int,int>, std::string_view）按值傳遞。
2. 返回值避免引用懸垂：除非返回靜態存儲期/成員/參數引用，否則返回值語義（C++17 RVO/NRVO/移動語義消除開銷）。
3. 函數指針僅用於 C 互操作/動態加載，內部邏輯用模板/Lambda/std::function 表達可調用概念。
4. 善用 using 別名 簡化複雜函數指針類型，提升可讀性。