AI 助理
备案控制台
开发者社区 开发与运维 文章 正文

Scalaz（16）－ Monad：依赖注入－Dependency Injection By Reader Monad

2016-04-18 1542
版权
版权声明：
本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《 阿里云开发者社区用户服务协议》和 《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写 侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
简介：

在上一篇讨论里我们简单的介绍了一下Cake Pattern和Reader Monad是如何实现依赖注入的。主要还是从方法上示范了如何用Cake Pattern和Reader在编程过程中解析依赖和注入依赖。考虑到依赖注入模式在编程中的重要性和普遍性，觉着还需要再讨论的深入一些，使依赖注入模式在FP领域里能从理论走向实际。既然我们正在scalaz的介绍系列里，所以这篇我们就着重示范Reader Monad的依赖注入方法。

  再说明一下依赖注入：我们说过在团队协作开发里能够实现软件模块的各自独立开发，原理首先是实现软件模块之间的松散耦合（decoupling）。对依赖注入的学术定义如下：Dependency Inversion Principle

1、上层模块不应该依赖下层模块，反之亦然。它们之间不应该有直接的代码引用。它们应该都依赖一个抽象的中间层，也就是共享接口（interface）。

2、抽象层不应该依赖实现细节，而细节实现则必须依赖抽象层。大家都按照共享的抽象层进行实现细节编程。

这两条足够解释何为软件模块松散耦合以及具体编码的要求了。这样来说不仅在团队协同开发，即使在个人独立开发环境下依赖注入模式也能发挥良好的作用。一是可以按需要把软件切分成功能模块独立编程。通过依赖注入模式，当下层模块进行了调整后是不会影响上层模块的；上层模块可以随时连接不同的下层功能模块实现不同的功能，比如连接一些测试环境实现上层模块的独立测试。

下面我们还是取用上期的示范例子，由简入深，逐步说明Reader依赖注入的原理、组合、结构设计：

还说那个咖啡机例子：包括了一个开关设备、咖啡感应器；如果感应到壶里有咖啡的话，按下开关咖啡机可以开启加热。

下面是功能抽象描述，它们是按照开发条件和环境需要进行具体细分的。细分程度要确保每项功能都可以独立完成编程。


trait OnOffDevice {
    def on: Unit
    def off: Unit
  }
  trait SensorDevice {
    def isCoffeePresent: Boolean
  }

这就是一个抽象层。所有开发人员都必须按照这层的功能描述来编程，所谓编程细节依赖与抽象层要求。

我们现在就可以不用理会以上功能是否已经实现，立即进入上层模块的功能组合了。我们只需要申明依赖项目，先从最简单的开始，假如我现在只需要引用OnOffDevice一项依赖的话，可以在伴生对象（companion object）这样申明操作Reader（primitive reader）：


1 object OnOffDevice {
2   def on: Reader[OnOffDevice, String] = Reader(_.on)
3   def off:  Reader[OnOffDevice, String] = Reader(_.off)
4 }

由于只有一个依赖，我们可以直接申明功能Reader,把on,off两个函数变成Primitive Reader。假如我们需要函数运算结果的话，只要注入OnOffDevice实例。由于Reader是个Monad，我们可以用map这样写： 


1 object OnOffDevice {
2   def onOffDevice: Reader[OnOffDevice,OnOffDevice] = Reader(identity)
3   def on: Reader[OnOffDevice,String] = onOffDevice map { _.on }
4   def off: Reader[OnOffDevice,String] = onOffDevice map { _.off }
5 }

我们用identity构建了一个基础（primitive）Reader，然后以这个基础Reader用map组合成我们需要的功能函数Reader。现在的on,off函数款式（signature）和前面的定义是一样的。现在我们可以实现这些Reader功能： 


object OnOffService {
    def on = for {
        ison <- OnOffDevice.on
    } yield ison
    def off = for {
        isoff <- OnOffDevice.off
    } yield isoff
}

