使用宏擴展元素上的類型類操作

Question

假設以下設置：

trait A[L] { def op(l1:L, l2:L): L }
trait E[L] { def op(l:L): L }

implicit def some2E[L:A](self:L) =  new E[L] { def op(other:L) =      
  implicitly[A[L]].op(self,other) }

在a是適當的隱式A ，是否可以使用宏將m op n直接擴展為a.op(m,n) ，或者至少避免創建其他對象？

Answer 1

如果將隱式參數移至op方法，則可以使用值類來防止其他對象的創建：

implicit class some2E[L](val self: L) extends AnyVal {
 def op(other: L)(implicit x: A[L]) = x.op(self, other)
}

熱點可能會內聯對some2E定義的op的調用，因此您最終將得到a.op(m, n) 。