コンパイル時の関数の引数がScalaの特定の型になるようにするには？

Question

オブジェクトの型がAnyであることがわかっていたときに、関数の引数のコンパイルタイプを関数のシグネチャに定義されている期待された型に強制的に設定する方法はありますか？私はそれを簡単な例で説明しましょう。

def writeInt(value: Int): Unit { ... } 

def writeString(value: String): Unit { ... } 

def get(name: String): Any = { ... } 

は、私は次のコードを作ることができる方法を明示的getリターンが使用されるべきことを述べるために彼のプログラムでwriteInt機能を参照するプログラマを強制することなく正常にコンパイル：

たちは、次の3つの機能を定義していることを考えると.asInstanceOf[Int]：getので

writeInt(get("dividend").asInstanceOf[Int]) // this works... 
writeInt(get("dividend"))     // but this does not :(

Intならびにであってもよい、Anyオブジェクトを返すことができますは、スカイラで醜い.asInstanceOf[Int]表記でそれを解決するためのエレガントな方法はありますか？私はget("dividend")ことを知って、

writeString(get("name").asInstanceOf[String]) // this works... 
writeString(get("name"))      // but this does not :(

基本的に：

プログラムの他の部分では、私はそれぞれ再び.asInstanceOf[String]を入力することなく、同じ機能を使用してこのコードを書くことができるようにしたいと思いますのでご注意くださいIntを返し、get("name")はStringを返します。しかし、どのように私はあまりにも混乱せずにコンパイラにそれを知らせることができますか？

Answer 1

writeメソッドのラッパーを使用することもできます。

def writeAny(a: Any): Unit = a match { 
    case s: String => writeString(s) 
    case i: Int => writeInt(i) 
} 

より良い解決策は、あなたのget()メソッドの戻り値Either[String,Int]を持っているでしょう。次に、あなたのコードはこのような何か行うことができます：一般的なルールとして

get(str).fold(writeString, writeInt) 

を、Anyは可能な限り避けるべきです。