Scala: Typecast без явно известного параметра типа

Ответ 1

Самое чистое решение - IMO, тот, который вы нашли с совпадением типа захвата. Вы можете сделать это кратким и, надеюсь, читаемым, путем интеграции шаблона непосредственно внутри вашего для понимания, следующим образом:

for ((a, b: C[t]) <- list) {
  b.f(a.asInstanceOf[t])
}

Fiddle: http://www.scala-js-fiddle.com/gist/b9030033133ee94e8c18ad772f3461a0

Если вы уже не понимаете, к сожалению, соответствующее присвоение шаблонов не работает:

val (c, d: C[t]) = (a, b)
d.f(c.asInstanceOf[t])

Это потому, что t больше не находится в области видимости во второй строке. В этом случае вам нужно будет использовать полное соответствие шаблонов.

Ответ 2

Возможно, я смущен тем, чего вы пытаетесь достичь, но это компилируется:

case class C[T](x:T) {
  def f(t:T) = println(t)
  type ValueType = T
}

type CP[T] = (T, C[T])
val list = List[CP[T forSome {type T}]](1 -> C(2), "hello" -> C("goodbye"))

for ((a,b) <- list) {
  b.f(a)
}

Изменить

Если тип самого списка вне вашего контроля, вы все равно можете применить его к этому "правильному" типу.

case class C[T](x:T) {
  def f(t:T) = println(t)
  type ValueType = T
}

val list = List(1 -> C(2), "hello" -> C("goodbye"))

type CP[T] = (T, C[T])
for ((a,b) <- list.asInstanceOf[List[CP[T forSome { type T }]]]) {
  b.f(a)
}

Ответ 3

Отличный вопрос! Здесь можно узнать о Scala.

Другие ответы и комментарии уже затронули большинство вопросов здесь, но я хотел бы затронуть несколько дополнительных вопросов.

Вы спросили, почему этот вариант не работает:

val (a2,b2) = (a,b).asInstanceOf[(T,C[T]) forSome {type T}]
b2.f(a2)

Ты не единственный человек, который был удивлен этим; см., например, этот недавний очень похожий отчет о проблеме: SI-9899.

Как я там писал:

Я думаю, что это работает так, как это предусмотрено SLS 6.1: "Следующее правило skolemization применяется универсально для каждого выражения: если тип выражение будет экзистенциальным типом T, тогда вместо него предполагается, что тип выражения является скомемизацией T."

В принципе, каждый раз, когда вы пишете выражение уровня ценности, которое компилятор определяет для существования экзистенциального типа, создается экземпляр экзистенциального типа. b2.f(a2) имеет два подвыражения с экзистенциальным типом, а именно b2 и a2, поэтому экзистенциальный получает два разных экземпляра.

Что касается варианта варианта соответствия шаблону, в SLS 8 (сопоставление шаблонов) не существует явного языка, охватывающего поведение типов экзистенции, но 6.1 не применяется, поскольку шаблон не является технически выражением, он шаблон. Шаблон анализируется как целое, и любые типы экзистенции внутри только получают экземпляр (скомемизированный) один раз.

В качестве постскриптума обратите внимание, что да, когда вы играете в этой области, сообщения об ошибках, которые вы получаете, часто вводят в заблуждение или вводят в заблуждение и должны быть улучшены. См. Например https://github.com/scala/scala-dev/issues/205

Ответ 4

Дикая догадка, но возможно ли, что вам нужно что-то вроде этого:

case class C[+T](x:T) {
  def f[A >: T](t: A) = println(t)
}

val list = List(1 -> C(2), "hello" -> C("goodbye"))

for ((a,b) <- list) {
  b.f(a)
}

?

Он будет печатать чек.

Я не совсем уверен, что означает "гарантия времени выполнения" здесь, обычно это означает, что вы пытаетесь ввести систему типа fool (например, с помощью asInstanceOf), но тогда все ставки отключены, и вы не должны ожидать, что система типов чтобы помочь.

UPDATE

Только для иллюстрации, почему тип casting является злом:

case class C[T <: Int](x:T) {
  def f(t: T) = println(t + 1)
}

val list = List("hello" -> C(2), 2 -> C(3))

for ((a, b: C[t]) <- list) {
  b.f(a.asInstanceOf[t])
}

Он компилируется и выходит из строя во время выполнения (не удивительно).

UPDATE2

Вот какой сгенерированный код выглядит для последнего фрагмента (с C[t]):

...
val a: Object = x1._1();
val b: Test$C = x1._2().$asInstanceOf[Test$C]();
if (b.ne(null))
  {
    <synthetic> val x2: Test$C = b;
    matchEnd4({
      x2.f(scala.Int.unbox(a));
      scala.runtime.BoxedUnit.UNIT
    })
  }
...

Тип t просто исчез (как и следовало ожидать), а Scala пытается преобразовать a в верхнюю границу t в C, т.е. Int. Если нет верхней границы, она будет Any (но тогда метод f почти бесполезен, если вы не добавите снова или не используете что-то вроде println, которое принимает Any).