Подтвердить что ты не робот

Получить сопутствующий объект класса с помощью заданного типа Scala

То, что я пытаюсь сделать, это сделать функцию, которая будет принимать общий класс и использовать в нем статический метод (извините за язык Java, я имею в виду метод его объекта-компаньона).

trait Worker {def doSth: Unit}

class Base

object Base extends Worker

// this actually wouldn't work, just to show what I'm trying to achieve
def callSthStatic[T that companion object is <: Worker](implicit m: Manifest[T]) {
  // here I want to call T.doSth (on T object)
  m.getMagicallyCompanionObject.doSth
}

Любые идеи?

4b9b3361

Ответ 1

Суть Майлза Сабина может дать вам подсказку:

trait Companion[T] {
  type C
  def apply() : C
}

object Companion {
  implicit def companion[T](implicit comp : Companion[T]) = comp()
}

object TestCompanion {
  trait Foo

  object Foo {
    def bar = "wibble"

    // Per-companion boilerplate for access via implicit resolution
    implicit def companion = new Companion[Foo] {
      type C = Foo.type
      def apply() = Foo
    }
  }

  import Companion._

  val fc = companion[Foo]  // Type is Foo.type
  val s = fc.bar           // bar is accessible
}

Это должно быть скомпилировано с флагом -Ydependent-method-types, если используется Scala 2.9.x.

Ответ 2

Вы можете использовать отражение, чтобы получить класс компаньона и его экземпляр, но он полагается на внутренние элементы Scala, которые могут измениться в каком-то далеко (?) будущем. И нет никакой безопасности типа, поскольку вы получаете AnyRef. Но нет необходимости добавлять какие-либо импликации к вашим классам и объектам.

def companionOf[T : Manifest] : Option[AnyRef] = try{
  val classOfT = implicitly[Manifest[T]].erasure
  val companionClassName = classOfT.getName + "$"
  val companionClass = Class.forName(companionClassName)
  val moduleField = companionClass.getField("MODULE$")
  Some(moduleField.get(null))
} catch {
  case e => None
}

case class A(i : Int)

companionOf[A].collect{case a : A.type  => a(1)}
// res1: Option[A] = Some(A(1))