連載08：軟體體系設計新方向：數學抽象、設計模式、系統架構與方案設計(簡化版)(袁曉河著)

置換的規範和度量

 是以這裡可以看出置換具有統一的“可替換”屬性，在第二章描述的多重繼承體、包含體、包容體、以及函數對象等多個結構中其置換都具有可互聯的特征，比如多重繼承就是将繼承置換可以通過一條鍊進行下去，而包含體和包容體結構則是通過繼承群組合兩種置換輪流進行置換，而函數對象則通過函數和類重載兩種置換方式形成，是以，可以看出這些置換都是互聯并且是相容的，這就表示這些置換在邏輯意義上是統一的，能夠通過設定其邏輯類型來統一進行描述。

如果我們能夠将這些置換進行合理的統一，當規範了不同置換下的共同點，那麼我們就可以計算這些置換，也就是能夠對一個軟體系統中的置換進行度量，比如在一個接口中，其每一個虛函數都表示一個置換點，将這些置換點進行統計計數，其值越大，就表示其接口的置換的路徑成本越大，其置換的能力就越大。此時置換的度量就是我們常常稱為的“勢”。

當然，目前的置換如何進行規範，以及如何進行度量目前我還想的不是太明白，隻是覺得如果能夠進行度量，那麼軟體設計會真正的進入到數學模型化的時代，能夠使用“量”之間的關系來衡量一個軟體系統是否合理，以及其他更多更好的指導軟體系統開發的結論和衡量标準，這些都是讓人神往的地方。