Drop トレイト

Drop を実装している値では、スコープから外れるときに実行するコードを指定できます。

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

Speaker Notes

This slide should take about 8 minutes.
  • std::mem::dropstd::ops::Drop::drop と同じではありません。
  • スコープ外になると、値は自動的にドロップされます。
  • 値がドロップされる際、std::ops::Drop を実装している場合は、その Drop::drop 実装が呼び出されます。
  • その後、Drop を実装しているかどうかにかかわらず、すべてのフィールドもドロップされます。
  • std::mem::drop は、任意の値を受け取る空の関数にすぎません。重要なのは、この関数が値の所有権を取得することで、スコープの最後で値がドロップされることです。これは、スコープ外になる前に値を明示的にドロップするための便利な方法です。
    • この方法は、drop で何らかの処理(ロックの解放、ファイルのクローズなど)を行うオブジェクトに使用すると便利です。

議論のポイント:

  • Drop::dropself をパラメータとして取らないのはなぜですか?
    • 短い回答: その場合、ブロックの最後に std::mem::drop が呼び出されるため、別の Drop::drop が呼び出され、スタック オーバーフローが発生します。
  • drop(a)a.drop() に置き換えてみてください。