scala - 无法解析路径相关的类型类证据，而没有可访问的值类型

Question

我被困了一个小时才发现这个事实:

class Foo {
  trait TypeClass[X]
  object TypeClass {
    implicit val gimme = new TypeClass[Int]{}
  }

  def foo[X : TypeClass](p: X): Unit = println("yeah " + p)
}

    // compiles
val foo = new Foo()
foo.foo(4)

    //does not compile
new Foo().foo(4)

    could not find implicit value for evidence parameter of type _1.TypeClass[Int]
    [error]   new Foo().foo(4)
    [error]    

我不明白为什么会这样。我能想到的唯一一件事是 scalac 在没有任何前缀可访问的值类型的类型中找不到隐含。它不能被引用。 Scalac 显然需要访问 Foo.this.foo解决其中的隐含，在这种情况下它不能。

我觉得如果你将类型类和路径依赖类型结合起来，你实际上注定要失败。你最终会处理这种事情。我这样做是因为 scalac 不会在我的 API 方法中推断类型，并且用户必须显式声明它们。所以我选择了这种设计，以便在 Foo[T] 中构造类型和 api 方法使用现有类型，但我遇到了几个非常丑陋的问题和此类错误，使我的应用程序看起来像一个过度设计的废话......

Answer 1

依赖路径的类型可能只绑定(bind)到一些稳定的不可变值，所以更明显的例子也行不通，因为不能保证不变性:

scala> var foo = new Foo()
foo: Foo = Foo@4bc814ba

scala> foo.foo(4)
<console>:17: error: could not find implicit value for evidence parameter of type    _37.TypeClass[Int]
          foo.foo(4)
                 ^

scala> def foo = new Foo()
foo: Foo

scala> foo.foo(4)
<console>:17: error: could not find implicit value for evidence parameter of type _39.TypeClass[Int]
          foo.foo(4)
                 ^

_37表示未推断出该类型。因此，似乎 scala 仅在将类型分配给某些 val 后才简单地推断类型。 .它实际上与隐式无关，这将为您提供更清晰的解释:

scala> class C {type K = Int}
defined class C

scala> var z = new C
z: C = C@4d151931

scala> def aaa(a: z.K) = a
<console>:16: error: stable identifier required, but z found.
   def aaa(a: z.K) = a
              ^

scala> def z = new C
z: C

scala> def aaa(a: z.K) = a
<console>:16: error: stable identifier required, but z found.
   def aaa(a: z.K) = a
              ^

您的 new Foo表达式类似于 def newFoo = new Foo ，所以它被认为是不稳定的。