通过隐式转换覆盖 Int 上的算术运算符

Question

说，出于审美原因，我希望能够写作：

3 / 4

并且让/成为一个类的方法，该类存在从 Int 到的隐式转换，例如：

class Foo(val i: Int) {
  def /(that: Int) = // something
}

implicit def intToFoo(i: Int) = new Foo(i)

这是否可能，即是否可以“禁用” Int 上的 / 方法？

Answer 1

简而言之：不，你不能。

仅当您尝试调用尚不存在的方法时才会进行隐式解析。

更“惯用”的解决方案是创建自己的伪数字类型，例如：

case class Rational(a: Int, b: Int) {
  // other methods
}

val foo = Rational(3, 4)

或

case class Path(value: String) {
  def /(other: String): Path = ...
}

val p = Path("3") / "4"

Answer 2

有类似的原因吗

trait PathElement[T] { val value: T }
case class IntElement(value: Int) extends PathElement[Int]
case class StringElement(value: String) extends PathElement[String]

case class Path(parts: Seq[PathElement[_]]) {
   def /(other: Path): Path = copy(parts = parts ++ other.parts)
}
object Path {
   def apply(part: PathElement[_]): Path = Path(List(part))
   implicit def int2path(i: Int): Path = Path(IntElement(i))
   implicit def str2path(s: String): Path = Path(StringElement(s))
}

不适合你吗？例如，这将允许您编写

import Path._
"foo" / 3 / 4 / "bar"

这是可行的，因为 String 没有自己的 / 方法，因此第一个 "foo" 被隐式转换为 Path。如果您以Int 开头Path，则必须显式转换它，但您将免费获得任何其他Ints。

Answer 3

我当然只能猜测您真正想要完成什么，但我假设您不仅想匹配具体的 URL，还想从给定的字符串中提取信息。例如。当给定 "/foo/21" 时，您不仅想知道这与某些 "foo" / 21 匹配，而且您还想做一些值为 21 的事情。

我发现 Lift 中的 URI 匹配过程非常有用，所以可能适合您的用例。 （当然，我使用的是一个非常简化的版本。）它是用 Lists 完成的，这使得匹配更容易一些，但这也意味着你必须使用 :: 而不是 /。

但这不是重点：我想展示的是 not 使用隐式转换的优势和提取器的强大功能

object AsInt {
 def unapply(i: String): Option[Int] = try {
    Some(i.toInt)
  } catch {
    case e: java.lang.NumberFormatException => None
  }
}

def matchUrl(url: String) = {
  val req:List[String] = url.split('/').toList.drop(1)
  req match {
    case "foo" :: "bar" :: Nil => println("bar")
    case "foo" :: AsInt(i) :: Nil => println("The square is " + i*i)
    case "foo" :: s :: Nil => println("No int")
    case _ => println("fail")
  }
}

matchUrl("/foo/21")
matchUrl("/foo/b")
matchUrl("/foo/bar")
matchUrl("/foobar")

// prints:
// The square is 441
// No int
// bar
// fail

简而言之，使用AsInt 提取器而不是将Int 隐式转换为String，当且仅当它是可转换的并且当然可以立即使用它时，您实际上可以从字符串中检索整数值。显然，如果你不喜欢这个命名，你可以把它改成更不显眼的东西，但如果你真的想做 url 匹配，你可能不应该隐式转换所有内容。