Как написать оболочку C для удаления, которая была бы быстрой, но свободной от любого типа, данного ей, без указания типа

Я бы посоветовал не иметь общую функцию delete_ptr.

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

Mat* cv_create_Mat();
void cv_delete_Mat(Mat*);

Если вы это сделаете, будет меньше двусмысленности в отношении того объекта, с которым вы имеете дело. Кроме того, реализация cv_delete_Mat(Mat*) будет менее подвержена ошибкам и должна принять меньше.

void cv_delete_Mat(Mat* m)
{
  delete m;
}

Как насчет этого, а затем пусть компилятор имеет дело со всеми специализациями:

template <typename T>
void delete_ptr(T *ptr) {
    delete ptr;
}

Оператор delete не просто освобождает память, но и вызывает деструкторы, и его нужно вызывать на типизированном указателе (не void*), чтобы он знал, какой класс деструктор вызывает. Для каждого типа вам понадобится отдельная оболочка.

Для типов POD, у которых нет деструкторов, вы можете выделять с помощью malloc() вместо new, так что вызывающий может просто использовать free().

Основная проблема заключается в том, что delete в C++ требует типа, и передача указателя через интерфейс C теряет этот тип. Вопрос заключается в том, как восстановить этот тип в общем виде. Вот несколько вариантов.

Имейте в виду, что delete делает две вещи: вызовите деструктор и освободите память.

1. Отдельные функции для каждого типа. Последнее средство, чего вы пытаетесь избежать.
2. Для типов, которые имеют тривиальный деструктор, вы можете наложить указатель на void на все, что вам нравится, потому что все это освобождает память. Это уменьшает количество функций. [Это неопределенное поведение, но оно должно работать.]
3. Используйте информацию типа времени выполнения для восстановления указателя типа_и указателя, а затем динамически применяйте его к соответствующему типу для удаления.
4. Измените свои функции создания, чтобы сохранить указатель в словаре с его type_info. При удалении извлеките тип и используйте его с динамическим приложением для удаления указателя.

Для всего, что я, вероятно, использовал бы вариант 1, если бы не было сотен вещей. Вы можете написать шаблон C++ с явным инстанцированием, чтобы уменьшить количество требуемого кода или макрос с вставкой маркера для создания уникальных имен. Вот пример (отредактирован):

#define stub(T) T* cv_create_ ## T() { return new T(); } \
              void cv_delete_ ## T(void *p) { delete (T*)p; }
stub(Mat);
stub(Brisk);

Одна из приятных особенностей словарного подхода - отладка. Вы можете отслеживать новые и удалять во время выполнения и следить за их соответствием. Я бы выбрал этот вариант, если отладка была действительно важна, но для этого требуется больше кода.