Scala расходится неявное расширение - PullRequest
Новая
       8

Scala расходится неявное расширение

1 голос
/ 15 марта 2019

Я хочу написать экземпляр anorm.ToStatement для универсального enumeratum.values.ValueEnumEntry [ValueType]. Но похоже, что ValueType не выводится правильно.

Мой код: 

import java.sql.PreparedStatement
import anorm._
import enumeratum.values._

sealed trait Test extends IntEnumEntry
object Test extends IntEnum[Test] {
  case object One extends Test {val value = 1}
  val values = findValues
}

implicit def valueEnumEntryToStatement[ValueType: ToStatement, A <: ValueEnumEntry[ValueType]]: ToStatement[A] =
  (s: PreparedStatement, index: Int, v: A) => implicitly[ToStatement[ValueType]].set(s, index, v.value)

val toStatement: ToStatement[Test] = implicitly[ToStatement[Test]] //NOT OK: diverging implicit expansion for type anorm.ToStatement[ValueType]

Ошибка при неявном расширении для типа anorm.ToStatement [ValueType].

Но если я устанавливаю тип Int явно, он работает. 

//either
implicit def valueEnumEntryToStatement[A <: ValueEnumEntry[Int]]: ToStatement[A] =
  (s: PreparedStatement, index: Int, v: A) => implicitly[ToStatement[Int]].set(s, index, v.value)

val toStatement: ToStatement[Test] = implicitly[ToStatement[Test]] //OK
//or
def valueEnumEntryToStatement[ValueType: ToStatement, A <: ValueEnumEntry[ValueType]]: ToStatement[A] =
  (s: PreparedStatement, index: Int, v: A) => implicitly[ToStatement[ValueType]].set(s, index, v.value)
implicit def intEnumEntryToStatement[A <: IntEnumEntry]: ToStatement[A] = valueEnumEntryToStatement[Int, A]

val toStatement: ToStatement[Test] = implicitly[ToStatement[Test]]

Есть ли способ сделать общее решение без явной установки типа?

1 Ответ

0 голосов
/ 18 марта 2019

Проблема в том, что ValueType является параметром типа в признаке ValueEnumEntry и там нет члена типа ValueType (поэтому мы не можем использовать тип Test#ValueType).Попробуйте определить класс типа 

  import java.sql.PreparedStatement
  import anorm._
  import enumeratum.values._

  sealed trait Test extends IntEnumEntry
  object Test extends IntEnum[Test] {
    case object One extends Test {val value = 1}
    val values = findValues
  }

  trait ValueEnumValueType[EntryType <: ValueEnumEntry[_]] {
    type ValueType
  }
  object ValueEnumValueType {
    type Aux[EntryType <: ValueEnumEntry[_], VT] = ValueEnumValueType[EntryType] { type ValueType = VT }
    implicit def byte[A <: ByteEnumEntry]    : Aux[A, Byte]   = null
    implicit def char[A <: CharEnumEntry]    : Aux[A, Char]   = null
    implicit def int[A <: IntEnumEntry]      : Aux[A, Int]    = null
    implicit def long[A <: LongEnumEntry]    : Aux[A, Long]   = null
    implicit def short[A <: ShortEnumEntry]  : Aux[A, Short]  = null
    implicit def string[A <: StringEnumEntry]: Aux[A, String] = null
  }

  implicit def valueEnumEntryToStatement[ValueType, A <: ValueEnumEntry[ValueType]](implicit
    enumValueType: ValueEnumValueType.Aux[A, ValueType],
    toStatement: ToStatement[ValueType]): ToStatement[A] =
    (s: PreparedStatement, index: Int, v: A) => toStatement.set(s, index, v.value)

  val toStatement: ToStatement[Test] = implicitly[ToStatement[Test]]
...