超级苦工
阅读 65
Character Specifications for A Word in Golang

序言

两个月前,笔者有幸参加了一次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的条件判断外,其余代码都一样,所以我们使用抽象这个强大的屠龙刀来消除重复:

  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)
...

小结

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

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

分类 谓词
原子语义 IsDigit
IsUpper
Equals
IsSpace
修饰语义 Not
IgnoreCase
组合语义 AnyOf
AllOf

它的领域模型如下所示:

char-spec.png
char-spec.png
评论
相关推荐
asdfasfdfd

asdfasdfsafd...

asdfafsdfsad

function sdf(){ echo &quot;sdffsdfds&quot;; }...

阿萨德飞

sdflkllsfdkj nihao...

【Golang+mysql】记一次mysql数据库迁移(一)

【Golang+mysql】记一次mysql数据库迁移(一) 文章地址:https://github.com/stayfoo/stayfoo-hub 一、准备 目标: 腾讯云 CVM 自建 mysql...

米粒社区系统什么部署?

发现现在一些功能还没开发或上线,不过感觉这个社区系统很强大,期待期待...

不错的网站

ceshi ceshi...

[译]想成为一个出色的Web工程师?学Golang而非Node.js。

原文: https://medium.com/codezillas/want-to-be-a-best-web-developer-learn-golang-not-node-js-69b4166d1...

跟我一起学习gRPC

扫描二维码,点击源码阅读菜单,跟我一起学习gRPC...

这个项目还会更新吗

这个项目github上1年多没有更新了...

golang123报错问题

报图上错误,怎么解...

【开源】gnet: 一个轻量级且高性能的 Golang 网络库

Github 主页 https://github.com/panjf2000/gnet 简介 gnet 是一个基于 Event-Loop 事件驱动的高性能和轻量级网络库。这个库直接使用 epoll 和...

t2

tttttttttttttttttttttttt...

test

123456789...

读 "优雅关闭的 Go Web 服务器"

读 &quot;优雅关闭的 Go Web 服务器&quot; GitHub 仓库:https://github.com/stayfoo/stayfoo-hub 文章《优雅的关闭 Go Web 服务器》...

golang123监控安装配置

有问题同学将golang123的源码中的statsD安装配置成功的,分享一下配置过程呗。...

Golang Modules官方包管理

1 设置环境变量 GO111MODULE=auto2 初始化项目 go mod init my_project3 针对国外无法访问的包设置代理 GOPROXY=https://goproxy.io其他...

猎豹移动,直播业务,招聘 Golang 工程师【北京】

我的微信是 legenove, 邮箱是 liuguoyang@cmcm.com 我是这个团队的 leader,直接给自己团队招聘。 职位要求: 1.熟练掌握 Golang 语言,并有 2 年以上中大型...

部署后登录 Request failed with status code 404

Request failed with status code 404 怎么解决...

[深圳 梦享网路 ] Golang开发工程师招聘

岗位介绍 ** 如有意向:请联系: 陈小姐:TEL:18620870779 邮箱:chenpeiwen@clickwifi.net ** 办公地点:深圳市南山区软件产业基地科园路中科纳能大厦A栋403...

golang + qt5 开发的百度网盘不限速客户端

百度网不限速客户端,使用golang + qt5 开发,跨平台。代码注释详细,并有附有开发文档,gopher们快来支持下吧 官网: https://github.com/peterq/pan-ligh...