我们抽象化了OnOffDevice，不需要实现依赖项目就可以直接使用这些Reader功能函数： 


1 ef trigger = OnOffService.on      //> trigger: => scalaz.Kleisli[scalaz.Id.Id,OnOffDevice,String］

假如现在实现了OnOffDevice实例： 


1 class OnOffDeviceImpl extends OnOffDevice {
2     def on = "MockDevice.On"
3     def off = "MockDevice.Off"
4 }

我们可以在最终运行中注入实现的依赖实例来获取最终结果： 


1 object MockOnOffDevice extends OnOffDeviceImpl
2 def trigger = OnOffService.on                     //> trigger: => scalaz.Kleisli[scalaz.Id.Id,Exercises.reader1.OnOffDevice,String
3                                                   //| ]
4 val result = trigger(MockOnOffDevice)             //> result  : scalaz.Id.Id[String] = SomeDevice.On
5 result === "SomeDevice.On"                        //> res0: Boolean = true

我们看到，对运算结果注入依赖实例后就能得出具体的运算值。

那如果我们需要两项依赖呢？


trait OnOffDevice {
    def on: String
    def off: String
}
trait SensorDevice {
    def isCoffeePresent: Boolean
}

我们可以把两个依赖组成一个更大的功能，一个更高一层的依赖： 



rait Device { //高层组合依赖
  def onOffDevice: OnOffDevice     //具体依赖
  def sensorDevice: SensorDevice   //具体依赖
}
object Device {
  val device = Reader[Device,Device](identity)
  val onOffDevice = device map {_.onOffDevice}
  val sensorDevice = device map {_.sensorDevice}
}

所有Reader的注入依赖现在变成Device类型了。依赖的功能Reader变成这样： 


object OnOffDevice {
import Device.onOffDevice
    def on: Reader[Device,String] = onOffDevice map { _.on }
    def off: Reader[Device,String] = onOffDevice map { _.off }
}
object SensorDevice {
import Device.sensorDevice
  def isCoffeePresent: Reader[Device,Boolean] = sensorDevice map { _.isCoffeePresent }
}

我们看到原来的Reader实现细节编码是不需要改变的，如OnOffService。
假设我们获得了下面的功能实现程序： 


class OnOffDeviceImpl extends OnOffDevice {
    def on = "SomeDevice.On"
    def off = "SomeDevice.Off"
}
class SensorDeviceImpl extends SensorDevice {
    def isCoffeePresent = true
}

由于这次的依赖注入是Device类型的，所以我们需要获取Device实例用来注入到结果Reader： 


object MockOnOffDevice extends OnOffDeviceImpl
object MockSensorDevice extends SensorDeviceImpl
trait DeviceImpl extends Device {
    def onOffDevice = new OnOffDevice {
        def on = MockOnOffDevice.on
        def off = MockOnOffDevice.off
    }
    def sensorDevice = new SensorDevice {
        def isCoffeePresent = MockSensorDevice.isCoffeePresent
    }
}

现在这个DeviceImpl是一个Device实例，我们可以把它注入到Reader得出运算结果，还是先运行上面的例子： 


1 object MockDevice extends Device with DeviceImpl
2 def trigger = OnOffService.on                     //> trigger: => scalaz.Kleisli[scalaz.Id.Id,Exercises.reader2.Device,String]
3 val result = trigger(MockDevice)                  //> result  : scalaz.Id.Id[String] = SomeDevice.On

这次是用Device实例注入得出结果的。

我们还可以把依赖项目独立分别定义，这样可以更灵活的组合Device：


trait OnOffComponent {
    def onOffDevice: OnOffDevice
}
trait SensorComponent {
    def sensorDevice: SensorDevice
}
trait Device extends OnOffComponent with SensorComponent

这样我们可以把两个依赖分开来格式化后组合成Device实例，因为我们的注入依赖现在是Device类型的了： 


