Resultados da pesquisa a pedido "self-type"

4 a resposta

Scala: método de implementação com tipo de retorno de instância concreta

Eu preciso de uma maneira de impor um método em uma classe abstrata para ter um tipo de retorno doconcreto classe do objeto em que é chamado. O exemplo mais ...

2 a resposta

scala self-type: value não é um erro do membro

Este é um acompanhamento paraessa questão [https://stackoverflow.com/questions/4774743/scala-self-type-member-of-type-parameter-error] . Estou tentando implementar vetores no scala com uma super classe genérica usando auto-tipos: trait Vec[V] { ...

2 a resposta

Auto-referências explícitas sem tipo / diferença com '' this ''

Entendo o uso de auto-referências explicitamente digitadas [http://www.scala-lang.org/node/124]: trait T { self : T2 => ... }No corpo,self é um alias parathis mas tem o tipo mais precisoT with T2. Agora, eu já vi isso no código: trait T { ...

2 a resposta

Como usar a digitação do Scala, tipos abstratos etc. para implementar um tipo Self?

Não consegui encontrar a resposta para isso em nenhuma outra pergunta. Suponha que eu tenha uma superclasse abstrata Abstract0 com duas subclasses, Concrete1 e Concrete1. Eu quero ser capaz de definir no Abstract0 algo como def setOption(...): ...

4 a resposta

Scala self type e this.type na edição de coleções

Estou tentando entender minha opinião de tipos abstratos e explícitos no scala. Vamos considerar este exemplo: quero criar uma base para árvore extensível tão simples quanto esta: trait Tree { def children: Iterable[Tree] def descendants: ...

1 a resposta

Tipo de campo Java para um valor de um tipo automático genericamente recursiv

Forneceu uma hierarquia de classes em que a classe base define um tipo automático recursivo: abstract class A<T extends A<T>> { }Como posso declarar outra classe (que não deve ser genérica em T, porque esse T pode variar ao longo da vida útil ...

1 a resposta

um tipo de auto-escala pode aplicar um tipo de classe de caso

Haveria alguma maneira no scala de definir o tipo próprio de uma característica para ser uma classe de caso, como em "qualquer classe de caso"? Eu gostaria que um tipo próprio pudesse usar o.copy método de uma classe de caso, reforçando que seu ...

1 a resposta

Uma aula com um tipo próprio de outra classe faz sentido?