scala : 추적 implicits 선택 및 기타 코드 마법

Question

라이브러리 작동 방식을 파악할 때 암시 적 변환이 혼란 스럽습니다. 예를 들어, 'val foo : Foo = 1'과 같은 표현식을 보면, 1을 Foo로 변환하는 것은 무엇입니까?

표현식을 평가하는 동안 실행중인 코드 경로를 인쇄하도록 스칼라 라이브러리 (또는 REPL)에 지시 할 수 있습니까?

Answer 1

컴파일러 명령 줄에 "-Xprint : typer"를 추가하거나 (스윙 GUI 브라우저의 경우 "-Ybrowse : typer") 명시 적으로 적용한 변환 코드를 볼 수 있습니다.

Answer 2

변환을 인쇄하는 대신에 어둠이 단지 어둠으로부터 나올 수 없음을 깨달아야합니다. 당신은 어떤 방법으로 그것들을 범위 안으로 가져와야합니다. 대안은 다음과 같습니다 :

1. 명시 적 import 문. y이 객체 일 때 import x.y._을주의하십시오. 이는 암시 적 범위로 가져 오는 유일한 방법이므로주의해야합니다.
2. 다른 것으로 변환되는 클래스의 오브젝트 컴패니언.
3. 대상이 어떤 식 으로든 명시 적으로 지정되는 한 (예 : 사용자의 경우와 같이) 대상 클래스의 개체 도우미입니다.

개체 scala.Predef은 기본적으로 범위로 가져 오기됩니다. 스칼라의 기본 implicits가 범위로 ​​들어가는 방식입니다.

Answer 3

scalac -print은 암시 적 유형 변환이 적용된 후 코드를 인쇄합니다.

package <empty> { 
    class A extends java.lang.Object with ScalaObject { 
    @remote def $tag(): Int = scala.ScalaObject$class.$tag(A.this); 
    private[this] val x: java.lang.String = _; 
    <stable> <accessor> def x(): java.lang.String = A.this.x; 
    def this(): A = { 
     A.super.this(); 
     A.this.x = scala.this.Predef.forceRandomAccessCharSeq(
     scala.this.Predef.stringWrapper("hi").drop(1)); 
    () 
    } 
    } 
}