类型类型的默认隐式对象/定义

Question

我有一个要求在runTime中拦截dateTime，LocalDate和Option的toString。

@implicitNotFound("No member of type class ReportString in scope for ${T}") 
trait ReportStringTransformer[T] { 
    def toReportString(e: T): String 
} 

object ReportStringTransformer { 
    implicit object ReportStringTransformerDateTime 
    extends ReportStringTransformer[DateTime] { 
     override def toReportString(e: DateTime): String = 
     ISODateTimeFormat.dateTime().print(e) 
    } 

    implicit object ReportStringTransformerDate 
    extends ReportStringTransformer[LocalDate] { 
     override def toReportString(e: LocalDate): String = 
     ISODateTimeFormat.date().print(e) 
    } 

    implicit def ReportStringTransformerOpt[T]: ReportStringTransformer[Option[T]] = 
    new ReportStringTransformer[Option[T]] { 
     override def toReportString(e: Option[T]): String = e match { 
     case Some(obj) => ReportStringTransform.transform(obj) 
     case None => "" 
     } 
    } 
} 

object ReportStringTransform { 
    def transform[T](obj: T)(implicit t: ReportStringTransformer[T]): String = 
    t.toReportString(obj) 
} 

我可以添加一个默认的变压器在这只能 后这些被拾起末的所有类，但没有任何其他清洁的方式呢？

Answer 1

您的实现可以如下简化：

@implicitNotFound("No member of type class Show in scope for ${T}") 
case class Show[T](f: T => String) extends AnyVal 

object Show { 
    implicit val showDateTime = Show[DateTime](ISODateTimeFormat.dateTime() print _) 
    implicit val showDate = Show[LocalDate](ISODateTimeFormat.date() print _) 
    implicit def showOpt[T](implicit s: Show[T]) = Show[Option[T]](_.fold("")(s.f)) 
} 

为了有一个后备的任何不是一个DateTime，一个LocalDate或者要么这些的Option，可以将以下特征作为一个paraent object Show

trait LowPriorityShow { 
    implicit def showAnything[T] = Show[T](_.toString) 
} 

object Show extends LowPriorityShow { ... }