Cosa significa "#" in un parametro di tipo?

Question

Eventuali duplicati:
Why does one select Scala type members with a hash instead of a dot?

volte vedo un parametro di tipo simile:

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

Qualcuno può spiegare che cosa il '#' significa in questo parametro tipo? È una sorta di restrizione per K?

Answer 1

No, il # è un tipo di proiezione. Nel tuo caso, tuttavia, ciò non funziona perché K non definisce alcun tipo di 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) 
} 

Questo in pratica consente di utilizzare il tipo T in A all'interno di MyClass.

In realtà, anche la seguente compilazione:

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

Answer 2

'#' viene utilizzato per proiettare un tipo racchiuso in un altro tipo. Vedi this answer alla domanda "Why does one select Scala type members with a hash instead of a dot"?