Mais pragmaticamente, se não foi seguro, todo programa de rust
seria totalmente inseguro, uma vez que toda a biblioteca padrão é
Escrito em Rust, construído em cima de internos inseguros.Rust pretende ser seguro para a memória, de modo que, por padrão, o código não pode travar
(ou ser explorado) devido a ponteiros pendentes ou iterador
invalidação.Se o tamanho for 0, então
Malloc () retorna nulo ou um valor de ponteiro único que pode mais tarde
ser aprovado com sucesso para grátis ().O tipo VEC
definiram
como:
Existem (pelo menos) dois invariantes aqui:
Não é viável expressá -los no sistema de tipo de rust, então eles são
garantido por uma implementação cuidadosa.Isso é alcançado através de um sistema de tipo poderoso (com
semelhanças com Haskell) e rastreamento cuidadoso da propriedade e
Ponteiros, garantindo a segurança.
Fonte: https://huonw.github.io/blog/2014/07/what-does-rusts-unsafe-mean/