object MockOnOffDevice extends OnOffDeviceImpl
object MockSensorDevice extends SensorDeviceImpl
trait OnOffFunctions extends OnOffComponent {
    def onOffDevice = MockOnOffDevice
}
trait SensorFunctions extends SensorComponent {
  def sensorDevice = MockSensorDevice
}

完成了Device实例的组合后可以通过注入Device实例来得取运算结果： 


object MockDevice extends Device with OnOffFunctions with SensorFunctions
def trigger =
  if (SensorService.isCoffeePresent(MockDevice))
     OnOffService.on(MockDevice)
  else
     OnOffService.off(MockDevice)                 //> trigger: => scalaz.Id.Id[String]
trigger                                           //> res0: scalaz.Id.Id[String] = SomeDevice.On

如果换另一个版本的SensorDevice实现： 


1 class SensorDeviceImpl extends SensorDevice {
2     def isCoffeePresent = false
3 }

重新运行： 


object MockDevice extends Device with OnOffFunctions with SensorFunctions
def trigger =
  if (SensorService.isCoffeePresent(MockDevice))
     OnOffService.on(MockDevice)
  else
     OnOffService.off(MockDevice)                 //> trigger: => scalaz.Id.Id[String]
trigger                                           //> res0: scalaz.Id.Id[String] = SomeDevice.Off

正确反应了新的运算结果。

从以上的示范中我们看到了依赖的层次结构以及Reader搭配。我们可以用多层结构来精简基础Reader。但多层式的依赖结构统一了注入依赖类型，最后注入时就无法拆分依赖类型，又会弱化依赖的组合灵活性。所以在组织依赖时应该注意确定在自己的程序中将会使用到所有依赖。这样调用统一的一种注入类型就足够了。

下面再增添多一个依赖：增加一个电源制式检测功能，只有US制式的电源才能启动咖啡机。现在全部功能的抽象描述如下：


trait OnOffDevice {
    def on: String
    def off: String
}
trait SensorDevice {
    def isCoffeePresent: Boolean
}
trait PowerConfig {
  def getPowerVolts(country: String): Int
  def isUSStandard(volt: Int): Boolean
}

我们再试试增加多一层结构： 


trait Device extends OnOffComponent with SensorComponent
trait DeviceComponent {
    def onOffDevice: OnOffDevice
    def sensorDevice: SensorDevice
}
trait PowerComponent {
    def powerConfig: PowerConfig
}
trait Appliance extends DeviceComponent with PowerComponent
object Appliance {
  val appliance = Reader[Appliance,Appliance](identity)
  val onOffDevice = appliance map {_.onOffDevice}
  val sensorDevice = appliance map {_.sensorDevice}
  val powerConfig = appliance map {_.powerConfig}
}

Appliance是更高层依赖。

下面还是保留了原来的Reader实现编码不变，除了import：


object OnOffDevice {
import Appliance.onOffDevice
    def on: Reader[Appliance,String] = onOffDevice map { _.on }
    def off: Reader[Appliance,String] = onOffDevice map { _.off }
}
object SensorDevice {
import Appliance.sensorDevice
  def isCoffeePresent: Reader[Appliance,Boolean] = sensorDevice map { _.isCoffeePresent }
}
object PowerConfig {
import Appliance.powerConfig
    def getPowerVolts(country: String) = powerConfig map {_.getPowerVolts(country)}
    def isUSStandard(volts: Int) = powerConfig map {_.isUSStandard(volts)}
}

现在注入依赖的类型变成了Appliance。原来Reader功能实现代码还是不用改变： 


object OnOffService {
    def on = for {
        ison <- OnOffDevice.on
    } yield ison
    def off = for {
        isoff <- OnOffDevice.off
    } yield isoff
}
object SensorService {
    def isCoffeePresent = for {
        hasCoffee <- SensorDevice.isCoffeePresent
    } yield hasCoffee
}
object PowerService {
    def isUSStandard(country: String) = for {
        is110v <- PowerConfig.getPowerVolts(country)
        isUSS <- PowerConfig.isUSStandard(is110v)
    } yield isUSS
}

