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

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

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

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，因此它被认为是不稳定的。