Тип псевдонима A не эквивалентен A?

Question

Этот код компилируется так же, как хорошо:

type Named[A] = (String, A) 

def foo[A](a: A) = {} 

trait Elem[A] 

val m = Map[String, Elem[_]]() 

m.foreach(e => foo[Named[Elem[_]]](e)) 

Однако это один не делает:

type NamedElem[A] = Named[Elem[A]] 

m.foreach(e => foo[NamedElem[_]](e)) 

Сообщение об ошибке не объясняет, почему:

type mismatch; 
found : (String, Elem[_]) 
required: NamedElem[_] 
    (which expands to) (String, Elem[_$2]) forSome { type _$2 } 
       Map[String, Elem[_]]().foreach(e => foo[NamedElem[_]](e)) 
                    ^

Таким образом, очевидно NamedElem[A] не Named[Elem[A]]. Это предполагаемое поведение? Или я чего-то не хватает?

Спасибо!

Answer 1

Это связано только с экзистенциальными типами. Это компилируется нормально:

type Named[A] = (String, A) 

def foo[A](a: A) = {} 

trait Elem[A] 

val m = Map[String, Elem[Int]]() 

m.foreach(e => foo[Named[Elem[Int]]](e)) 

type NamedElem[A] = Named[Elem[A]] 

m.foreach(e => foo[NamedElem[Int]](e)) 

_ просто синтаксис для forSome. В вашем случае:

NamedElem[_] расширяется до (String, Elem[T]) forSome { type T }, в то время как Named[Elem[_]] расширяется до (String, Elem[T] forSome { type T })

Так что да, NamedElem[_] и Named[Elem[_]] различные типы.

Вы можете найти более подробную информацию в моем старом вопросе: Existensial types in Scala