這里的大多數答案都集中在OOP上，但是封裝開始的時間要早得多：

• 每個函數都是封裝；在偽碼中：

  point x = { 1, 4 }
  point y = { 23, 42 }
  
  numeric d = distance(x, y)

  這里,distance封裝平面中兩點之間(歐幾里德)距離的計算：它隱藏實現細節。這是封裝，純而簡單。

• 抽象化是…的過程泛化*具體實施，并使其適用于不同類型的數據，盡管有些相關。抽象的經典例子是C的qsort函數對數據進行排序：

  關于qsort是它不關心它排序的數據-事實上，它不知道它分類的數據。相反，它的輸入類型是一個無類型指針(void*)，這只是C的一種說法：“我不在乎數據的類型”(這也稱為類型擦除)。重要的一點是qsort無論數據類型如何，始終保持不變。唯一有更改是比較函數，它因數據類型而異。qsort因此，期望用戶將所述比較函數作為函數參數提供。

封裝和抽象是緊密聯系在一起的，所以您可以指出它們確實是不可分割的。出于實際目的，這可能是正確的；盡管如此，這里的封裝并不是抽象的：

class point {
    numeric x
    numeric y
}

我們封裝了點的坐標，但是除了邏輯分組之外，我們并沒有將它們抽象出去。

這里有一個抽象的例子，它不是封裝的：

T pi<T> = 3.1415926535

這是一個泛型變量 pi對于給定的值(π)，聲明并不關心變量的確切類型。誠然，我很難在實際代碼中找到這樣的東西：抽象幾乎總是使用封裝。然而，上述是嗎？實際上存在于C+(14)中，可變模板(=變量的通用模板)；具有稍微復雜的語法，例如：

template <typename T> constexpr T pi = T{3.1415926535};

封裝隱藏實現細節，這些實現細節可能用于一般行為，也可能不用于特定行為。

抽象化是提供一個泛化(例如，對一組行為)。

下面是一個很好的讀物：抽象、封裝和信息隱藏作者：The Object Agency的愛德華·V·貝拉德。