Scala: согласование классов типа с внедрением зависимости

Изрядную часть утомительности передачи этих неявных зависимостей можно уменьшить, используя новый синтаксис контекстной привязки. Ваш пример становится

def writeAll[T:Foo] (items: List[T]) =
  items.foreach(w => implicitly[Foo[T]].write(w))

, который компилируется идентично, но дает красивые и четкие подписи и имеет меньше плавающих переменных "шума".

Не лучший ответ, но альтернативы, вероятно, включают рефлексию, и я не знаю ни одной библиотеки, которая просто заставила бы это работать автоматически.

(Я заменил имена в вопросе, они не помогли мне обдумать проблему)

Я буду решать проблему в два этапа. Сначала я покажу, как вложенные диапазоны позволяют избежать необходимости объявлять параметр класса типа на всем пути его использования. Затем я покажу вариант, в котором экземпляр класса типа "инжектируется зависимостью".

Экземпляр класса типа как параметр класса

Чтобы избежать необходимости объявлять экземпляр класса типа как неявный параметр во всех промежуточных вызовах, можно объявить экземпляр класса типа в классе, определяющем область видимости, в которой должен быть доступен конкретный экземпляр класса типа. Я использую синтаксис сокращения ("контекстная привязка") для определения параметра класса.

object TypeClassDI1 {

  // The type class
  trait ATypeClass[T] {
    def typeClassMethod(t: T): Unit
  }

  // Some data type
  case class Something (value: Int)

  // The type class instance as implicit
  implicit object SomethingInstance extends ATypeClass[Something] {
    def typeClassMethod(s: Something): Unit =
      println("SomthingInstance " + s.value)
  }

  // A method directly using the type class
  def writeAll[T:ATypeClass](items: List[T]) =
    items.foreach(w => implicitly[ATypeClass[T]].typeClassMethod(w))

  // A class defining a scope with a type class instance known to be available    
  class ATypeClassUser[T:ATypeClass] {

    // bar only indirectly uses the type class via writeAll
    // and does not declare an implicit parameter for it.
    def bar(items: List[T]) {
      // (here the evidence class parameter defined 
      // with the context bound is used for writeAll)
      writeAll(items)
    }
  }

  def main(args: Array[String]) {
    val aTypeClassUser = new ATypeClassUser[Something]
    aTypeClassUser.bar(List(Something(42), Something(4711)))
  }
}

Экземпляр класса типа как поле, доступное для записи (инъекция сеттера)

Вариант вышеописанного, который можно использовать с помощью инъекции сеттера. На этот раз экземпляр класса типа передается через вызов сеттера в боб, использующий класс типа.

object TypeClassDI2 {

  // The type class
  trait ATypeClass[T] {
    def typeClassMethod(t: T): Unit
  }

  // Some data type
  case class Something (value: Int)

  // The type class instance (not implicit here)
  object SomethingInstance extends ATypeClass[Something] {
    def typeClassMethod(s: Something): Unit =
      println("SomthingInstance " + s.value)
  }

  // A method directly using the type class
  def writeAll[T:ATypeClass](items: List[T]) =
    items.foreach(w => implicitly[ATypeClass[T]].typeClassMethod(w))

  // A "service bean" class defining a scope with a type class instance.
  // Setter based injection style for simplicity.
  class ATypeClassBean[T] {
    implicit var aTypeClassInstance: ATypeClass[T] = _

    // bar only indirectly uses the type class via writeAll
    // and does not declare an implicit parameter for it.
    def bar(items: List[T]) {
      // (here the implicit var is used for writeAll)
      writeAll(items)
    }
  }

  def main(args: Array[String]) {
    val aTypeClassBean = new ATypeClassBean[Something]()

    // "inject" the type class instance
    aTypeClassBean.aTypeClassInstance = SomethingInstance

    aTypeClassBean.bar(List(Something(42), Something(4711)))
  }
}

Обратите внимание, что второе решение имеет общий недостаток инъекции на основе сеттера - вы можете забыть установить зависимость и получить красивое NullPointerException при использовании...