Scala类的构造函数隐式参数是字段吗？

Question

类构造函数中的隐式参数是否像常规参数那样以某种方式工作，如果它们在该类内部某个地方被引用，它们会自动成为字段？

如果是这样，在这种情况下如何避免这种情况：

class Triangle[@specialized T, V[_]](p1:V[T],p2:V[T],p3:V[T])(implicit ev: Addable[V[T]]){
   def someFuncThatUsesAddable(): Any = ???
}

如果需要创建大量三角形，则每个实例都将包含对Addable的引用，从而导致内存使用量增加。

Answer 1

有趣的问题。 我不知道，所以我决定检查一下。 我看到为每个隐式参数创建了一个字段：

import scala.reflect.runtime.{universe => ru}
class X
class A()
class B(val i: Int)
class C(val i: Int)(implicit x: X)

object Xc extends App {
  implicit val x = new X()

  def getTypeTag[T: ru.TypeTag](obj: T) = ru.typeTag[T]

  def allDecls(d: ru.MemberScope) = d.mkString("[", ",", "]")

  def printTypeInfo(typeA: ru.Type) =
      println(s"type ${typeA.typeSymbol} has ${typeA.members.size} 
               members. Declarations: " + allDecls(typeA.decls))

      printTypeInfo(getTypeTag(new A()).tpe)
      printTypeInfo(getTypeTag(new B(1)).tpe)
      printTypeInfo(getTypeTag(new C(1)).tpe)
  } 
}

输出：

type class A has 22 members. Declarations: [def <init>: <?>]
type class B has 24 members. Declarations: [val i: <?>,private[this] val i: <?>,def <init>: <?>]
type class C has 25 members. Declarations: [val i: <?>,private[this] val i: <?>,implicit private[this] val x: <?>,def <init>: <?>]

Answer 2

是的，当然，没有其他方法可以做到（如@puhlen所指出的）。 或者，您可以将ev移至使用它的方法：

class Triangle[@specialized T, V[_]](p1:V[T],p2:V[T],p3:V[T]) {
   def someFuncThatUsesAddable(implicit ev: Addable[V[T]]): Any = ???
}

但是请注意，这会改变语义：它要求Addable在方法调用站点的作用域内，而不是在创建三角形时。

附带说明一下，当T本身未在任何地方使用时，我不希望@specialized完全有用。