暗黙の変換を介しての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)) 
} 

のような理由があります

はお役に立てませんか？これは、文字列は、独自の/メソッドを持っていないので、最初の"foo"が暗黙的にPathに変換されるので、これは、作品

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

、たとえば、あなたが書くことができるようになります。 IntでPathを開始していた場合は、明示的に変換する必要がありますが、Intを無料で入手できます。

Answer 3

あなたが本当に達成したいことだけを推測することはもちろんですが、具体的なURLに一致させるだけでなく、指定された文字列から情報を抽出したいと思っています。例えば。 "/foo/21"が指定されている場合、これは"foo"/21と一致することを知りたいだけでなく、値が21の何かをしたいと思っています。

リフトのURIマッチングプロセスが非常に有用であることがわかりましたあなたのユースケースに合っています。 （私はもちろん、非常に単純化されたバージョンを使用しています）リストを使って少し簡単にマッチングさせることができますが、の代わりに/を使う必要があります。

しかし、それはポイントではありません。私が示したいのはないの利点はの暗黙的な変換の代わりにAsInt抽出器を使用して、暗黙的な変換と抽出要するに

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 

の電源を使用していますInt〜String実際には文字列から整数値を取得することができます。明らかに、ネーミングが気に入らなければ、それをより控えめなものに変更することができますが、実際にURLのマッチングを行う場合は、暗黙的にすべてを変換しないでください。