Scala параметр типа класса стирания

Question

У меня есть следующие настройки:

class Test[A](function: A => String) { 
    def process(data: Any) {   //has to be Any since it is user IO 
     if (data of Type A) 
      function(data) 
    } 
} 

Я не могу показаться, чтобы получить typecheck работать. Я попытался добавить неявный TypeTag для проверки [A], но я не смог получить к нему доступ изнутри proccess. Возможно ли совпадение с параметром типа Test в рамках функции процесса?

Answer 1

Используйте ClassTag и match для этой цели:

import scala.reflect.ClassTag 

class Test[A : ClassTag](function: A => String) { 
    def process(data: Any) { //has to be Any since it is user IO 
    data match { 
     case data: A => function(data) 
     case _  => 
    } 
    } 
} 

Благодаря в рамках неявного ClassTag, то match может различать A несмотря на то, что является общим.

Answer 2

использованием Shapeless:

class Test[A: Typeable](function: A => String){ 
    import shapeless.syntax.typeable._ 
    def process(data: Any) {   //has to be Any since it is user IO 
     data.cast[A] map { function(_) } 
    } 
    } 

Это один является безопасным, в том, что она возвращает один вариант [A], так что, когда бросок терпит неудачу, Вы можете соответствовать шаблону на None.

Answer 3

Я не уверен, почему data должно быть типа Any (не будет пользовательский ввод быть типа String?), Но если это действительно так, то это, вероятно, отражает ситуацию, когда тип не может ожидаться во время компиляции время. В таком случае, вы, вероятно, хотите способ бросить ошибку времени выполнения при попытке бросить:

class Test[A](function: A => String) { 
    def process(data: Any) = { 
     function(data.asInstanceOf[A]) //might throw an error 
    } 
} 

Или, возможно, использовать Try монады:

class Test[A](function: A => String) { 
    def process(data: Any) = { 
     Try(function(data.asInstanceOf[A])) 
    } 
} 

Конечно, что является наиболее предпочтительным будет чтобы узнать тип data во время компиляции:

class Test[A](function: A => String) { 
    def process(data: A) = { 
     function(data) 
    } 
}