I genel olarak böyle bir sızdırmaz durumda sınıfı ailesi için bir kodek elde kolayca olabilir tip (mühürlü): Bir ekleme durumunda, ancaküye
import io.circe._
import io.circe.generic.auto._
sealed trait Base
case class X(x: Int) extends Base
case class Y(y: Int) extends Base
object Test extends App {
val encoded = Encoder[Base].apply(Y(1))
val decoded = Decoder[Base].apply(encoded.hcursor)
println(decoded) // Right(Y(1))
}
bir mühürlü özelliği ile sınırlanan olsa bile ben artık yapamam temel sınıf, bir tür üyesi:
import io.circe._
import io.circe.generic.auto._
sealed trait Inner
case class I1(i: Int) extends Inner
case class I2(s: String) extends Inner
sealed trait Base { type T <: Inner }
case class X[S <: Inner](x: S) extends Base { final type T = S }
case class Y[S <: Inner](y: S) extends Base { final type T = S }
object Test extends App {
val encodedInner = Encoder[Inner].apply(I1(1))
val decodedInner = Decoder[Inner].apply(encodedInner.hcursor) // Ok
println(decodedInner) // Right(I1(1))
// Doesn't work: could not find implicit for Encoder[Base] etc
// val encoded = Encoder[Base].apply(Y(I1(1)))
// val decoded = Decoder[Base].apply(encoded.hcursor)
// println(decoded)
}
istediğimi elde edebilirsiniz bir yolu var mı? Değilse, benzer bir şey elde etmek için ne değiştirebilirim?
Yardımcı model ile denediyseniz ne olur? Örneğin. 'type Aux [A <: Input] = Base {type T = A}' o zaman 'Aux'den uzar? Ayrıca, bir tür üye olmak için gerçekten ihtiyacınız var mı? – pyrospade
Aslında, vaka sınıflarınız bir 'Inner' yerine bir 'S <: Inner' yerine argüman olarak alınabilir. – pyrospade
Bir yanıt ekledim, ancak daha fazla ayrıntı ve açıklama yanı sıra daha iyi bir uygulama eklemek için gözden geçirdik. – pyrospade