当函数成为一等公民时,设计模式的变化

简介: 当函数成为一等公民时,设计模式的变化

GOF提出的设计模式,其本质思想是封装变化。故而,创建型模式封装的是对象创建的变化,结构型模式封装的是对象之间的协作与组合结构,行为型模式则封装了对象行为的变化。所谓“行为”,不正是函数所能要表达的吗?


函数的抽象能力


从函数的抽象角度看,任何行为都可以理解为是一个对类型进行转换的函数,这是FP思想对OO设计模式的最大冲击。例如Strategy模式与Command模式,前者封装了算法策略的变化,后者则封装了命令请求的变化。无论算法策略,还是命令请求,都可以表现为一个函数。

譬如说将各种四则运算看做是一种算法策略,为了应对具体计算的变化,在Java中我们应该定义四则运算的策略接口:

public interface Strategy {  
    int compute(int a, int b);  
} 
public class Context  {  
    private final Strategy strategy;  
    public Context(Strategy strategy) {
        this.strategy = strategy;
    }  
    public void use(int a, int b) {
        strategy.compute(a, b);
    }  
}

接收两个整数,然后经过计算返回一个整数。显然,四则运算的调用者其实关注的不是Strategy这个接口,而是compute这个行为。跟进一步,调用者其实关注的是将两个整数转换为一个整数的行为,他并不关心接口是什么,函数名有是什么,而是关注f(a, b) = c这个函数。于是,在Scala中,策略模式的实现就变为:

class Context(f: (Int, Int) => Int) {  
  def use(a: Int, b: Int): Int =  f(a, b)  
}

当然,你可以可以为这个函数定义一个类型,使其更加表意:

type Stategy = (Int, Int) => Int

当然,如果面对的是一组策略行为的封装,且这些策略行为的变化是一致的,使用一个接口将这些行为封装起来,在重用和表意角度讲,似乎又比单纯使用函数更佳。Scala提供OO与FP两种范式,算是一种骑墙的取巧,程序员需要依势而为。Scala给你提供了丰富而精彩的食材,如果你没有将菜做得色香味俱全,不能怪食材不好,还是自己太烂了。

Scala还提供了一种类似block的机制,称之为by name call。它接受的是一个语句块,而非函数类型。所以要注意这种形式与无参函数的区别。此外,by name call同时还具有延迟调用的能力。例如,当我们定义一个invoke函数接受一个无传入参数的函数时:

def invoke(f: () => Unit) = f()

如果你向invoke传入println("scala"),scala会报告错误:

image.png

这是因为println("scala")返回的是Unit类型,而不是() => Unit函数类型。使用by name call就没有这个问题:

image.png

f: => Unit是一个语句块,所以不能像函数那样调用。我们可以使用这种方式来快捷实现Command模式。

由于Java 8已经支持Lambda表达式,虽然它仍然不支持高阶函数,但是作为Java程序员,仍然有必要培养函数抽象的能力与习惯。在Java 8中使用Lambda,不仅让语法变得简洁,还可以让调用者可以脱离对具体某个接口的依赖,而仅仅依赖函数的抽象特征。


函数的组合能力


FP的编程思想中,除了高阶函数(包括Curry等)具有的抽象能力之外,还有一个好处是提供组合子能力。落实到Scala的语法上,就是偏函数(Partial Function)的andThencomposeorElse

Pavel Fatin在文章Design Patterns in Scala》用OO设计模式中的Chain of Responsibility(职责链)模式来对比组合子,其实还是比较牵强的。或者说,FP思想中的组合子远远比职责链模式更强大。在Elixir语言中,甚至还提供了管道操作符>|来实现这种函数的组合。而我在博客《Scala中的Partial Function》中已经非常详解地介绍了Scala的偏函数,大家可以移步阅读。

如果真要对比,那么结合Scala的语法来看,则orElse可以非常方便地模拟职责链模式,而andThen则近似于管道-过滤器模式。其实我在OO语言中,很少运用GOF标志的职责链模式,也就是当寻找到具体职责的承担者时,履行职责后即可退出的方式;而是对这种模式进行调整,让其在履行职责后继续执行next的职责,又近乎于管道-过滤器了。

所以说,设计模式的运用妙乎于心,讲究应势而变。在融入FP思想后,要从本质思想去面对这些模式,不拘泥于OO还是FP,似乎才是未来编程的取舍之道。


◑ 这次特别选择了赵雷在歌手中演唱的《理想》。相对于那首满街泛滥的《成都》,其实我更喜欢这首沧桑略带着自白性质的忧伤歌曲,甚至被这首歌所打动。

