• Зверніть увагу, що std::mem::drop не те саме, що std::ops::Drop::drop.
• Значення автоматично відкидаються, коли вони виходять за межі області видимості.
• Коли значення відкидається, якщо воно реалізує std::ops::Drop, то буде викликано його реалізацію Drop::drop.
• Всі його поля також будуть видалені, незалежно від того, чи реалізовано в ньому Drop чи ні.
• std::mem::drop - це просто порожня функція, яка приймає будь-яке значення. Важливо те, що вона отримує володіння значенням, тому в кінці своєї області видимості вона його відкидає. Це робить її зручним способом явного відкидання значень раніше, ніж вони вийдуть за межі області видимості.
  • Це може бути корисно для об’єктів, які виконують деяку роботу на drop: зняття блокування, закриття файлів тощо.

Пункти обговорення:

• Чому Drop::drop не приймає self?
  • Коротка відповідь: якби це було так, std::mem::drop викликався б у кінці блоку, що призвело б до ще одного виклику Drop::drop і переповнення стеку!
• Спробуйте замінити drop(a) на a.drop().