タイプに「ドロップ」が必要な場合の検出方法

Question

Vecなどの型がtruncateになると、ベクトルの各メンバーにptr::drop_in_placeが呼び出されます。

これは、int、floatなどのプリミティブ型のパフォーマンス上の問題ではないことが判明しました。なぜなら、ドロップ呼び出しが最適化されているからです。

もっと複雑なコンテナタイプ（自分で使用するために書いたもの）の場合、要素を反復することはそれほど簡単ではない（常に最適化されるとは限りません）

タイプにドロップ特性があるかどうかをチェックする方法はありますか？その場合、すべてのメンバーにアクセスすることはできませんか？

Answer 1

std::intrinsics::needs_dropはまだ不安ですが、それに対処できれば、これを確認するのが最良の方法です。

Answer 2

Dropについては、一般的な範囲では推論できません。

foo(vec![42]); // works 

Drop

は静かで処理されます。このバウンド果たす明示 Drop IMPLで

fn foo<T: Drop>(t: T) {} 

foo(5); 
foo("5".to_owned()); 

のみのタイプ：明示的なDropのimplを持っていないタイプは、Drop拘束を満たしていませんコンパイラをバックグラウンドで実行します（そうしないと、どこにでも指定する必要があります）。これは、特殊化やOIBITを使用しても回避策として使用できないことを意味します。

これは、タイプの値を特性オブジェクトに変換し、vtableのドロップエントリがNULLであるかどうかをチェックすることで、（たとえ生成すべきでない）ドロップインプットが存在するかどうかを検出できます。