相关文章
|
3月前
|
设计模式 存储 算法
PHP中的设计模式:策略模式的深入解析与应用在软件开发的浩瀚海洋中,PHP以其独特的魅力和强大的功能吸引了无数开发者。作为一门历史悠久且广泛应用的编程语言,PHP不仅拥有丰富的内置函数和扩展库,还支持面向对象编程(OOP),为开发者提供了灵活而强大的工具集。在PHP的众多特性中,设计模式的应用尤为引人注目,它们如同精雕细琢的宝石,镶嵌在代码的肌理之中,让程序更加优雅、高效且易于维护。今天,我们就来深入探讨PHP中使用频率颇高的一种设计模式——策略模式。
本文旨在深入探讨PHP中的策略模式,从定义到实现,再到应用场景,全面剖析其在PHP编程中的应用价值。策略模式作为一种行为型设计模式,允许在运行时根据不同情况选择不同的算法或行为,极大地提高了代码的灵活性和可维护性。通过实例分析,本文将展示如何在PHP项目中有效利用策略模式来解决实际问题,并提升代码质量。
|
设计模式 JSON 前端开发
前端面试必看(手写Promise+js设计模式+继承+函数柯里化等)JavaScript面试全通关(1/3)
前端面试必看(手写Promise+js设计模式+继承+函数柯里化等)JavaScript面试全通关(1/3)
79 0
|
设计模式
单子设计模式 (对创建初始对象为静态,构造函数私有,返回值为对象的创建函数,private应用)
单子设计模式 (对创建初始对象为静态,构造函数私有,返回值为对象的创建函数,private应用)
单子设计模式 (对创建初始对象为静态,构造函数私有,返回值为对象的创建函数,private应用)
|
设计模式 C++ 容器
C++设计模式之SFINAE:用来检测类中是否有某个成员函数
针对类中特定成员函数的检测其实在工作中也可能用到。C++中可以用SFINAE技巧达到这个目的。
516 0
C++设计模式之SFINAE:用来检测类中是否有某个成员函数
|
安全 Java 设计模式
JAVA之旅(十四)——静态同步函数的锁是class对象,多线程的单例设计模式,死锁,线程中的通讯以及通讯所带来的安全隐患,等待唤醒机制
JAVA之旅(十四)——静态同步函数的锁是class对象,多线程的单例设计模式,死锁,线程中的通讯以及通讯所带来的安全隐患,等待唤醒机制 一.静态同步函数的锁是class对象 我们在上节验证了同步函数的锁是this,但是对于静态同步函数,你又知道多少呢? 我们做一个这样的小实验,我们给show.
1430 0
|
JavaScript 前端开发 设计模式
《JavaScript设计模式》——1.2 函数的另一种形式
“从功能上讲当然没问题,但是今天你加入了我们的团队,在团队开发中你所写的代码就不能只考虑自己了,也要考虑不影响到他人,如果别人也定义了同样的方法就会覆盖掉原有的功能了。如果你定义了很多方法,这种相互覆盖的问题是很不容易察觉到的。”
1261 0
|
安全 Java 设计模式
JAVA之旅(十四)——静态同步函数的锁是class对象,多线程的单例设计模式,死锁,线程中的通讯以及通讯所带来的安全隐患,等待唤醒机制
JAVA之旅(十四)——静态同步函数的锁是class对象,多线程的单例设计模式,死锁,线程中的通讯以及通讯所带来的安全隐患,等待唤醒机制 JAVA之旅,一路有你,加油! 一.
811 0
|
1月前
|
设计模式 安全 Java
Kotlin教程笔记(51) - 改良设计模式 - 构建者模式
Kotlin教程笔记(51) - 改良设计模式 - 构建者模式
|
3月前
|
设计模式 数据库连接 PHP
PHP中的设计模式:提升代码的可维护性与扩展性在软件开发过程中,设计模式是开发者们经常用到的工具之一。它们提供了经过验证的解决方案,可以帮助我们解决常见的软件设计问题。本文将介绍PHP中常用的设计模式,以及如何利用这些模式来提高代码的可维护性和扩展性。我们将从基础的设计模式入手,逐步深入到更复杂的应用场景。通过实际案例分析,读者可以更好地理解如何在PHP开发中应用这些设计模式,从而写出更加高效、灵活和易于维护的代码。
本文探讨了PHP中常用的设计模式及其在实际项目中的应用。内容涵盖设计模式的基本概念、分类和具体使用场景,重点介绍了单例模式、工厂模式和观察者模式等常见模式。通过具体的代码示例,展示了如何在PHP项目中有效利用设计模式来提升代码的可维护性和扩展性。文章还讨论了设计模式的选择原则和注意事项,帮助开发者在不同情境下做出最佳决策。
|
1月前
|
设计模式 开发者 Python
Python编程中的设计模式:工厂方法模式###
本文深入浅出地探讨了Python编程中的一种重要设计模式——工厂方法模式。通过具体案例和代码示例,我们将了解工厂方法模式的定义、应用场景、实现步骤以及其优势与潜在缺点。无论你是Python新手还是有经验的开发者,都能从本文中获得关于如何在实际项目中有效应用工厂方法模式的启发。 ###