• Box é parecido com std::unique_ptr em C++, exceto que ele é garantidamente não nulo.

• Uma Box é útil quando você:

  • há um tipo cujo tamanho não está disponível em tempo de compilação, mas o compilador Rust precisa saber o tamanho exato.
  • quer transferir o ownership de um grande volume de dados. Ao invés de copiar grandes volumes de dados na pilha, eles são armazenados usando uma Box no heap e apenas o ponteiro é movido.

• Se Box não for usado e tentarmos incorporar um List diretamente no List, o compilador não conseguiria calcular um tamanho fixo da struct na memória (List teria tamanho infinito).

• Box resolve esse problema, pois tem o mesmo tamanho de um ponteiro normal e apenas aponta para o próximo elemento da List no heap.

• Remova o Box na definição de List e mostre o erro de compilação. Nós obtemos a mensagem “recursive without indirection” (recursivo sem indireção), porque para recursão de dados, temos que usar indireção, um Box ou referência de algum tipo, ao invés de armazenar o valor diretamente.

Mais para Explorar

Otimização de Nicho

Embora Box pareça com std::unique_ptr em C++, ele não pode ser vazio/nulo. Isso faz com que Box seja um dos tipos que permitem ao compilador otimizar o armazenamento de alguns enums.

Por exemplo, Option<Box<T>> tem o mesmo tamanho que apenas Box<T>, porque o compilador usa o valor NULL para discriminar as variantes em vez de usar uma tag explícita (“Null Pointer Optimization”):

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX