предупреждения Scala: абстрактный узор типа Z снят, так как она удаляется стиранием

Question

Я принял взглянуть на ответы по этой теме, но я просто не получил, как решить эту проблему в этом фрагменте:

object MyObj { 

    def validate[Z](json: JsValue)(implicit rds: Reads[Z]): Either[Error,Z] = { 
    json.validate[Z].map{ 
     case r: Z => Right(r) // Type Erasure here.... 
    }.recoverTotal{ 
     e => Left(JsonParsingError(JsError.toFlatJson(e).toString)) 
    } 
    } 

} 

Любая помощь?

Answer 1

Я думаю, что все, что вам действительно нужно сделать, чтобы убить эту ошибку, отбрасывает тип подписи : Z. Вы уже знаете, что это будет Z, если validate дает вам JsSuccess. В противном случае вы окажетесь в recoverTotal.

Я думаю, что вы хотите:

object MyObj { 
    def validate[Z](json: JsValue)(implicit rds: Reads[Z]): Either[Error,Z] = { 
    json.validate[Z].map(Right _).recoverTotal{ e => 
     Left(JsonParsingError(JsError.toFlatJson(e).toString)) 
    } 
    } 
} 

Хотя то, что вы можете действительно хотите:

implicit def readsEither[Z](implicit rds: Reads[Z]): Reads[Either[Error, Z]] = Reads { json => 
    rds.reads(json).map(Right(_)).recoverTotal { e => 
    JsSuccess(Left(JsonParsingError(JsError.toFlatJson(e).toString))) 
    } 
} 

Этот последний пример хорош, поскольку он определяет Reads, который сочиняет красиво.

Я не тестировал это, и не могу, потому что у меня нет JsonParsingError, но это должно более или менее решить вашу проблему.

Edit: учитывая тот факт, что ваш код требует неявного Reads[Z] уже, вы можете также попробовать:

def jsonAsEither(json: JsValue)(implicit rds: Reads[Z]) = 
    Json.fromJson(json).asEither.left.map(/* ... */).e