제네릭 형식을 사용하기위한 암시 적 변환

Question

매우 복잡 할 수있는 제네릭 형식의 클래스가있는 라이브러리를 사용하고 있습니다. 라이브러리 클래스의 val에있는 generic 형식의 매개 변수를 사용하는 메서드를 작성해야하며 메서드 서명에 형식을 쓰지 않아도됩니다.

// This comes from a library and can't be changed 
case class LibraryClass[A](a: A) 

//---------------------------------- 

object MyCode { 
    val thing = LibraryClass(3) 

    implicit class LibraryClassWithType[A](lc: LibraryClass[A]) { 
    type TheType = A 
    } 

    def doStuff(something: thing.TheType): Unit = { 
    println(something) 
    } 
} 

이 컴파일되지 않습니다 (TheType이 LibraryClass의 구성원이 아닌 : 나는 종류의 좋아, 내가 메서드 서명에 사용할 수있는 발에 유형을 추가하는 암시 적 클래스를 만들 수있을 거라고 생각). 나는 수업 시간에 싸서 자신한다면, 그것은

val thingWithType = LibraryClassWithType(thing) 
    def doStuff(something: thingWithType.TheType): Unit = { 
    println(something) 
    } 

내가 그이 일을 할 것입니다 놓친 거지 뭔가가 있는가, 또는 유효하지 스칼라 암시 적 변환이 종류의 작동?

Answer 1

나는 implicits으로 이런 종류의 일을 할 수 없었다,하지만 난 그냥 형 홀더의 이러한 종류의 인스턴스 비슷한으로 필요했던 :

case class LibraryClass[A](a: A) 

object MyCode { 
    val thing = LibraryClass(3) 

    class HigherTypeHolder[A,F[A]](a: F[A]) { 
    type AT = A 
    } 
    val th = new HigherTypeHolder(thing) 

    def doStuff(something: th.AT): Unit = { 
    println(something) 
    } 
} 

Answer 2

당신은 당신이 이렇게 원하는 (내가 생각하는) 일을 할 수 있습니다

implicit val thing = LibraryClass(3) 
def doStuff[A](something: A)(implicit lc: LibraryClass[A]) 

는 내가 이해하지 못하는 것은이 너무 복잡 할 필요가있는 이유. 왜, 예를 들어 두 번째 접근 방식을 고집하지 않고, 함축적으로 작동하지 않습니까? 아니면 그냥 def doStuff[A](something: A)으로 시작하는 것이 좋을까요?