2013-05-02 32 views
5

Aşağıdaki örtülü yöntem neden uygulanmadı? Ve X örneğini otomatik olarak Y örneğine dönüştürerek, örtük bir Conversion[X,Y] kapsamına sahip olmak için nasıl yapabilirim.Kapalı dönüştürme çalışmıyor

trait Conversion[X, Y] { 
    def apply(x: X): Y 
} 
implicit object Str2IntConversion extends Conversion[String, Int] { 
    def apply(s: String): Int = s.size 
} 
implicit def convert[X, Y](x: X)(implicit c: Conversion[X, Y]): Y = c(x) 

val s = "Hello" 
val i1: Int = convert(s) 
val i2: Int = s // type mismatch; found: String required: Int 
+1

son satırı çalışması için, sen String' için 'Int'' bir örtük dönüştürme ihtiyaç , Örneğin örtük olarak [String => Int] '- mevcut değil. Sorun şu ki, “Y” bir parametredir ve Scala sadece sizin için ne tür bir araca sahip olursunuz. Örneğin, örtülü def dönüştürün [X] (x: X) (örtük c: Dönüştürme [X, Int]): Int = c (x) 'çalışırdı. –

cevap

4

dönüşüm sonra artık yardımcı yöntem gerekmez, Function1 uzatmak olun:

trait Conversion[X, Y] extends (X => Y) { 
    def apply(x: X): Y 
} 

// unchanged 
implicit object Str2IntConversion extends Conversion[String, Int] { 
    def apply(s: String): Int = s.size 
} 

// removed convert 

// unchanged 
val s = "Hello" 
val i1: Int = convert(s) 
val i2: Int = s 
+1

Güzel fikir! Teşekkür ederim. Ama ilk soru şu: Kalbim neden çalışmıyor? –

+0

@PeterSchmitz, dolaylı olarak, örtük bağlı olarak genel döndürme türünden dolayıdır. Eğer 'Y' ile' Y' değiştirirseniz, kodunuz çalışır. – gzm0