O tipo unknown
é uma feature um pouco mais recente da linguagem, e é dito como um any
, só que type safe.
Então, ficaram-me algumas dúvidas:
- Qual a sua diferença em relação ao
any
? - É seguro utilizá-lo no quesito de segurança de tipos?
O tipo unknown
é uma feature um pouco mais recente da linguagem, e é dito como um any
, só que type safe.
Então, ficaram-me algumas dúvidas:
any
?O meu entendimento disto é que o any
funciona como o dynamic
do C# (já explico para quem não conhece a linguagem) e o unknown
é o object
, ou quase isto.
Com o any
você pode tentar acessar qualquer membro do objeto e a linguagem deixa, até que na execução se o membro não estiver disponível para o objeto haverá um erro, e por isso não há segurança de tipo. Na hora que for executar ele sabe se dá para acessar, mas não antes. Você pode receber qualquer valor em um objeto do tipo any
e pode guardar esse objeto any
em qualquer outro objeto.
let valor: any;
valor = 1;
let numero : number = valor;
valor = "SOpt";
valor.toUpperCase();
valor = [];
valor = {};
//valor.toUpperCase(); //tire o comentário para ver o erro em tempo de execução
console.log(numero);
Coloquei no GitHub para referência futura.
O erro aí ocorre porque nessa última linha um objeto qualquer não tem a função toUpperCase()
, mas quando o objeto era uma string
funcionou o chamado.
Já o unknown
não te deixa acessar membro algum do objeto e por causa disto qualquer tentativa de acesso causará erro (é um pouco diferente do C# que o object
deixa acessar alguns membros do tipo object
). Também há a diferença que ele pode receber qualquer objeto, mas não pode ser atribuído para qualquer objeto, precisa haver compatibilidade.
E ainda deve ter uma dúvida para que serve então um tipo que não deixa acessar qualquer coisa. Aí entra a segurança de tipo mantendo a flexibilidade da linguagem. Você pode transportar tipos de forma "genérica", mas só pode usar se tiver certeza que pode acessar o conteúdo que está lá, então somente se você testar essa capacidade antes é que ele deixa fazer algum acesso. Existem algumas formas de provar que é seguro acessar um membro do objeto, vou mostrar duas:
let valor: unknown;
valor = 1;
//let numero : number = valor; //isso dá erro em compilação
let numero : number = valor as number;
console.log(valor); //compila e funciona
valor = "SOpt";
//valor.toUpperCase(); //isso daria erro em compilação
if (typeof valor === "string") console.log(valor.toUpperCase()); //compila e funciona
valor = [];
valor = {};
Veja funcionando no repl.it.
Rode no Playground.
Somente quando o código pode provar que o tipo está correto é que ele deixa acessar os membros do objeto. Então é seguro usar porque o compilador só deixa passar quando ele garante que não quebrará a tipagem.
Isto pode ajudar: O que é estilo de tipagem?.