序言
两个月前,笔者有幸参加了一次Code Retreat活动,主要负责点评Golang小组的代码,整个过程很有收获,尤其到了活动的最后,重量级大咖 刘光聪 分享了他C++版和Scala版的作品,让人大呼过瘾,于是就有了一个实现Golang版作品的想法。
恰巧笔者当时正在启动撰写Golang单元测试相关的系列文章,所以这个事情就暂时搁浅了,直到完成了已计划的四篇文章。毕竟两个月过去了,Code Retreat活动中需求演进的一些细节有些遗忘,于是查看简书,找到了相关的文章,即 刘光聪 同学的经典文章《应用正交设计与组合式设计》,认真学习后感觉很有价值,立即开启了Golang版的实现之旅。
需求一:判断某个单词是否包含数字
这个需求比较简单,代码实现如下:
func HasDigit(word string) bool {
for _, c := range word {
if unicode.IsDigit(c) {
return true
}
}
return false
}
需求二:判断某个单词是否包含大写字母
有了需求一的基础后,可以通过copy-paste快速实现需求二:
func HasDigit(word string) bool {
for _, c := range word {
if unicode.IsDigit(c) {
return true
}
}
return false
}
func HasUpper(word string) bool {
for _, c := range str {
if unicode.IsUpper(c) {
return true
}
}
return false
}
很明显,HasDigit函数和HasUpper函数除过if的条件判断外,其余代码都一样,所以我们使用抽象这个强大的屠龙刀来消除重复:
- 定义一个接口CharSpec,作为所有字符谓词的抽象,方法Satisfy用来判断谓词是否为真
- 针对需求一定义具有原子语义的谓词IsDigit
- 针对需求二定义具有原子语义的谓词IsUpper
谓词相关代码实现如下:
type CharSpec interface {
Satisfy(c rune) bool
}
type IsDigit struct {
}
func (i IsDigit) Satisfy(c rune) bool {
return unicode.IsDigit(c)
}
type IsUpper struct {
}
func (i IsUpper) Satisfy(c rune) bool {
return unicode.IsUpper(c)
}
要完成需求,还必须将谓词注入给单词的Has语义函数,而Exists具有Has语义,同时表达力很强:
func Exists(word string, spec CharSpec) bool {
for _, c := range word {
if spec.Satisfy(c) {
return true
}
}
return false
}
通过Exists判断某个单词word是否包含数字:
isDigit := IsDigit{}
ok := Exists(word, isDigit)
...
通过Exists判断某个单词word是否包含大写字母:
isUpper := IsUpper{}
ok := Exists(word, isUpper)
...
其实需求二的故事还没完:)
对于普通的程序员来说,能完成上面的代码已经很好了,而对于经验丰富的程序员来说,在需求一刚完成后就发现了新的变化方向,即单词的Has语义和字符的Is语义是两个变化方向,所以在需求二开始前就通过重构分离了变化方向:
type IsDigit struct {
}
func (i IsDigit) Satisfy(c rune) bool {
return unicode.IsDigit(c)
}
func Exists(word string, spec IsDigit) bool {
for _, c := range word {
if spec.Satisfy(c) {
return true
}
}
return false
}
通过Exists判断某个单词word是否包含数字:
isDigit := IsDigit{}
ok := Exists(word, isDigit)
...
在需求二出来后,谓词被第一颗子弹击中,我们根据Uncle Bob的建议,应用开放封闭原则,于是也就写出了普通程序员在需求二时消除重复后的代码。
殊途同归,这并不是巧合,而是有理论依据。
我们一起回顾一下 袁英杰先生 提出的正交设计四原则:
- 一个变化导致多处修改:消除重复
- 多个变化导致一处修改:分离不同的变化方向
- 不依赖不必要的依赖:缩小依赖范围
- 不依赖不稳定的依赖:向着稳定的方向依赖
这四个原则的提出是为了使得实现简单设计四原则中的第二条“消除重复”的目标而具有更明确的实践指导性。我们应用正交设计四原则,可以将系统分解得到很多单一职责的小类,然后再将它们根据需要而灵活的组合起来。
细细品味正交设计四原则,你就会发现:第一条是被动策略,而后三条是主动策略。这就是说,第一条是一种事后补救的策略,而后三条是一种事前预防的策略,目标都是为了消除重复。
从上面的分析可以看出,普通的程序员更擅长使用被动策略,而经验丰富的程序员更擅长使用主动策略。Anyway,他们殊途同归,都消除了重复。
需求三:判断某个单词是否包含_
不管是包含下划线还是中划线,都有原子语义Equals,我们将代码快速实现:
type Equals struct {
c rune
}
func (e Equals) Satisfy(c rune) bool {
return c == e.c
}
通过Exists判断某个单词word是否包含_:
isUnderline := Equals{'_'}
ok := Exists(word, isUnderline)
...
需求四:判断某个单词是否不包含_
字母是下划线的谓词是Equals,那么字母不是下划线的谓词就是给Equals前增加一个修饰语义IsNot,IsNot修饰谓词后是一个新的谓词,代码实现如下:
type IsNot struct {
spec CharSpec
}
func (i IsNot) Satisfy(c rune) bool {
return !i.spec.Satisfy(c)
}
单词不包含下划线,就不是Exists语义了,而是ForAll语义,代码实现如下:
func ForAll(word string, spec CharSpec) bool {
for _, c := range str {
if !spec.Satisfy(c) {
return false
}
}
return true
}
通过ForAll判断某个单词word是否不包含_:
isNotUnderline := IsNot{Equals{'_'}}
ok := ForAll(word, isNotUnderline)
...
功能虽然实现了,但是我们发现Exists函数和ForAll函数有很多代码是重复的,使用重构基本手法Extract Method:
func expect(word string, spec CharSpec, ok bool) bool {
for _, c := range word {
if spec.Satisfy(c) == ok {
return ok
}
}
return !ok
}
func Exists(word string, spec CharSpec) bool {
return expect(word, spec, true)
}
func ForAll(word string, spec CharSpec) bool {
return expect(word, spec, false)
}
需求五:判断某个单词是否包含_或者*
字母是x或y的谓词具有组合语义AnyOf,其中x为Equals{'_'},y为Equals{'*'},代码实现如下:
type AnyOf struct {
specs []CharSpec
}
func (a AnyOf) Satisfy(c rune) bool {
for _, spec := range a.specs {
if spec.Satisfy(c) {
return true
}
}
return false
}
通过Exists判断某个单词word是否包含_或*:
isUnderlineOrStar := AnyOf{[]CharSpec{Equals{'_'}, Equals{'*'}}}
ok := Exists(word, isUnderlineOrStar)
...
需求六:判断某个单词是否包含空白符,但除去空格
空白符包括空格、制表符和换行符等,具体见下面代码:
func IsSpace(r rune) bool {
// This property isn't the same as Z; special-case it.
if uint32(r) <= MaxLatin1 {
switch r {
case '\t', '\n', '\v', '\f', '\r', ' ', 0x85, 0xA0:
return true
}
return false
}
return isExcludingLatin(White_Space, r)
}
字母是空白符的谓词还没有实现,我们定义具有原子语义的谓词IsSpace:
type IsSpace struct {
}
func (i IsSpace) Satisfy(c rune) bool {
return unicode.IsSpace(c)
}
字母是x和y的谓词具有组合语义AllOf,其中x为IsSpace,y为IsNot{Equals{' '}},代码实现如下:
type AllOf struct {
specs []CharSpec
}
func (a AllOf) Satisfy(c rune) bool {
for _, spec := range a.specs {
if !spec.Satisfy(c) {
return false
}
}
return true
}
通过Exists判断某个单词word是否包含空白符,但除去空格:
isSpaceAndNotBlank := AllOf{[]CharSpec{IsSpace{}, IsNot{Equals{' '}}}}
ok := Exists(word, isSpaceAndNotBlank)
...
需求七:判断某个单词是否包含字母x,且不区分大小写
不区分大小写是一种具有修饰语义的谓词IgnoreCase,代码实现如下:
type IgnoreCase struct {
spec CharSpec
}
func (i IgnoreCase) Satisfy(c rune) bool {
return i.spec.Satisfy(unicode.ToLower(c))
}
通过Exists判断某个单词word是否包含字母x,且不区分大小写:
isXIgnoreCase := IgnoreCase{Equals{'x'}}
ok := Exists(word, isXIgnoreCase)
...
小结
在需求的实现过程中,我们不断应用正交设计四原则,从而得到了很多小类或小函数,再通过组合来完成一个个既定需求,不但领域表达力强,而且非常灵活,容易应对变化。
字母的谓词是本文的重点,有以下三类
分类 | 谓词 |
---|---|
原子语义 | IsDigit IsUpper Equals IsSpace |
修饰语义 | IsNot IgnoreCase |
组合语义 | AnyOf AllOf |
它的领域模型如下所示:
有疑问加站长微信联系(非本文作者)