मैनिफेस्ट

Question

This great daily Scala article मिलान के साथ मिलान करने वाले स्केल पैटर्न मिलान से मेल खाने के प्रकार को कैसे दूर किया जाए। मैं पैरामीटरयुक्त प्रकारों के इंडेक्ससेक को बदलने के लिए तकनीक को लागू करने की कोशिश कर रहा हूं, लेकिन मैचों में असफल रहा है। ऐसा क्यों है और मैं इसे कैसे ठीक कर सकता हुं?

object Example extends App{ 
    class TableColumn[T](
     val values: IndexedSeq[T], 
     val name: Option[String] = None 
    )(implicit val m: Manifest[T]) 

    class Def[C](implicit desired : Manifest[C]) { 
     def unapply[X](c : X)(implicit m : Manifest[X]) : Option[C] = { 
      //println("m.toString+", "+desired.toString) 
      def sameArgs = desired.typeArguments.zip(m.typeArguments).forall { 
       case (desired,actual) => desired >:> actual 
      } 
      if (desired >:> m && sameArgs) Some(c.asInstanceOf[C]) 
      else None 
     } 
    } 

    val IntTableColumn = new Def[TableColumn[Int]] 
    val DoubleTableColumn = new Def[TableColumn[Double]] 

    class Analysis(data: IndexedSeq[TableColumn[_]]){ 
     val transformedData = data.map{_ match{ 
      case IntTableColumn(tc) => println("Column of Int! "+ tc) 
      case DoubleTableColumn(tc) => println("Column of Double! "+ tc) 
      case _ => println("no match") 
     }} 
    } 

    new Analysis(IndexedSeq(
      new TableColumn(IndexedSeq(1,2,3)), 
      new TableColumn(IndexedSeq(1.0,2.0,3.0)) 
    )) 
} 

अगर मैं डेफ में लाइन uncomment तो मैं इस तरह के

prototype.Example$TableColumn[_ <: Any], prototype.Example$TableColumn[Int] 

सुझाव है कि _ विश्लेषण निर्माता में समस्या यह है के रूप में लाइनों देखते हैं, लेकिन मैं नहीं जानता कि और क्या में डालने के लिए क्या आप वहां मौजूद हैं।

Answer 1

रेक्स केर से टिप्पणियों के लिए धन्यवाद मैंने कुछ ऐसा काम किया है जो मुझे लगता है। यह शायद अधिक सुंदर ढंग से/आम तौर पर किया जा सकता है, लेकिन यह काम अब के लिए किया जाना लगता है:

object Example extends App{ 
    class TableColumn[T](
      val values: IndexedSeq[T], 
      val name: Option[String] = None 
    )(implicit val m: Manifest[T]) 

    class TableColumnMatcher[T](implicit desired: Manifest[T]){ 
     def unapply(tc: TableColumn[_]): Option[TableColumn[T]] = { 
      if(tc.m == desired) Some(tc.asInstanceOf[TableColumn[T]]) 
      else None 
     } 
    } 
    object TableColumnMatcher{ 
     lazy val IntTC = new TableColumnMatcher[Int] 
     lazy val DoubleTC = new TableColumnMatcher[Double] 
    } 


    class Analysis(data: IndexedSeq[TableColumn[_]]){ 
     import TableColumnMatcher._ 
     val transformedData = data.map{_ match{ 
      case IntTC(tc) => println("Column of Ints!"); 
      case DoubleTC(tc) => println("Column of Doubles!") 
      case _ => println("no match") 
     }} 
    } 

    new Analysis(IndexedSeq(
      new TableColumn(IndexedSeq(1,2,3)), 
      new TableColumn(IndexedSeq(1.0,2.0,3.0)) 
    )) 
}