• Observe que std::mem::drop não é o mesmo que std::ops::Drop::drop.
• Os valores são descartados automaticamente quando saem do escopo.
• Quando um valor é descartado, se ele implementa std::ops::Drop então sua implementação Drop::drop será chamada.
• Todas as seus campos serão descartadas também, independentemente de implementar Drop.
• std::mem::drop é apenas uma função vazia que recebe qualquer valor. A importância é que ela assume a ownership do valor, então no final de seu escopo ele é descartado. Isso torna uma maneira conveniente de descartar explicitamente valores mais cedo do que eles sairiam do escopo.
  • Isso pode ser útil para objetos que fazem algum trabalho em drop: liberando travas, fechando arquivos, etc.

Pontos de discussão:

• Por que Drop::drop não recebe self?
  • Resposta curta: Se recebesse, std::mem::drop seria chamado no final do bloco, resultando em outra chamada para Drop::drop ocasionando um estouro de pilha.
• Tente substituir drop(a) por a.drop().