<: <làm việc như thế nào?

Question

scala> implicitly[Int <:< AnyVal] 
res0: <:<[Int,AnyVal] = <function1> 

scala> class Foo 
defined class Foo 

scala> class Bar extends Foo 
defined class Bar 

scala> implicitly[Foo <:< Bar] 
<console>:8: error: could not find implicit value for parameter e: <:<[Foo,Bar] 
     implicitly[Foo <:< Bar] 
       ^

scala> implicitly[Bar <:< Foo] 
res2: <:<[Bar,Foo] = <function1> 

<:< công việc hạn chế như thế nào? Hay chính xác hơn, đâu là định nghĩa ngầm định cung cấp các cá thể của <:<?

Answer 1

Nó nằm trong đối tượng Predef.

scala> implicitly[Int <:< AnyVal] 
res1: <:<[Int,AnyVal] = <function1> 

scala> :type res1 
Predef$<:<[Int,AnyVal] 

Answer 2

Bạn có thể tìm thấy số điện thoại trong Predef. phương pháp Implicit conforms[A] cung cấp những bằng chứng:

implicit def conforms[A]: A <:< A = new (A <:< A) { def apply(x: A) = x } 

Bạn thực sự có thể cố gắng thực hiện điều đó cho mình để làm cho nó rõ ràng hơn:

abstract class subclassOf[-From, +To] extends (From => To) 
implicit def subclassOfCheck[A]: A subclassOf A = new (A subclassOf A) { def apply(x: A) = x } 

implicitly[Int subclassOf AnyVal] 

class Foo 
class Bar extends Foo 

implicitly[Bar subclassOf Foo]