指針的原始語義與 C++11 的 nullptr
指針本質：存儲內存地址的變量。C/C++ 指針不感知所指對象的有效性（懸空指針、野指針風險）。C++11 引入 nullptr 關鍵字，類型安全替代 NULL/0，統一空指針表示。
引用：別名而非指針
- 必須初始化，無空引用，生命周期綁定目標對象。
- 底層實現通常為指針，但語義上不可重綁定、不可為空。
- 目標對象銷毀後引用即懸空，同樣危險。
智能指針革命：RAII 托管堆內存
| 類型 | 所有權語義 | 適用場景 |
|---|
| std::unique_ptr | 獨占所有權，不可複製，可移動 | 單一所有者、工廠函數返回、Pimpl 惯用法 |
| std::shared_ptr | 共享所有權，引用計數 | 多對象共享、觀察者模式、緩存 |
| std::weak_ptr | 非擁有觀察者，打破循環引用 | 緩存、父子雙向引用、觀察者 |
核心優勢：作用域結束自動 delete，異常安全，無需手動釋放。
現代 C++ 趨勢：值語義與移動語義取代指針
- 值語義：對象按值傳遞、返回、存儲於容器，利用移動構造/賦值避免拷貝開銷。
- 工廠函數返回值：
Widget make_widget() 而非 Widget* make_widget()，RVO/移動語義保證零開銷。
std::vector<Widget> 替代 std::vector<Widget*>，緩存局部性更好，無間接訪問開銷。
指針的剩餘棲身之地
- 多態基類指針/引用：
std::vector<std::unique_ptr<Shape>> 實現異構容器。
→ boost::ptr_vector 或 std::vector<std::variant<...>> (C++17) 為替代方案。
- 可選返回值：
T* find(); // nullptr 表示失敗
→ std::optional<T> (C++17) 類型安全表達「有值/無值」，避免堆分配開銷。
- 非擁有觀察者：
Observer* obs; → std::weak_ptr 或裸指針（文檔標註不擁有）。
- C API 交互/底層內存操作：不可避免需裸指針，封裝於邊界層。
虛函數與 CRTP：靜態多態替代動態分發
虛函數調用有間接開銷，難以內聯優化。CRTP (Curiously Recurring Template Pattern) 實現靜態多態：
template<typename Derived>
struct Base {
void interface() { static_cast<Derived*>(this)->impl(); }
};
struct Derived : Base<Derived> { void impl() { ... } };
編譯器可內聯優化，性能接近非虛調用。GCC 4.9+ 對動態分發優化亦大幅增強。
總結：指針的角色重塑
現代 C++ 中，指針從「核心抽象」退居為「底層實現細節」：
- 內存管理 →
unique_ptr/shared_ptr + RAII
- 多態容器 →
unique_ptr 基類指針或 variant
- 可選值 →
std::optional
- 值語義 + 移動語義 → 首選設計範式
理解指針本質，掌握智能指針與值語義，是邁向專業現代 C++ 開發者的關鍵。
- 上一篇文章： C/C++ 字符數組與字符串終結符 \0 深度解析
- 下一篇文章： 失落的 C 語言結構體封裝藝術（一）：對齊、填充與手工重排優化內存佈局
Copyright ©
程式碼之家 All Rights Reserved
