Shapeless: Implicitement dans le corps de la fonction

Question

Je extrait de code suivant:

val reprEncoder: CsvEncoder[String :: Int :: Boolean :: HNil] = 
    implicitly 

Qu'est-ce que implicitly signifie ici?

Answer 1

Cela signifie: "invoque l'instance implicite dont vous avez la portée pour le type CsvEncoder[String :: Int :: Boolean :: HNil]". L'exemple simple suivant, dans une session REPL Scala, devrait indiquer clairement:

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

scala> implicit val str: String = "hello" 
str: String = hello 

scala> val anotherStr: String = implicitly 
anotherStr: String = hello 

Comme vous pouvez le voir la valeur attribuée à anotherStr est celle de str qui est la seule valeur implicite de type String portée. Notez que si vous avez plus d'une valeur implicite du même type dans la compilation de portée échouera avec l'erreur: "valeurs implicites ambiguës". En effet:

scala> implicit val str: String = "hello" 
str: String = hello 

scala> implicit val str2: String = "world" 
str2: String = world 

scala> val anotherStr: String = implicitly 
<console>:16: error: ambiguous implicit values: 
both value StringCanBuildFrom in object Predef of type => 
scala.collection.generic.CanBuildFrom[String,Char,String] 
and method $conforms in object Predef of type [A]=> A <:< A 
match expected type T 
     val anotherStr: String = implicitly 
           ^

scala>