类（class）：通常来说，类即带成员函数的用户自定义类型。在C++中一个类即为带私有变量的结构体。
访问函数（accessor function）：提供对私有变量的访问（读或写）功能的函数。
不变式（invariant）：一个条件，跟一个对象相关，并应该在客户代码中一直为真，该不变性应被成员函数保持。
先决条件（precondition）：在某一个函数开始假定为真的条件。如果先决条件为假，函数可能不能正常运行。最好尽可能的检查先决条件。
后置条件（postcondition）：在函数执行末尾为真的条件。