连载08：软件体系设计新方向：数学抽象设计模式系统架构与方案设计(简化版)(袁晓河著)

Posted 2020-11-20

置换的规范和度量

 所以这里可以看出置换具有统一的“可替换”属性，在第二章描述的多重继承体、包含体、包容体、以及函数对象等多个结构中其置换都具有可互联的特征，比如多重继承就是将继承置换可以通过一条链进行下去，而包含体和包容体结构则是通过继承和组合两种置换轮流进行置换，而函数对象则通过函数和类重载两种置换方式形成，所以，可以看出这些置换都是互联并且是相容的，这就表示这些置换在逻辑意义上是统一的，能够通过设置其逻辑类型来统一进行描述。

如果我们能够将这些置换进行合理的统一，当规范了不同置换下的共同点，那么我们就可以计算这些置换，也就是能够对一个软件系统中的置换进行度量，比如在一个接口中，其每一个虚函数都表示一个置换点，将这些置换点进行统计计数，其值越大，就表示其接口的置换的度量值越大，其置换的能力就越大。此时置换的度量就是我们常常称为的“势”。

当然，当前的置换如何进行规范，以及如何进行度量目前我还想的不是太明白，只是觉得如果能够进行度量，那么软件设计会真正的进入到数学模型化的时代，能够使用“量”之间的关系来衡量一个软件系统是否合理，以及其他更多更好的指导软件系统开发的结论和衡量标准，这些都是让人神往的地方。

文章标签