はどのよう

Question

は、一般的な機能を検討し、コンパイル時に非ジェネリック型を強制するには？

---

私が解決したい下っ端の問題は、このようなものです：def addCase[T: ClassTag](...、まだClassTag：addCase関数は型消去のようClassTagを必要とすることによって解決することができ、警告、につながる

var actorReceive: Receive = PartialFunction.empty 
def addCase[T](handler: T => Boolean): Unit = { 
    actorReceive = actorReceive orElse ({ 
     case msg: T => // call handle at some point, plus some other logic 
      handler(msg) 
    }) 
} 

addCase[List[Int]](_ => {println("Int"); true}) 
addCase[List[String]](_ => {println("String"); false}) 

actorReceive(List("str")) // will print "Int" 

上記のコードは、と表示されません。警告やエラーは一切出されていませんが、何も出ていませんか？

Answer 1

これを反映せずにタイプシステムにそのまま適用する方法はありません。

これを実行する最も良い方法は、実行時にタイプパラメータが消去されないという証拠を提供するNonEraseable[A]などのタイプクラスを持つことです。範囲内の暗黙のNonEraseable[A]は、Aに型パラメータがないことを意味するはずです。これらは手動で作成する退屈なように、暗黙のマクロは仕事をすることができます見て：

import scala.language.experimental.macros 
import scala.reflect.macros.blackbox.Context 

trait NonEraseable[A] 

object NonEraseable { 

    implicit def ev[A]: NonEraseable[A] = macro evImpl[A] 

    def evImpl[A](c: Context)(implicit tt: c.WeakTypeTag[A]): c.Expr[NonEraseable[A]] = { 
     import c.universe._ 
     val tpe = weakTypeOf[A] 
     if(tpe.dealias.typeArgs.isEmpty) 
      c.Expr[NonEraseable[A]](q"new NonEraseable[$tpe] {}") 
     else 
      c.abort(c.enclosingPosition, s"$tpe contains parameters that will be erased at runtime.") 
    } 

} 

ユースケース：

def onlySimple[A : NonEraseable](value: A): Unit = println(value) 

scala> onlySimple(1) 
1 

scala> onlySimple(List(1, 2, 3)) 
<console>:13: error: List[Int] contains parameters that will be erased at runtime. 
     onlySimple(List(1, 2, 3)) 
       ^

がこれを使用すると、型パラメータというコンパイル時でを強制することができます文脈がNonEraseableに縛られたAはあなたが望む種類の種類です。

Answer 2

あなたは、少なくとも次のように、それは実行時に失敗してもらうことができます：

def addCase[T: ClassTag](handler: T => Boolean): Unit = 
    if (classTag[T].runtimeClass.getTypeParameters.nonEmpty) { 
    // throw an exception 
    } else { 
    // the main code 
    } 

コンパイル時の障害はmacroの代わりに、（未テスト概算）機能を使用して達成することができます。

def addCase[T](handler: T => Boolean): Unit = macro addCaseImpl 

def addCaseImpl[T: c.WeakTypeTag](c: Context)(handler: c.Expr[T => Boolean]): c.Expr[Unit] = 
    if (c.weakTypeOf[T].typeParams.nonEmpty) { 
    c.abort(c.enclosingPosition, "Generic types not allowed in addCase") 
    } else { 
    // generate code for main line 
    }