Nhận đối tượng đồng hành của lớp theo kiểu chung chung Scala

Question

Điều tôi đang cố làm là tạo một hàm có thể sử dụng một lớp chung và sử dụng một phương thức tĩnh trong nó (xin lỗi ngôn ngữ 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 
} 

Bất kỳ ý tưởng nào?

Answer 1

A gist by Miles Sabin có thể cung cấp cho bạn một gợi ý:

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 
} 

này nên được biên soạn với -Ydependent-method-types cờ nếu sử dụng Scala 2.9.x.

Answer 2

Bạn có thể sử dụng sự phản chiếu để có được lớp đồng hành và thể hiện của nó, nhưng điều đó phụ thuộc vào nội bộ Scala có thể thay đổi trong tương lai xa (?). Và không có loại an toàn khi bạn nhận được một AnyRef. Nhưng không cần phải thêm bất kỳ sự can thiệp nào vào các lớp và các đối tượng của bạn.

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))