使用范例来编写小巧的函数
我们都希望编写正确的代码,并且有确实的证据来证明代码是正确的,它可以帮助解决考虑函数“大小”的两个问题。不仅是实现一个函数的代码量意义上的,尽管那很有趣,更是我们的代码构建的数学上的功能的大小。
例如,在围棋中有一个“叫吃”的状态,这个状态下棋手的子可能被对方吃掉:一颗子如果有两个或者更多的空余连通(叫做“气”)则不是叫吃状态。计算一颗子有多少气可能很复杂,但当知道气数后判断是否为叫吃状态却很容易。我们一开始可能写出如下函数:
boolean atari(int libertyCount)
libertyCount < 2
这比它看起来要大。一个数学函数可以理解为其作用域(这里是 int)和值域(这里是 boolean)的笛卡尔积集合或者它的某个子集。如果这些集合的值和java中的一样大的话,int × boolean的集合中就会有2L*(Integer.MAX_VALUE+(-1L*Integer.MIN_VALUE)+1L) 或者8,589,934,592个成员。这些成员中的一半组成的子集就是我们的函数,因而要提供我们函数正确的完整证据需要检查4.3×109个范例。
这就是测试不能证明bug不存在性的声明的本质,尽管测试可以认证特性的存在性。但我们仍然有大小的问题,而问题的领域可以帮助我们解决。围棋本身决定了一个子的气的个数都不是任意int值,而是{1, 2, 3, 4}中的任意一个。于是我们可改写为:
LibertyCount = {1,2,3,4}
boolean atari(LibertyCount libertyCount)
libertyCount == 1
这样就更容易处理了:函数计算的是最多八个元素的集合。实际上,四个检查的范例即可构成确认函数完全函数正确的证据。这就是为什么使用领域相关的类型而不是原生类型来编写程序是个好主意的原因之一。使用领域相关的类型可以让我们的函数更小。如何找到这些类型的一个方法是,在编写函数之前,找到检查问题领域的范例。
原文:Write Small Functions Using Examples by Keith Braithwaite