HIT SC blog-reuse,maintainability

软构关于复用性以及可维护性的内容讲的差不多了，写写第九章以来对我来说的一些问题、新概念以及注意的点，这里是一部分，下一篇blog会有另一部分。

首先是相当重要的LSP原则（我一般叫他lao se pi原则），可以解释为以下五个点：前置条件不能托话；后置条件不能强化；RI保持；子类型方法参数满足逆变；子类型方法返回值和异常类型满足协变。LSP一般是针对subtyping而言，但有一个奇怪的点就是子类型方法参数满足逆变，也就是参数类型比父类型更加宽泛，事实上尽管我们可以认知为override，实际上在Java中表现为overload，也就是重载。Java的重写是严格满足参数声明一致的。

泛型中的LSP。MyClass<A>和MyClass<B>都是MyClass<L>具体化，直觉上可能两者会有些许联系，事实上是没有的，即使A是B的父类，MyClass<A>和MyClass<B>也是并行的没有关系。不过二者都是MyClass<?>的子类。这里就有一个问题，泛型的?和L有什么区别。要说两者最明显的区别就是：1、 ?泛型对象是只读的，不可修改，因为?类型是不确定的，可以代表范围内任意类型；2、而泛型方法中的泛型参数对象是可修改的，因为类型参数T是确定的（在调用方法时确定），因为T可以用范围内任意类型指定。并且，? 表示一个未知类型, T 是表示一个确定的类型。 因此，无法使用 ? 像 T 声明变量和使用变量。

图表 1 使用泛型的情况

图表 2 使用通配符？情况

委托的类型。委托可以分为显式委托(A use B)和隐式委托(A has B or A owns B)。显示委托也可以说是dependency，是临时性的delegation，因为是通过方法调用相关联，因此生存周期只是方法的生命周期。隐式有三种：association、composition、aggregation。Association是典型的has a关系，将其他类作为属性存在；composition是更强的association，此时委托的类型变化和类紧绑定，类似于加上了final，不可重分配；aggregation是更弱的association，可以动态分配。

图表 3 association

图表 4 composition

图表 5 aggregation

圈复杂度。上课时提到了测定可维护性的指标之一——圈复杂度。圈复杂度（Cyclomatic complexity，CC）也称为条件复杂度，是一种衡量代码复杂度的标准，其符号为V(G)。圈复杂度可以用来衡量一个模块判定结构的复杂程度，其数量上表现为独立路径的条数，也可理解为覆盖所有的可能情况最少使用的测试用例个数。

圈复杂度有两种计算方法：点边计算法和节点判定法。

2.1、点边计算法

圈复杂度由程序的控制流图来计算：有向图的节点对应程序中个别的代码，而若一个程序运行后会立刻运行另一代码，则会有边连接另一代码对应的节点。

图表 6 图来源于知乎

如上图所示，E表示控制流图中边的数量，N表示控制流图中节点的数量。

圈复杂度的计算公式为：V(G) = E - N + 2

2.2、节点判定法

圈复杂度的计算还有另外一种更直观的方法，因为圈复杂度所反映的是“判定条件”的数量，所以圈复杂度实际上就是等于判定节点的数量再加上1。对应的计算公式为：V (G) = P + 1。其中 P 为判定节点数，常见的判定节点有：

if 语句

while 语句

for 语句

case 语句

catch 语句

and 和 or 布尔操作

? : 三元运算符

对于多分支的 case 结构或 if - else if - else 结构，统计判定节点的个数时需要特别注意：必须统计全部实际的判定节点数，也即每个 else if 语句，以及每个 case 语句，都应该算为一个判定节点。

SOLID设计原则：SRP+OCP+LSP+DIP+ISP

简单来说这几个原则就是：

SRP：一个类，一个责任；OCP：对扩展开发，对修改封闭；LSP：不说了；ISP：不依赖不需要的接口，提供必须的接口，其实就是把接口拆了；DIP：依赖于抽象，像delegation一样，通过interface创建联系而不是子类。

Regex的转义字符。如果想匹配元字符本身或者正则中的一些特殊字符，使用\转义。需要转义的字符：$, (, ), *, +, ., [, ], ?, \, ^, {, }, |。MIT阅读材料是这么阐述的：

Backslash is also used to “escape” an operator or special character so that it matches literally. Here are some of the common special characters that you need to escape:

\.  \(  \)  \*  \+  \|  \[  \]  \\

但split() 方法根据匹配给定的正则表达式来拆分字符串。转义字符必须得加 \\。而MIT的regex中只有一个\，可能正则表达式只有一个，split有两个吧，我是这么猜想的。然后值得注意的是split(“\\\\”)实质是按‘\’划分。

大概先写这么多，下一篇就是reuse和maintainability剩下的以及exception。