假如增加了新功能实现程序： 


class OnOffDeviceImpl extends OnOffDevice {
    def on = "SomeDevice.On"
    def off = "SomeDevice.Off"
}
class SensorDeviceImpl extends SensorDevice {
    def isCoffeePresent = true
}
class PowerConfigImpl extends PowerConfig {
    def getPowerVolts(country: String) = country match {
        case "USA" => 110
        case "UK" => 220
        case "HK" => 220
        case "CHN" => 110
        case _  => 0
    }
    def isUSStandard(volts: Int) = volts === 110
}

同样，需要把这些实例转成Appliance类型：  


object MockOnOffDevice extends OnOffDeviceImpl
object MockSensorDevice extends SensorDeviceImpl
object MockPowerConfig extends PowerConfigImpl
trait OnOffFunctions extends OnOffComponent {
    def onOffDevice = MockOnOffDevice
}
trait SensorFunctions extends SensorComponent {
  def sensorDevice = MockSensorDevice
}
trait DeviceFunctions extends DeviceComponent  {
    def onOffDevice = MockOnOffDevice
  def sensorDevice = MockSensorDevice
}
trait PowerFunctions extends PowerComponent {
    def powerConfig = MockPowerConfig
}

再直接进行Appliance实例组合： 


1 object MockAppliance extends Appliance with DeviceFunctions with PowerFunctions


def trigger =
  if ((PowerService.isUSStandard("CHN")(MockAppliance))
      && (SensorService.isCoffeePresent(MockAppliance)))
       OnOffService.on(MockAppliance)
   else
     OnOffService.off(MockAppliance)              //> trigger: => scalaz.Id.Id[String]
trigger                                           //> res0: scalaz.Id.Id[String] = SomeDevice.On

下面是这段程序的源代码，提供给大家作为参考： 


package Exercises
import scalaz._
import Scalaz._
object reader3 {
trait OnOffDevice {
    def on: String
    def off: String
}
trait SensorDevice {
    def isCoffeePresent: Boolean
}
trait PowerConfig {
  def getPowerVolts(country: String): Int
  def isUSStandard(volt: Int): Boolean
}

trait OnOffComponent {
    def onOffDevice: OnOffDevice
}
trait SensorComponent {
    def sensorDevice: SensorDevice
}
trait Device extends OnOffComponent with SensorComponent
trait DeviceComponent {
    def onOffDevice: OnOffDevice
    def sensorDevice: SensorDevice
}
trait PowerComponent {
    def powerConfig: PowerConfig
}
trait Appliance extends DeviceComponent with PowerComponent
object Appliance {
  val appliance = Reader[Appliance,Appliance](identity)
  val onOffDevice = appliance map {_.onOffDevice}
  val sensorDevice = appliance map {_.sensorDevice}
  val powerConfig = appliance map {_.powerConfig}
}
object OnOffDevice {
import Appliance.onOffDevice
    def on: Reader[Appliance,String] = onOffDevice map { _.on }
    def off: Reader[Appliance,String] = onOffDevice map { _.off }
}
object SensorDevice {
import Appliance.sensorDevice
  def isCoffeePresent: Reader[Appliance,Boolean] = sensorDevice map { _.isCoffeePresent }
}
object PowerConfig {
import Appliance.powerConfig
    def getPowerVolts(country: String) = powerConfig map {_.getPowerVolts(country)}
    def isUSStandard(volts: Int) = powerConfig map {_.isUSStandard(volts)}
}
object OnOffService {
    def on = for {
        ison <- OnOffDevice.on
    } yield ison
    def off = for {
        isoff <- OnOffDevice.off
    } yield isoff
}
object SensorService {
    def isCoffeePresent = for {
        hasCoffee <- SensorDevice.isCoffeePresent
    } yield hasCoffee
}
object PowerService {
    def isUSStandard(country: String) = for {
        is110v <- PowerConfig.getPowerVolts(country)
        isUSS <- PowerConfig.isUSStandard(is110v)
    } yield isUSS
}
class OnOffDeviceImpl extends OnOffDevice {
    def on = "SomeDevice.On"
    def off = "SomeDevice.Off"
}
class SensorDeviceImpl extends SensorDevice {
    def isCoffeePresent = true
}
class PowerConfigImpl extends PowerConfig {
    def getPowerVolts(country: String) = country match {
        case "USA" => 110
        case "UK" => 220
        case "HK" => 220
        case "CHN" => 110
        case _  => 0
    }
    def isUSStandard(volts: Int) = volts === 110
}
object MockOnOffDevice extends OnOffDeviceImpl
object MockSensorDevice extends SensorDeviceImpl
object MockPowerConfig extends PowerConfigImpl
trait OnOffFunctions extends OnOffComponent {
    def onOffDevice = MockOnOffDevice
}
trait SensorFunctions extends SensorComponent {
  def sensorDevice = MockSensorDevice
}
trait DeviceFunctions extends DeviceComponent  {
    def onOffDevice = MockOnOffDevice
  def sensorDevice = MockSensorDevice
}
trait PowerFunctions extends PowerComponent {
    def powerConfig = MockPowerConfig
}
object MockAppliance extends Appliance with DeviceFunctions with PowerFunctions
def trigger =
  if ((PowerService.isUSStandard("CHN")(MockAppliance))
      && (SensorService.isCoffeePresent(MockAppliance)))
       OnOffService.on(MockAppliance)
   else
     OnOffService.off(MockAppliance)              //> trigger: => scalaz.Id.Id[String]
trigger                                           //> res0: scalaz.Id.Id[String] = SomeDevice.On
}

