scala StackOverflow на неявном объекте unapply

Question

Я пишу тип для преобразования между типами, и я замечаю что-то необычное с методом unapply на неявных объектах. Конкретно

object IntString extends PartialFunction[String, Int] { 
    def isDefinedAt(x: String) = Try(x.toInt).isSuccess 
    def apply(v1: String) = v1.toInt 
    def unapply(a:String):Option[Int] = if(this.isDefinedAt(a)) Some(this.apply(a)) else None 
} 

val s = "1000" 
val IntString(i) = s 

работает отлично, но

implicit object IntString extends PartialFunction[String, Int] { 
    def isDefinedAt(x: String) = Try(x.toInt).isSuccess 
    def apply(v1: String) = v1.toInt 

    def unapply(a:String):Option[Int] = if(this.isDefinedAt(a)) Some(this.apply(a)) else None 
} 

val s = "1000" 
val IntString(i) = s 

дает StackOverflow по методу apply. Я хотел бы быть в состоянии иметь объект быть неявным, так что я могу сделать что-то вроде

def parse[A,B](a:A)(implicit ev:PartialFunction[A,B]) = ev(a) 

в дополнение к явно применяются/исключить его.

Answer 1

Все пошло не так в apply, в частности с v1.toInt. java.lang.String не имеет метода toInt. Он предоставляется неявно StringLike. Но Intтакже имеет метод toInt, и вы предоставляете неявное преобразование от String => Int.

Компилятор видит, что вы хотите позвонить toInt по телефону String. Вместо того, чтобы выбирать обогащенный метод из StringLike, компилятор знает, что Int имеет метод toInt, и вы предоставляете неявный String => Int в области видимости, поэтому он использует это. Но с помощью ваших конверсионных звонков apply снова, и он бесконечно повторяет процесс.

простое решение было бы использовать фактический класс типов, а не PartialFunction:

trait Conv[A, B] { 
    def isDefinedAt(x: A): Boolean 
    def apply(v1: A): B 
    def unapply(a: A): Option[B] 
} 

implicit object IntString extends Conv[String, Int] { 

    def isDefinedAt(x: String) = Try(x.toInt).isSuccess 

    def apply(v1: String): Int = v1.toInt 

    def unapply(a: String): Option[Int] = 
    if(this.isDefinedAt(a)) Some(this.apply(a)) else None 
} 

scala> val IntString(i) = s 
i: Int = 1000 

И вы бы изменить parse к:

def parse[A, B](a: A)(implicit ev: Conv[A,B]) = ev(a)