scala中的仅类型参数方法重载

Question

我能否在 scala 中以某种方式实现这样的行为（funcs 具有相同的名称和参数，但仅在返回类型和类型参数上有所不同）？

def a(i:Int): Int //1
def a[T](i: Int): Double //2

a(1) //call 1
a[Any](1) //call 2

UPD 动机：

我正在编写 akka-http 指令auth，它根据权限参数检查用户请求的会话和授权。

1. 当它只获得一个权限时，它提供刚刚经过身份验证的User：

def auth(perm: String): Directive1[User]

1. 当它通过UUID 获得Tuple 的权限时，它（以某种方式）通过此UUID 获得所需的对象，检查应用于所需对象的权限并提供此对象以及User：

def auth[Entity](tup: (String, UUID)): Directive1[(User, Entity)]

1. 并且当它获得相同的Tuple 但没有类型参数时，它应该检查应用于所需对象的权限但只提供经过身份验证的User：

def auth(tup: (String, UUID)): Directive1[User]

这个想法是为所有情况使用相同的指令名称，但似乎无法在语言级别区分 a[T](i: Int): Int 和 a(i: Int): Double（由于类型擦除）。

也许有一些使用implicits 的技巧有助于实现这一目标？

Answer 1

由于类型擦除，这两种方法将具有相同的签名。

@ class Test {
  def a(i:Int): Int = 1
  def a[T](i: Int): Double = 2.0
  }
defined class Test

@ new Test()
res24: Test = ammonite.$sess.cmd23$Test@7441edeb

@ new Test().a(1)
cmd25.sc:1: ambiguous reference to overloaded definition,
both method a in class Test of type [T](i: Int)Double
and  method a in class Test of type (i: Int)Int
match argument types (Int)
val res25 = new Test().a(1)
                       ^
Compilation Failed

如果您更改了任何内容，例如你如何应用参数，它应该是可行的：

@ class Test {
  def a(i:Int): Int = 1
  def a()(i: Int): Double = 2.0
  }
defined class Test

@ new Test().a(1)
res26: Int = 1

@ new Test().a()(1)
res27: Double = 2.0

所以...取决于您可以更改的数量和内容，是或否。总的来说，这是个坏主意。很少有充分的理由重载方法，在这种情况下重载几乎可以肯定是一种反模式。

Answer 2

也许尝试用 ascription 类型消除歧义，像这样

def a(i:Int): Int = 1
def a[T](i: Int): Double = 2

a(1): Int // res0: Int = 1
a[Any](1) // res1: Double = 2.0

Answer 3

我的回答有点笼统：

def add(a: Int): Int = a + 1
def add[T](a: T)(implicit num: Numeric[T]): Double = {
  num.toDouble(a) + 2.3
}

println(add(5)) // 6
println(add[Int](6)) // 8.3

Scastie上的例子

Answer 4

我认为您在这里遇到了separation of concerns 问题。

授权用户和提取数据是不同的事情，所以我会将它们作为两种不同的操作来处理：授权用户的指令和为该用户加载数据的数据库方法。这样做的主要优点是您可以在一次操作中授权用户使用一组端点。

这是可行的简单示例：

def route =
  auth { authUser =>
    (pathEnd | pathSingleSlash) {
      concat(
        get {
          val data = load(authUser, staticUuid)

          ???
        },
        post {
          decodeRequest {
            entity(as[MyRequestBody]) { myRequest =>
              val data = load(authUser, myRequest.uuid)

              ???
            }
          }
        },
      )
    }
  }

如果一直将authUser 传递给方法很尴尬，请将其设置为数据提取方法中的implicit。您也可以将加载操作设为指令，但与auth 不同。

这样可能看起来更冗长，但两年后查看您的代码的人会感谢您使代码易于理解。而那个人很可能就是你。