1. 前導：最近一直在上《軟體構造》這門課，通過這門課，瞭解許多以前不知道的程式設計思想。其中最近寫的程式設計安全的問題是最令我印象深刻的，因為安全問題一直是程式設計的一大值得注意的方面，一個程式的好壞，很大一部分是由其安全性來決定的。（我採用的是java語言來描述）

目錄：

1. 關於資料型別的規約和特性
2. 關於對資料型別的操作和特性
3. 關於抽象資料型別（ADT）

2.1:關於資料型別的規約和特性：

• 資料型別的種類：java中的資料型別分為基本資料型別（immutable）以及物件資料型別（some immutable and some not），且對於每一種資料型別來說，都有相對應的操作。同時一些不同的資料型別來說，一些操作是具有共性. eg:+ - 等等。同時我們還注意到一些資料型別之間可以相互轉換。但是操作以及型別之間的轉化必然帶來一些bug，這裡我們有一些檢查的機制，分為static checking and dynamic checking。顧名思義，static checking 是編譯的時候就檢查的。而dynamic checking 是在程式執行的時候檢查。
• immutable and mutable :在寫程式的時候我們在定義變數的時候，我們需要考慮清楚需要定義的資料型別是怎麼樣的。這裡的一個重要的問題就是在immutable和mutable之間做出一個抉擇。immutable型別的資料是不可變的，一旦被建立就不可以修改了。而mutable資料型別是可變的，他可以通過一些操作方法來改變其值；他們兩者具有不同的特性。immutable資料型別具有很好的健壯性。同時mutable資料型別具有良好的空間利用性。我們在使用的時候採取折中的原則。

2.2：關於對資料型別的操作和特性：這裡是通過對於方法的規約來實現方法的實現者和開發者之間的溝通的。

• 方法的規約：這裡一個是通過方法本身來實現規約的，一個是引數列表，一個是方法的說明性的documents。
• 前後置條件：前置條件是約束客戶端的，而後置條件是約束開發人員的，這裡有個規定。一般如果前置條件滿足了，那麼後置條件應該滿足。同時，這裡還會涉及到條件強弱的比較，一般前置越弱或者是後置條件月強那麼整個條件越強。