Como encontrar o tipo de dados do parâmetro de classe em tempo de execução no scala

Nov 29 2020
import scala.reflect.runtime.universe
import scala.reflect.runtime.universe._

def getType[T: TypeTag](obj: T) = typeOf[T]

case class Thing(
  val id: Int,
  var name: String
)
val thing = Thing(1, "Apple")

val dataType = getType(thing).decl(TermName("id")).asTerm.typeSignature

dataType match {
 case t if t =:= typeOf[Int] => println("I am Int")
 case t if t =:= typeOf[String] => println("String, Do some stuff")
 case _ => println("Absurd")
}

Não é capaz de digerir porque o resultado é em Absurdvez de I am int?

Meu objetivo é saber o tipo de dado do parâmetro de classe em tempo de execução e combiná-lo com os tipos predefinidos.

Respostas

4 DmytroMitin Nov 29 2020 at 17:20

Ambos os atuais dataTypee typeOf[Int]são impressos como, Intmas se você fizer showRawisso, verá porque eles não correspondem

showRaw(dataType) // NullaryMethodType(TypeRef(ThisType(scala), scala.Int, List()))
showRaw(typeOf[Int]) // TypeRef(ThisType(scala), scala.Int, List())

A questão é que apenas o tipo Inte o tipo de método nulo retornando Intsão tipos diferentes.

Tente adicionar .resultType

val dataType = getType(thing).decl(TermName("id")).asTerm.typeSignature.resultType

dataType match {
  case t if t =:= typeOf[Int] => println("I am Int")
  case t if t =:= typeOf[String] => println("String, Do some stuff")
  case _ => println("Absurd")
} // I am Int

Também vale a pena mencionar que .decl(TermName("id"))retorna o símbolo getter, é .decl(TermName("id "))(com um espaço em branco) que retorna o símbolo do campo. Então, alternativamente, você pode fazer com um espaço em branco no nome do símbolo e sem.resultType

val dataType = getType(thing).decl(TermName("id ")).asTerm.typeSignature

Vou acrescentar a @TomerShetah 's resposta que, se o objetivo é 'padrão de correspondência' todos os campos de uma classe caso, então isso pode ser feito também em tempo de compilação (principalmente) com Shapeless :

import shapeless.Poly1
import shapeless.syntax.std.product._

object printTypes extends Poly1 {
  implicit val int: Case.Aux[Int, Unit] = at(t => println(s"I am Int: $t")) implicit val string: Case.Aux[String, Unit] = at(t => println(s"String, Do some stuff: $t"))
  implicit def default[V]: Case.Aux[V, Unit] = at(t => println(s"Absurd: $t"))
}
  
thing.toHList.map(printTypes)
// I am Int: 1
// String, Do some stuff: Apple

https://scastie.scala-lang.org/DmytroMitin/N4Idk4KcRumQJZE2CHC0yQ

1 TomerShetah Nov 30 2020 at 11:28

A resposta @Dmytrio é uma ótima explicação de porque o reflexo não funcionou como você esperava.

Posso entender a partir de sua pergunta, que o que você está tentando fazer é, na verdade, corresponder a todas as variáveis ​​que você tem em uma classe de caso. Considere fazer isso da seguinte maneira:

case class Thing(id: Int, name: String)
val thing = Thing(1, "Apple")

thing.productIterator.foreach {
  case t: Int => println(s"I am Int: $t") case t: String => println(s"String, Do some stuff: $t")
  case t => println(s"Absurd: $t")
} 

Código executado em Scastie .