¿Qué significa '#' en un parámetro de tipo?

Question

Duplicar posible:
Why does one select Scala type members with a hash instead of a dot?

a veces veo un parámetro de tipo como:

class Test[K] { 
    type T = Foo[K#Bar] 
} 

Por favor alguien puede explicar lo que significa el '#' en este tipo de parámetro? ¿Es algún tipo de restricción para K?

Answer 1

No, el # es una proyección de tipo. En su caso, sin embargo, eso no funciona porque K no define ningún tipo de BAR.

trait A { 
      type T 
      def apply():T 
} 

trait MyClass[X<:A] { 
       type SomeType = X#T 
       def applySeq():Traversable[SomeType] 
} 


class AImpl extends A { 
     type T=Int 
     def apply():Int = 10 
} 

class MyClassImpl extends MyClass[AImpl] { 
     def applySeq(): Traversable[SomeType] = List(10) 
} 

Que básicamente le permite usar el tipo T en A dentro de MyClass.

De hecho, también la siguiente compilación:

class MyClassImpl extends MyClass[AImpl] {def applySeq(): Traversable[Int] = List(10)} 

Answer 2

'#' se utiliza para proyectar un tipo cerrado en otro tipo. Ver this answer a la pregunta "Why does one select Scala type members with a hash instead of a dot"?