Implicit Parameter Resolution

This topic is a continuation of the previous implicit parameter topics:

• Implicit Parameters
• Companion Object Implicits

This topic provides some explanation about how implicit parameters are resulted. There are very strict rules for which implicit value is to be applied to a implicit parameter. A simple way to think about it is that the "closest" definition will be used. Local scope, enclosing class, parent class, companion object of the desired type.

1. class X(val i:Int)
2. class Y(val i:Int)
4. object X {
5.   implicit def xx = new X(1)
6. }
8. class Method {
9.   def x(implicit x:X)=println(x.i)
10.   def y(implicit y:Y)=println(y.i)
11. }
13. trait M { 
14.   self : Method =>
16.   implicit def x1 = new X(10)
17.   implicit def y1 = new Y(100)
19.   def testy = y
20.   def testx = x
21. }
22. trait SM extends M {
23.   self : Method =>
25.   implicit def x2 = new X(20)
26.   implicit def y2 = new Y(200)
27.   
28.   def testy2 = y  
29. }
31. // implicit resolved from companion object of X
32. new Method().x
33. // explicit applied so that value is used
34. new Method().x(new X(3))
35. // implicit resolved from companion object of X
36. // NOT from M.  This is because the call site of x 
37. // is not within M therefore does not use the implicits in M
38. // for resolution.
39. (new Method with M).x
41. implicit def x = new X(30)
42. // local scope overrides companion object implicit
43. new Method().x
44. // explicit applied so that value is used
45. new Method().x(new X(3))
46. // local scope overrides companion object implicit
47. (new Method with M).x
49. // testy is defined within M so the implicits within M
50. (new Method with M).testy
51. // testx is defined within M so the implicit within M
52. // overrides the companion object implicit
53. (new Method with M).testx
54. // testy is within M (not SM) so the implicit within M
55. // is used
56. (new Method with SM).testy
57. // testy2 is within SM so the implicit within SM 
58. // overrides the implicit in M and the companion object
59. (new Method with SM).testy2

Output:

1
3
1
30
3
30
100
10
100
200