定义一个方法，其返回类型是该方法参数的单例类型

Question

仍在与 this.types（单例类型）作斗争。假设这种情况：

trait Sys[A <: Access] {
  def in[T](v: String): AccessPrepare[A]
}

trait AccessPrepare[A <: Access] {
  val a: A
  def apply[T](fun: a.type => T): T
}

object Ref {
  def single[A <: Access, V](v: V)(implicit a: A): Ref[A, V] = ???
}
trait Ref[A, V]

trait Access {
  def set(r: Ref[this.type, Int]): Unit
}

以下失败：

def test(sys: Sys[Access]): Unit =
  sys.in("v1") { implicit a =>
    val r = Ref.single(44)
    a.set(r)
  }

因为显然 r 的类型为 Ref[Access, Int] 而不是 Ref[a.type, Int] >。我的猜测是问题是我需要一条

def single[A <: Access, V](v: V)(implicit a: A): Ref[a.type, V] = ...

由于“非法依赖方法类型”而无法编译的行...

任何想法如何解决这个问题。要求是我不使用类型显式注释调用。也就是说，出于可以理解的原因，我不想想要编写Ref.single[a.type, Int](44)(a)。

---

编辑

作为澄清，参考线程通过将类型参数与参数的路径相关类型匹配来约束操作——我还想要什么可以不使用 Access 中的工厂方法，而是使用外部的某个地方（例如使用 new 语句）来创建对象 (Refs)。因为系统不能受到 Access 定义的限制，所以我必须能够使用更多对象来扩展它。

Answer 1

你有几种可能性。使用 Scala 2.8/2.8.1，您可以使用私有选项 -Ydependent-method-types ，然后您的解决方案可以

def single[ A <: Access, V ]( v: V )( implicit a: A ) : Ref[ a.type, V ] = // ...

正常编译。

如果您想避免依赖方法类型，因为它是私有选项，您仍然可以通过显式键入对 Ref.single 的调用来编译您的第一个提案：

  val r = Ref.single[a.type, Int](44)

不过，您需要将类型指定为单例类型永远不会被推断。您的问题与未推断单例类型的问题不同，但与之相关：请参阅 如何正确键入注释此 HList？