Scala 2.12의 암시 적 ExecutionContext 우선 순위

Question

global 실행 컨텍스트를 가져온 다음 범위에 정의 된 다른 암시 적 실행 컨텍스트를 사용하면 모호한 암시 적 결과가 발생하지만 2.11에서는 올바르게 작동합니다.

error: ambiguous implicit values: 
both lazy value global in object Implicits of type => scala.concurrent.ExecutionContext 
and value ec in class A of type scala.concurrent.ExecutionContext 
match expected type scala.concurrent.ExecutionContext 
     val x = implicitly[ExecutionContext] 
         ^

어떤이의 원인은 무엇이며 어떻게 코드에서 해결하기 :

import scala.concurrent._ 
import scala.concurrent.ExecutionContext.Implicits.global 

class A(implicit ec: ExecutionContext) { 
    x = implicitly[ExecutionContext] 
} 

컴파일러 오류를 준다?

Answer 1

스펙은 클래스 구성원 선택의 모호성으로 과부하 해결을 처리합니다. 하지만 암시 적 해상도는 정적 오버로드 해상도를 사용하여 구성원이 아닌 참조를 선택합니다. zzz가 yyy만큼 X에서 파생 된 클래스에 정의되어 있기 때문에

논란의 여지가, 다음은, 사양의 잘못된 해석입니다 : 현재

$ scala 
Welcome to Scala 2.12.0 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_101). 
Type in expressions for evaluation. Or try :help. 

scala> import concurrent._, ExecutionContext.global 
import concurrent._ 
import ExecutionContext.global 

scala> trait X { implicit val xxx: ExecutionContext = global } 
defined trait X 

scala> class Y extends X { implicit val yyy: ExecutionContext = global ; def f = implicitly[ExecutionContext] } 
defined class Y 

scala> class Z extends X { def f(implicit zzz: ExecutionContext) = implicitly[ExecutionContext] } 
<console>:16: error: ambiguous implicit values: 
both value xxx in trait X of type => scala.concurrent.ExecutionContext 
and value zzz of type scala.concurrent.ExecutionContext 
match expected type scala.concurrent.ExecutionContext 
     class Z extends X { def f(implicit zzz: ExecutionContext) = implicitly[ExecutionContext] } 
                      ^

, 당신은 둘러싸에서 암시 그림자에 이름에 의존해야 범위 :

scala> class Z extends X { def f(implicit xxx: ExecutionContext) = implicitly[ExecutionContext] } 
defined class Z 

또는

scala> :pa 
// Entering paste mode (ctrl-D to finish) 

package object p { import concurrent._ ; implicit val xxx: ExecutionContext = ExecutionContext.global } 
package p { import concurrent._ ; 
    class P { def f(implicit xxx: ExecutionContext) = implicitly[ExecutionContext] 
      def g = implicitly[ExecutionContext] } 
} 

// Exiting paste mode, now interpreting. 


scala>