Character Specifications for A Word in 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的条件判断外，其余代码都一样，所以我们使用抽象这个强大的屠龙刀来消除重复:

1. 定义一个接口CharSpec，作为所有字符谓词的抽象，方法Satisfy用来判断谓词是否为真

2. 针对需求一定义具有原子语义的谓词IsDigit

3. 针对需求二定义具有原子语义的谓词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的建议，应用开放封闭原则，于是也就写出了普通程序员在需求二中消除重复后的代码。

殊途同归，这并不是巧合，而是有理论依据。

我们一起回顾一下 袁英杰先生 提出的正交设计四原则：

1. 一个变化导致多处修改：消除重复

2. 多个变化导致一处修改：分离不同的变化方向

3. 不依赖不必要的依赖：缩小依赖范围

4. 不依赖不稳定的依赖：向着稳定的方向依赖

这四个原则的提出是针对简单设计四原则中的第二条“消除重复”，使得目标的达成有章可循。我们应用正交设计四原则，可以将系统分解成很多单一职责的小类（也有一些小函数），然后再将它们根据需要而灵活的组合起来。

细细品味正交设计四原则，你就会发现：第一条是被动策略，而后三条是主动策略。这就是说，第一条是一种事后补救的策略，而后三条是一种事前预防的策略，目标都是为了消除重复。

从上面的分析可以看出，普通的程序员习惯使用被动策略，而经验丰富的程序员更喜欢使用主动策略。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前增加一个修饰语义Not，Not修饰谓词后是一个新的谓词，代码实现如下：

type Not struct {
    spec CharSpec
}

fun (n Not) Satisfy(c rune) bool {    return !n.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 := Not{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为Not{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{}, Not{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)
...

小结

在需求的实现过程中，我们不断应用正交设计四原则，最终得到了很多小类（也有一些小函数），再通过组合来完成一个个既定需求，不但领域表达力强，而且非常灵活，容易应对变化。

字符的谓词是本文的重点，有以下三类

它的领域模型如下所示：

char-spec.png

作者：_张晓龙_
链接：https://www.jianshu.com/p/18f02229fdd3