Como usar dicas de tipo em python

Usando aliases de tipo

Para definir dicas de tipo para objetos complexos contendo vários tipos ou tipos de objetos personalizados, você pode usar aliases de tipo. A amostra de código a seguir mostra o uso de aliases de tipo:

Na primeira declaração, um novo pseudônimo de tipo chamado "IntegerList" é definido ao atribuir um tipo. A definição de tipo pode ser simples ou complexa contendo vários tipos. Em seguida, esse alias de tipo é então usado na função quadrada e é atribuída ao argumento principal e valor de retorno. A função quadrada agora retorna o quadrado de cada número em uma lista. Depois de executar a amostra de código acima, você deve obter a seguinte saída:

Usando dica do tipo "qualquer"

O tipo "qualquer" pode ser usado para anotar variáveis, argumentos e tipos de retorno com qualquer tipo de dica. Objetos com dica do tipo "qualquer" podem ser uma string, um número inteiro, um bóia ou qualquer outro tipo válido em python. Aqui está um exemplo:

A primeira declaração importa o tipo "qualquer" do módulo "digitar". O módulo de digitação fornece suporte para dicas de tipo em programas Python e você deve importar certos tipos dele para usá -los. Em seguida, em vez de usar STR, int, flutuar ou qualquer outro tipo desse tipo, "qualquer" é usado para indicar que a variável pode ser de qualquer tipo durante sua vida útil. Observe que as dicas de tipo ainda não são aplicadas em Python sem usar nenhuma biblioteca de terceiros.

Usando um módulo de terceiros para verificar dicas do tipo

MyPy é um dos módulos de verificação do tipo mais amplamente utilizados disponíveis para Python. Você pode usá -lo para encontrar erros relacionados ao tipo de dica em seus programas Python. Você pode instalá -lo no Ubuntu e em outras distribuições Linux do gerenciador de pacotes PIP. Para fazer isso, execute um desses comandos:

$ pip instalar mypy
$ pip3 instale mypy

Depois que o MyPy estiver instalado no seu sistema Linux, você pode verificar problemas de verificação rigorosos em um programa Python, executando um comando no seguinte formato:

$ mypy Program.py

Observe que MyPy é apenas uma ferramenta para verificar a verificação estrita. Ele executará um relatório no seu programa Python e mostrará erros de verificação de tipo de tipo. No entanto, você ainda poderá executar programas Python normalmente (com ou sem dicas de tipo) e nenhum tipo de erro relacionado a dica será lançado durante a execução. Considere a seguinte amostra de código:

Esta amostra de código é idêntica a um dos exemplos explicados acima. Supondo que reside em um “principal.arquivo py ”, você pode verificar as dicas do tipo usando o mypy executando o seguinte comando:

$ mypy main.py

Depois de executar o comando acima, você deve obter a seguinte saída:

Se você fornecer um objeto de tipo de flutuação para a chamada de função quadrada no mesmo exemplo acima, o mypy lançará um erro.

Agora, quando você executa o arquivo usando “mypy main.comando py ”, você receberá um erro semelhante a este:

Este é apenas um relatório de erro que mostrará que você digitará erros de dica. Se você executar as duas amostras de código mencionadas acima sem mypy, obterá a seguinte saída:

Isso abrange o uso mais básico e comum da sintaxe do tipo Dicas em Python. Para obter mais informações sobre dicas de tipo, uso avançado e tipos personalizados, consulte a documentação oficial do Python disponível aqui.

Conclusão

Dicas de tipo em Python fornecem uma maneira sistemática de anexar indicadores de tipo a variáveis, funções e classes. Embora o próprio Python não aplique dicas do tipo, você pode usar módulos de terceiros para verificar as dicas do tipo e usá -las como uma forma básica de testes para afirmar o comportamento pretendido dos objetos Python em seu programa. A maneira como a linguagem de programação Python é projetada e sua filosofia principal, verificação estrita do tipo para dicas de tipo nunca pode ser implementada na biblioteca Python padrão.