物件導向程式設計:封裝 (Encapsulation)

歡迎來到迷人的物件導向程式設計 (OOP) 世界!本章將重點介紹 OOP 的核心支柱之一——封裝 (Encapsulation)。如果這個概念起初聽起來有點抽象,不用擔心;我們會透過簡單的日常比喻來為你拆解。

你將會學到如何將數據(資料)與操作這些數據的方法(函數)捆綁在一起,而最重要的是,如何控制「誰」可以看到這些資訊並與其互動。掌握封裝技術能讓你的程式碼更安全、更穩健,且更易於管理!


1. 什麼是封裝?

簡單來說,封裝就是將數據(屬性/特性)與操作該數據的程式碼(方法)捆綁在一個單元內——即類別 (Class)。至關重要的是,它涉及限制外部對物件某些組件的直接存取。

這就像將執行任務所需的一切都裝進一個獨立的盒子裡,隱藏複雜的內部運作細節,只暴露必要的控制介面。

核心概念:資料隱藏 (Data Hiding)

封裝的主要目標是資料隱藏(或資訊隱藏)。

  • 封裝向其他類別隱藏了該類別的運作方式以及數據的呈現方式
  • 當你正確執行封裝時,物件的內部狀態只能透過它自己的方法來更改。

比喻:智慧型手機
想想你的智慧型手機。你透過按鈕和螢幕與它互動(這些是公開方法/public methods)。你不需要知道微處理器是如何運作的、記憶體是如何連接的,也不需要知道電路中的確切電壓(這些是隱藏的數據/私有實作)。封裝確保你在使用手機時,不會因為隨意更改設定而導致內部組件損壞。

重點總結 1:封裝的核心在於將數據和方法綑綁,並利用存取修飾符 (Access Modifiers)(或稱存取指定詞)來隱藏物件的內部細節。

2. 存取修飾符:控制可見度

為了實現資料隱藏,我們使用存取修飾符。這些是程式語言中的關鍵字,用於對屬性和方法設定限制,從而決定其他類別是否能與它們互動。

公開存取 (Public,在類別圖中以 + 符號表示)

公開 (Public) 修飾符的限制最少。

  • 定義:任何其他類別、物件或程式碼段都可以直接存取和修改這些屬性,或呼叫這些方法。
  • 用途:公開方法通常代表你希望使用者(或其他程式設計師)執行的標準操作(例如 depositMoney())。
私有存取 (Private,在類別圖中以 - 符號表示)

私有 (Private) 修飾符提供最嚴格的限制,對於資料隱藏至關重要。

  • 定義:私有屬性或方法只能同一個類別內的程式碼存取或更改。它對外部世界是完全隱藏的。
  • 用途:這是你存放內部數據的地方(例如使用者的密碼雜湊或帳戶餘額),這些數據不應被外部程式碼直接操縱。

小知識:在 Python 中,並沒有嚴格的「private」關鍵字。慣例上,我們會在名稱前加上兩個底線(例如 __balance)來標示私有成員。雖然這並不能嚴格禁止外部存取,但它向其他程式設計師發出訊號:該屬性是私有的,不應被直接觸碰。

受保護存取 (Protected,在類別圖中以 # 符號表示)

受保護 (Protected) 修飾符在公開與私有之間取得了平衡。

  • 定義:受保護的屬性或方法可以被定義該類別內部的程式碼,以及任何繼承自該類別的子類別 (subclasses) 存取。
  • 用途:當你需要某些功能被子類別繼承並使用,但仍希望對完全不相關的外部物件隱藏時,就會使用它。
快速複習:存取修飾符

公開 (Public):所有人都能看見/使用。
受保護 (Protected):只有該類別本身及其衍生類別(子類別)能看見/使用。
私有 (Private):只有該類別本身能看見/使用。


3. 透過 Getter 和 Setter 進行受控存取

如果數據被標記為私有,程式的其他部分該如何與它互動呢?它們必須透過指定的公開通道,也就是所謂的 Getter 和 Setter 方法。

我們需要這些方法,因為直接操縱私有數據是非常危險的。例如,如果銀行帳戶餘額(私有數據)可以被直接更改,某人可能會在沒有任何檢查的情況下將其設置為負數或一個極其荒謬的數字。

Getter 和 Setter 方法 本質上就是公開方法(物件公開介面的一部分),充當私有數據(屬性)的受控存取點。

Getter 方法 (存取器)

Getter(或 Accessor)是一個公開方法,其唯一目的是檢索(獲取)私有屬性的值。

例子:如果你有一個私有屬性 _temperature,Getter 就會是 getTemperature()

Setter 方法 (變更器)

Setter(或 Mutator)是一個公開方法,其唯一目的是安全地更改(設置)私有屬性的值。這正是封裝真正強大的地方!

Setter 的操作流程:

  1. 外部物件呼叫公開的 Setter 方法(例如 setAge(newAge))。
  2. Setter 方法執行驗證邏輯(檢查規則,確保輸入合乎常理)。
  3. 如果驗證通過,Setter 方法會修改私有屬性。
  4. 如果驗證失敗(例如試圖將年齡設置為 -5),該方法會阻止變更,從而保護物件的內部狀態。

比喻:自動販賣機
自動販賣機就是一個封裝的實例。它的庫存(私有數據)是隱藏的。你不會直接把錢塞進庫存槽裡。相反地,你使用公開介面(按鈕和投幣口):
Setter:你投入一枚硬幣。機器會檢查它是否有效(驗證)。如果是,它會更新內部的「餘額」數值(修改私有數據)。
Getter:你查看顯示螢幕。顯示幕會檢索當前的「餘額」數值(讀取私有數據)。


4. 封裝的優勢

正確使用封裝能為軟體設計帶來顯著的好處:

  • 提升可維護性:由於內部運作被隱藏,如果你需要更改數據的計算或儲存方式(例如從攝氏改為開爾文),你只需要修改類別方法(Getter/Setter)內部的程式碼。只要公開方法的名稱保持不變,依賴這些公開方法的外部程式碼就不會損壞。這對於大型專案至關重要。
  • 資料完整性與穩健性:Setter 允許你在允許修改數據之前強制執行規則(驗證檢查)。這能防止物件進入無效或不一致的狀態。
  • 降低複雜度:透過隱藏不必要的細節,使用你類別的程式設計師只需理解簡單的公開介面(抽象化),這使得程式碼更容易使用且不易出錯。
  • 靈活性:只要公開方法的簽章保持不變,你可以在不影響程式其餘部分的情況下,隨時更改私有屬性的底層實作方式。
最終重點總結:封裝是 OOP 中用於實現資料隱藏的工具。你將數據和方法捆綁在一起,並使用公開、私有和受保護的修飾符來限制存取。公開的 Getter 和 Setter 是管理與隱藏的私有數據互動的唯一安全方式。