メイク機能は、以下のスカラ値のタイプを想像してみて、私のIntベースの値型

Question

を受け入れる：

class Prime(val self: Int) extends AnyVal { 
    def +(i: Int): Int = self+i 
} 

は、どのように私は私の機能incは、引数としてPrimeを受け入れるだけでなく、任意の正規Intすることができますか？私は、この関数の呼び出しを許可するように変更のいずれかPrimeまたはincを作るための方法を探しています

scala> inc(new Prime(2)) 
<console>:10: error: type mismatch; 
found : Prime 
required: Int 
     inc(new Prime(2)) 
     ^

：

def inc(i: Int): Int = i + 1 

は今のところ、私は次のタイプのエラーが発生します。

Answer 1

Primeは、コンパイル時ではなく実行時にintになるため、変換するためにintへの変換器が必要です。

implicit def backToInt(p:Prime): Int = p.self 

これで暗黙的にintに変換されるinc(new Prime(2))を渡すことができます。しかしこれは型安全性である値型の点を打ち破っています。