Implicity i kolejność deklaracji

Question

Oto uproszczenie tego, co napotkałem. To kompiluje:

trait A { implicit val x = 1 } 
trait B extends A { val y = implicitly[Int] } 

Chociaż nie robić (nie mógł znaleźć wartość niejawny):

trait B extends A { val y = implicitly[Int] } 
trait A { implicit val x = 1 } 

Starałem się uczynić moje intencje jasne, określając siebie-Type: trait A { this: B => ... }, ale bezskutecznie .

Jak radzić sobie z tego rodzaju zależnościami bez martwienia się o to, w jaki sposób mój kod jest układany?

Answer 1

Musisz zadeklarować typ wyraźnie, przynajmniej na tym ostatnim

trait B extends A { val y = implicitly[Int] } 
trait A { implicit val x : Int = 1 } 

Zasady niejawny widoczność jest różny, czy jego typ jest zadeklarowana jawnie, czy nie. Jeśli tak nie jest, ukryty jest dostępny (jako domyślny) tylko po punkcie deklaracji.

Powód jest taki, że wnioskowanie o typie może stać się zbyt trudne, jeśli typ nie został zadeklarowany (jak w procedurze rekursywnej). W wielu przypadkach wnioskowanie byłoby łatwe (jak w twoim kodzie), ale specyfikacja musi być jednoznaczna.