Effective C++ 條款 28：避免返回對象內部的句柄——深入解析封裝與 const 正確性

前言

在 C++ 類設計中，「不要返回對象內部的句柄」是一條至關重要的準則。句柄包含引用、指標與迭代器。違反此規則會破壞封裝性、導致 const 成員函數失去語義約束，並可能產生懸空句柄，引發難以排查的運行時錯誤。本文將從封裝性、const 正確性、位元組常量性與懸空指標四個維度深入剖析。

何謂「返回私有成員的指標」？

若成員函數直接返回私有資料成員的引用或指標，外部代碼即可繞過類的介面直接修改內部狀態。例如：

class Rectangle {
    int _left, _top;
public:
    int& left() { return _left; }  // 返回私有成員引用
};
Rectangle rec;
rec.left() = 3;  // 直接修改 rec._left，封裝性蕩然無存

這相當於將 _left 變為 public，喪失了類對內部實現的控制權。

試圖用 const 保護內部成員

為了允許讀取但禁止修改，有人會嘗試將回傳型別加上 const：

const int& left() const { return _left; }

這在成員資料直接存放於對象內部時有效，編譯器會阻止通過該引用修改資料。然而，C++ 的 const 語義是「位元組常量性」——只要對象自身的位元組內容不變即視為常量。若私有成員是指標指向外部記憶體，常量成員函數仍可修改指標指向的資料：

class Point { public: int left, right; };
class Rectangle {
    Point* p;
public:
    int& left() const { return p->left; }  // 編譯通過，但破壞 const 語義
};
const Rectangle rec;
rec.left() = 3;  // rec 是 const，卻能修改其邏輯狀態

因為 p 本身未改變，編譯器允許返回非 const 引用。這正是返回內部句柄破壞 const 正確性的根源。

懸空句柄：生命週期不匹配的隱患

即使解決了封裝與 const 問題，返回內部句柄仍面臨生命週期陷阱。返回的引用/指標與對象綁定同一生命週期，若對象銷毀，句柄即懸空：

const Rectangle bounding();  // 返回臨時對象
const int& left = bounding().left();  // 臨時對象語句結束即銷毀，left 成懸空引用

此時 left 綁定的記憶體已被釋放，後續使用屬於未定義行為。這類錯誤極難重現與除錯。

最佳實踐建議

• 優先返回值而非引用/指標，利用移動語義與 RVO 避免效能損耗。
• 若必須返回句柄，嚴格限定為 const 並確保對象生命週期超過句柄使用範圍。
• 提供 const 與非 const 重載版本，維持 const 正確性。
• 考慮使用 std::optional、std::span（C++20）等現代工具替代裸指標。

總結

返回對象內部句柄看似方便，實則埋下封裝破壞、const 語義失效、懸空指標三大隱患。遵循「以值傳回為主，句柄為輔」的原則，配合現代 C++ 特性，才能編寫健壯、可維護的代碼。