Scala extract/pattern matching with companion object

Question

Данный код взято из Spark SQL. Он выполняет извлечение, но castType является сопутствующим объектом - его можно назвать TypeCast.castTo("abc", StringType). Может ли кто-нибудь объяснить, как работает шаблон с объектами-компаньонами под капотом?

private[csv] def castTo(datum: String, castType: DataType): Any = {         
    castType match {                     
    case _: ByteType => datum.toByte                 
    case _: ShortType => datum.toShort 
    case _: IntegerType => datum.toInt 
    case _: LongType => datum.toLong 
    case _: FloatType => datum.toFloat 
    case _: DoubleType => datum.toDouble                
    case _: BooleanType => datum.toBoolean               
    case _: DecimalType => new BigDecimal(datum.replaceAll(",", ""))         
    case _: TimestampType => Timestamp.valueOf(datum)            
    case _: DateType => Date.valueOf(datum)               
    case _: StringType => datum 
    case _ => throw new RuntimeException(s"Unsupported type: ${castType.typeName}")     
    } 
} 

ДОБАВЛЕНО: Основываясь на моем понимании extractin/шаблон согласования, как правило, реализуется с помощью метода Исключить объекта-компаньона. Это пример того, как тематические классы implemented under the hood

trait User { 
    def name: String 
} 
class FreeUser(val name: String) extends User 
class PremiumUser(val name: String) extends User 

object FreeUser { 
    def unapply(user: FreeUser): Option[String] = Some(user.name) 
} 
object PremiumUser { 
    def unapply(user: PremiumUser): Option[String] = Some(user.name) 
} 

Я не очень понимаю, как то же самое может быть сделано для классов-компаньонов

Answer 1

Я никогда не работал с искрой, так что я не могу ответить с конкретными Искры знаний.

Но соответствие шаблону в вашем примере похоже на обычный шаблон.

castType - это экземпляр типа DataType, который имеет несколько подклассов, например. ByteType. Совпадение шаблонов просто проверяет, принадлежит ли объект castType к определенному классу (например, ByteType).

Поскольку существуют только одноточечные экземпляры нескольких подтипов, сопоставление не обязательно должно содержать экземпляр совпадений. Вот почему в матче используется только местозаполнитель _.