類（class）：通常來說，類即帶成員函數的用戶自定義類型。在C++中一個類即為帶私有變量的結構體。 訪問函數（accessor function）：提供對私有變量的訪問（讀或寫）功能的函數。 不變式（invariant）：一個條件，跟一個對象相關，并應該在客戶代碼中一直為真，該不變性應被成員函數保持。 先決條件（precondition）：在某一個函數開始假定為真的條件。如果先決條件為假，函數可能不能正常運行。最好盡可能的檢查先決條件。 后置條件（postcondition）：在函數執行末尾為真的條件。