Resultados da pesquisa a pedido "contravariance"
Por que o exemplo não é compilado, também conhecido como (co-, contra- e in) variação?
Seguindo emessa questão [https://stackoverflow.com/questions/663032/generic-wildcards-in-variable-declarations-in-scala] , alguém pode explicar o seguinte em Scala: class Slot[+T] (var some: T) { // DOES NOT COMPILE // "COVARIANT parameter ...
Função geral 'map' para tuplas de Scala?
Gostaria de mapear os elementos de uma tupla de Scala (ou tripla, ...) usando uma única função retornando o tipo R. O resultado deve ser uma tupla (ou tripla, ...) com elementos do tipo R. OK, se os elementos da tupla forem do mesmo tipo, o ...
Por que os tipos de parâmetro contravariantes em Java não são permitidos para substituição?
Ao substituir um método de uma superclasse, o Java permite que o tipo de retorno seja covariante.Por que os tipos de parâmetros contravariantes são contrasta...
Como a co-e a contra-variação são usadas no design de aplicativos de negócio
Eu sei sobre o uso deco- econtravariance na biblioteca padrão (por exemplo, coleções e característicasFunction) Me pergunto comoco- econtravariance são usados no design de aplicativos de negócios do "mundo real"
Não é possível converter implicitamente MyType <Foo> para MyType <IFoo>
Não tenho certeza se este é um problema de Covariância e Contravariância, mas não consigo fazer isso funcionar. Aqui está o código:
Anotação de variação de C # de um parâmetro de tipo, restrita ao tipo de valor
É possível em C # adicionar anotação de variação ao parâmetro type, restrita ao tipo value: interface IFoo<in T> where T : struct { void Boo(T x); }Por que isso é permitido pelo compilador se a anotação de variação não faz absolutamente nenhum ...
ref e out parâmetros em C # e não podem ser marcados como variante
O que a declaração significa? Daqui [http://msdn.microsoft.com/en-us/library/dd233060.aspx] ref e out parâmetros em C # e não podem ser marcados como variantes. 1) Isso significa que o seguinte não pode ser feito. public class SomeClass<R, ...
uringas genéricos em declarações variáveis no Sca
Em Java eu devo fazer isso: class MyClass { private List<? extends MyInterface> list; public void setList(List<MyImpl> l) { list = l; } }...assumindo que MyImpl implements MyInterface) claro O que é o analógico para isso em Scala, ao usar ...
Regras de variação em c #
oRegras exatas para validade de variância são um pouco vagos e não específicos. Vou listar as regras para o que faz um tipo válido-covariantly e anexar algum...