Conjuntos de erros inferidos

Dar um nome a cada erro que uma função pode retornar pode ser trabalhoso, especialmente quando ela chama outras funções que podem falhar. Zig pode inferir o conjunto.

Escreva apenas !T, sem nada antes do ponto de exclamação. Zig analisa o corpo da função e descobre todos os erros que ela pode produzir.

Cada try e cada erro retornado dentro do corpo são reunidos automaticamente em um único conjunto de erros inferido para essa função.

Adicione mais tarde uma chamada que possa falhar, e o conjunto inferido crescerá para incluí-la. Você nunca se esquece de atualizar uma lista escrita manualmente.

Se sua função usar try em outra chamada que possa falhar, os possíveis erros dessa função chamada também serão incorporados ao seu conjunto inferido.

Às vezes você quer um contrato público fixo. Dar um nome ao conjunto antes de ! proíbe qualquer erro fora dele, algo que a inferência não faz.

Conjuntos inferidos são convenientes e se atualizam sozinhos; conjuntos explícitos são precisos e estáveis. Escolha de acordo com a necessidade de manter o contrato inalterado.

Você ainda pode raciocinar sobre erros em tempo de execução. Nas compilações de depuração, o Zig mantém um rastro de retorno de erro que mostra onde uma falha começou.

A inferência se destaca em funções auxiliares privadas, nas quais uma API pública estrita não é necessária. Deixe o Zig cuidar desse controle administrativo.

Inferido ou explícito, todo erro ainda precisa ser tratado pelos chamadores. A inferência economiza digitação, não segurança; o compilador continua estrito.

Muitas funções do Zig simplesmente usam !T e deixam a inferência trabalhar. Reserve conjuntos nomeados para os limites que você quer fixar.

Uma função é declarada com o tipo de retorno !u32 e sem um conjunto de erros antes do ponto de exclamação. O que o Zig faz?

Você viu conjuntos de erros inferidos por meio de !T sem nome, como eles crescem com o corpo e quando um conjunto explícito é a melhor escolha. ✅