Как определить, требуется ли вызов «drop» для типа?

Question

Когда типы, такие как Vec, запустите truncate, они назовут ptr::drop_in_place на каждый элемент вектора.

Это не проблема производительности для примитивных типов, таких как int, float и т. Д., Потому что вызовы сброса оптимизированы.

Для более сложных типов контейнеров (те, которые я написал для собственного использования), повторение элементов может быть не таким тривиальным (и может не всегда оптимизироваться).

Есть ли способ проверить, имеет ли тип черту drop, так что в таком случае можно избежать посещения всех членов?

Answer 1

std::intrinsics::needs_drop все еще нестабилен, но если вы можете справиться с этим, это лучший способ проверить это.

Answer 2

Вы не можете рассуждать о Drop в общих границах. Виды, которые не имеют явный Drop осущий, не выполняют Drop связанные:

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

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

Только типов с явными Drop осущий выполнить эту оценку:

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

Drop молча обрабатываются компилятор в фоновом режиме (в противном случае вам придется указывать его везде). Это означает, что в качестве обходного пути можно использовать даже специализацию или OIBIT.

Таким образом, вы можете определить, существует ли какой-либо (даже сгенерированный) drop impl (но не должен), путем преобразования значения типа в объект-признак и проверки того, является ли запись кавычки vtable NULL или нет.