C++ 內部類訪問權限設計：以 STL 容器迭代器為例

核心觀點

內部類不必然全部設為私有，其訪問權限應根據功能職責與封裝需求決定。STL 容器中 Node 與 Iterator 的設計恰好體現了這一原則。

案例分析：std::list 內部結構

1. 節點類 - 嚴格私有封裝

template <typename T>
class list {
private:
    struct Node {  // 內部節點結構
        T data;
        Node* prev;
        Node* next;
        // 構造函數等...
    };
    Node* head;  // 僅容器內部使用
public:
    // 對外僅提供操作接口：push_back, push_front 等
};

設計理由：節點是容器內部實現細節，外部無需也不應直接訪問節點指針，否則會破壞鏈表結構完整性。私有化確保數據封裝與不變量維護。

2. 迭代器類 - 必須公開暴露

template <typename T>
class list {
private:
    struct Node { ... };
public:
    class iterator {  // 公開的內部類
        Node* ptr;
        friend class list;  // 允許容器訪問私有成員
        // 構造、解引用、遞增等操作...
    };
    iterator begin() { return iterator(head->next); }
    iterator end() { return iterator(head); }
};

設計理由：迭代器是容器與外部算法交互的標準接口。若設為私有，外部無法聲明 list<int>::iterator it;，標準算法（如 std::sort、std::find）將無法使用。friend 聲明賦予容器創建迭代器的權限，同時保護節點指針不被外部直接操作。

權限選擇決策矩陣

成員訪問權限的影響

• 內部類為 private：外部不可實例化、不可繼承、不可聲明指針/引用；外部類成員可無限制訪問內部類所有成員（含 private）。
• 內部類為 public：外部可實例化（若構造函數公有）、可繼承、可聲明類型；但內部類的 private 成員仍對外部類可見，外部類仍需 friend 聲明才能訪問內部類的 private 成員。

最佳實踐總結

1. 默認私有：除非有明確對外暴露需求，內部類優先設為 private。
2. 接口公開：迭代器、比較器、哈希函數等協議類型必須 public。
3. 友元配合：公開的內部類配合 friend 實現「外部可用、內部可控」的雙重保障。
4. 文檔說明：在類註釋中說明內部類的設計意圖與使用約束。