更新：使用scalaz的Reader替换自定义的flatMap
正如Travis所指出的那样，要使用Reader模式，您需要单参数函数。因此，为了将其用于多个依赖项，您需要以某种方式将所有依赖项放入单个参数中。这里变得有趣。Travis展示的方法是最简单的方法，但您还必须手动使用.local调用切换环境，并且如果您需要子树的多个依赖项，则需要手动构建本地环境。
另一种方法是让Scala的子类型自动处理它。只要您的依赖项可以混合，就可以将具有不同或多个依赖项的组件组合在一起（如果您实际上使用scalaz的Reader，而不是像一些Reader示例一样在Function1上使用flatMap）。
选项1：杯形蛋糕模式
允许您的依赖项混合的一种方法是削减的cake模式。如果我必须给它一个名字，我会称之为杯形蛋糕模式，Dick Wall称之为Parfait（请参见https://parleys.com/play/53a7d2cde4b0543940d9e55f/chapter28/about）。其思想是将所有东西都放入蛋糕中，只将依赖项放入蛋糕中，并将其作为上下文对象传递，您可以使用reader进行抽象。让我们将其应用于您的示例：
class PageFetcher {
def fetch(url: String) = Reader((deps: Dep1Component) => Try {
...
})
}
class ImageExtractor {
def extractImages(html: String) = Reader((deps: (Dep2Component with Dep3Component)) => {
...
})
}
object MyImageFinder {
def find(url: String) =
for {
pageFetcher <- Reader((deps: PageFetcherComponent) => dep.pageFetcher)
imageExtractor <- Reader((deps: ImageExtractorComponent) => dep.imageExtractor)
htmlTry <- pageFetcher.fetch(url)
html <- htmlTry
images <- imageExtractor.extractImages(html)
} yield images
}
class Dep1
class Dep2
class Dep3
trait PageFetcherComponent{
def pageFetcher: PageFetcher
}
trait ImageExtractorComponent{
def imageExtractor: ImageExtractor
}
trait Dep1Component{
def dep1: Dep1
}
trait Dep2Component {
def dep2: Dep2
}
trait Dep3Component{
def dep3: Dep3
}
object Dependencies extends PageFetcherComponent with ImageExtractorComponent with Dep1Component with Dep2Component with Dep3Component{
val pageFetcher = new PageFetcher
val imageExtractor = new ImageExtractor
val dep1 = new Dep1
val dep2 = new Dep2
val dep3 = new Dep3
}
def main(args: Array[String]) {
args.headOption match {
case Some(url) =>
MyImageFinder.find(url)(Dependencies) match {
case Success(images) => images.foreach(println)
case Failure(err) => println(err.toString)
}
case _ => println("Please input an url")
}
}
如果您有多个相同依赖项的实例（多个记录器，多个数据库等），并且希望能够选择性地在一个或另一个上使用某些代码，则杯形蛋糕模式会变得棘手。
选项2：类型索引映射
最近我想出了另一种方法，使用我称之为类型索引映射的特殊数据结构。它保存所有杯形蛋糕锅炉板，并使多个相同类型的依赖项更容易使用（即只需将它们包装在单成员类中以区分它们）。
def Implicit[V:TTKey] = Reader((c: TMap[V]) => c[V])
class PageFetcher {
def fetch(url: String) = Implicit[Dep1].map{ dep1 => Try {
...
}}
}
class ImageExtractor {
def extractImages(html: String) = for{
dep2 <- Implicit[Dep1]
dep3 <- Implicit[Dep3]
} yield {
...
}
}
object MyImageFinder {
def find(url: String) =
for {
pageFetcher <- Implicit[PageFetcherComponent]
imageExtractor <- Implicit[ImageExtractorComponent]
htmlTry <- pageFetcher.fetch(url)
html <- htmlTry
images <- imageExtractor.extractImages(html)
} yield images
}
class Dep1
class Dep2
class Dep3
val Dependencies =
TMap(new PageFetcher) ++
TMap(new ImageExtractor) ++
TMap(new Dep1) ++
TMap(new Dep2) ++
TMap(new Dep3)
def main(args: Array[String]) {
args.headOption match {
case Some(url) =>
MyImageFinder.find(url)(Dependencies) match {
case Success(images) => images.foreach(println)
case Failure(err) => println(err.toString)
}
case _ => println("Please input an url")
}
}
我在这里发布了
https://github.com/cvogt/slick-action/。相应的测试示例在此处:
https://github.com/cvogt/slick-action/blob/master/src/test/scala/org/cvogt/di/TMapTest.scala#L213。它在maven上，但是在使用它时要小心，因为代码正在变化中，当前实现在2.10中不是线程安全的，只有在2.11中是线程安全的，因为它依赖于TypeTags。我可能会在某个时候发布一个适用于2.10和2.11的版本。
补充说明
虽然这解决了使用Reader Monad进行多依赖注入的问题，但你仍然会因为混合使用Reader/Function1组合和Try组合而获得htmlTry类型错误。解决方法是创建一个包装Monad，内部包装Function1[TMap[...],Try[...]]，并允许组合它们。这确实需要将所有内容都放入这种类型的Monad中，即使某些内容不需要尝试。
implicit是错误复制的，它们不应该出现在这个例子中。谢谢。 - Freewind