文章标签：
测试技术
雪川大虫
目录
相关文章
流烟默
|
7月前
|
Java Spring 容器
Spring注解驱动开发二组件赋值-@Value和@PropertySource及XXXXAware接口
Spring注解驱动开发二组件赋值-@Value和@PropertySource及XXXXAware接口
流烟默
50 0
爱学习de测试小白
11-Groovy-Closures(闭包)和Ranges(范围)
11-Groovy-Closures(闭包)和Ranges(范围)
爱学习de测试小白
47 0
6hkip34i2a7n6
|
分布式计算 Java 编译器
关于jvm范型和scala implicit隐式参数以及classTag[T] typeTag[T]的一点思考
关于jvm范型和scala implicit隐式参数以及classTag[T] typeTag[T]的一点思考
6hkip34i2a7n6
126 0
Lux_Sun
Groovy - 探索之 MOP（invokeMethod 和 methodMissing 方法）
Groovy - 探索之 MOP（invokeMethod 和 methodMissing 方法）
Lux_Sun
180 0
Lux_Sun
Groovy - Groovy ambiguous method overload
Groovy - Groovy ambiguous method overload
Lux_Sun
676 0
ta7lhdiw3omdo
|
安全 Java API
Java函数式编程之Optional
java.util.Optional是JDK8中引入的类，它是JDK从著名的Java工具包Guava中移植过来。本文编写的时候使用的是JDK11。Optional是一个包含了NULL值或者非NULL值的对象容器，它常用作明确表明没有结果（其实明确表明存在结果也可以用Optional表示）的方法返回类型，这样可以避免NULL值带来的可能的异常（一般是NullPointerException）。
ta7lhdiw3omdo
1333 0
雪川大虫
|
人工智能 Scala 开发者
Scalaz（3）－ 基础篇：函数概括化－Generalizing Functions
雪川大虫
1317 0
技术小哥哥
|
Java
Struts标签<bean:write><logic:iterate></logic:equal>的组合使用小例
技术小哥哥
1252 0
橘子红了呐
|
设计模式 C#
我的实用设计模式 - Simple Factory和Reflection
橘子红了呐
980 0
zting科技
|
C#
AOP学习-基于Emit和Attribute的简单AOP实现
zting科技
1260 0