LeoPkm2-1's questions

Tenho uma pergunta que se relaciona aos conceitos de tipo e subtipo genéricos no Typescript. Mas depois de passar um tempo lendo o documento oficial do Typescript, ainda não encontrei a resposta. Minha pergunta é: O tipo Intersection pode ser considerado um subtipo do tipo que cria a intersection .

Eu tenho o seguinte tipo:

type Dog = { color:string}
type Cat = { gender:boolean}
type Fish = { weigh: number}

type Dog_Cat_Fish = Dog & Cat & Fish;
type Dog_Cat = Dog & Cat;

Posso afirmar que:

• Dog_Cat_Fish é um subtipo de Cat(1)
• Dog_Cat_Fish é um subtipo de Dog_Cat (2)
• T & Ué um subtipo de T(3)
• T & U & Vé um subtipo de T & V(4)

Onde T, Ve Usão *variáveis ​​de tipo (tipos genéricos).

Obrigado por considerar minha pergunta idiota.

Estudei recentemente os conceitos genéricos em Typescript. Tenho um problema em entender "Por que as funções contravariância com seus parâmetros?" . Eu sei que:

1. Covarianceé se T extends U( Té atribuível a U), é verdade que G<T> extends G<U>( G<T>também é atribuível a G<U>)

2. Contravarianceé se T extends U, é certo concluir que G<U> extends G<T>(agora G<U>é atribuível a G<T>).

antes de fazer a pergunta neste fórum, li as seguintes postagens. No entanto, ainda tenho dificuldade em entender por que as funções no Typescript são contravariantes em seus parâmetros :

• Por que o tipo de acesso indexado usando genéricos resulta em interseção?
• O que são covariância e contravariância?
• Diferença entre Variância, Covariância, Contravariância, Bivariância e Invariância em TypeScript
• Covariância e Contravariância em TypeScript

Vejo que não apenas funções são contravariantes com seus parâmetros em TypeScript, mas algumas outras linguagens também são verdadeiras.

Sinto-me tão frustrado por aceitar isso sem descobrir por que é verdade. Você poderia me ajudar a explicar ou se eu estiver faltando conhecimento relacionado, por favor me diga o que é.

Estou aprendendo sobre genéricos typescript. Criei uma função genérica como a seguinte:

function getRandomElement<T>(items: T[]): T {
    let ranIndex = Math.floor(Math.random() * items.length);
    return items[ranIndex];
}

então eu intencionalmente chamei essa função e passei apenas o tipo (não passando o argumento para a função).

let result = getRandomElement<number>;

Então eu esperava que o compilador Ts me desse uma mensagem de erro sobre a criação da declaração da variável result , mas nada aconteceu. result depois disso se tornou uma função ( (items: number[]) => number). Eu quero estudar mais sobre esse recurso do typescript. Mas depois de pesquisar um pouco, não encontrei nenhuma informação essencial falando sobre isso.

Você poderia ajudar a explicar esse recurso ou me dar uma palavra-chave sobre ele? Obrigado por considerar minha pergunta idiota.