O Que É Covariância?

Covariância é a variância em que o subtyping entre argumentos de tipo flui na mesma direção para os tipos genéricos construídos a partir deles, de modo que um contêiner de um subtipo é um subtipo de um contêiner de um supertipo. É segura quando o parâmetro de tipo é apenas produzido, como uma sequência somente-leitura. Ler um subtipo onde um supertipo é esperado é sempre válido.

Por que isso importa

Covariância permite passar uma lista de um tipo mais específico onde uma lista de um tipo mais geral é esperada para uso somente-leitura. Saber quando é segura evita tanto APIs excessivamente rígidas quanto atribuições não sólidas.

Guias relacionados