Что за типы функций при импорте OpenCV DLL в Delphi?

Question

[Laax]

При импорте вручную из С++ динамической библиотеки с классами (не спрашивайте зачем мне это нужно), некоторые функции имеют пометку `vbase destructor', например,
void cv::BRISK::`vbase destructor'(void)
Очевидно, что это деструктор, но описан как функция. Предполагаю, что виртуальный и вызывается автоматически.
Но что на самом деле означает `vbase destructor', в каких случаях он вызывается и чем отличается от обычных деструкторов?

Аналогично, есть `default constructor closure', например,

void cv::detail::BlocksChannelsCompensator::`default constructor closure'(void)

Очевидно, что это конструктор, но описан как функция. Предполагаю, что вызывается автоматически в замыканиях.
Но что на самом деле означает `default constructor closure', в каких случаях он вызывается и чем отличается от обычных конструкторов?
Дополнение:
Это OpenCV версии 4.6.0. Взяты готовые dll с сайта opencv.org. Чем они собирали? Сложно сказать какой версии CMake и MS Visual Studio. Последний скорее всего не ниже 2019.
Платформа Windows x64.
Импорт в среде Delphi 11.
Репозитарий Delphi-OpenCV-Class
Статья Delphi+OpenCV

Comments

[Евгений Шатунов]

Laax, под вопросом остается только то, какой системой сборки собрана обсуждаемая DLL и в какой среде производится импорт ее символов.
Не подскажешь по этим пунктам?

[Laax]

Это OpenCV версии 4.6.0. Взяты готовые dll с сайта opencv.org. Чем они собирали? Сложно сказать какой версии CMake и MS Visual Studio. Последний скорее всего не ниже 2019.
Платформа Windows x64.
Импорт в среде Delphi 11.
Репозитарий Delphi-OpenCV-Class
Статья Delphi+OpenCV

Answer 1

[Дмитрий]

не спрашивайте зачем мне это нужно

действительно. C++ ABI -- это боль, сильная боль. Даже разработчики компиляторов страдают от неё. Если вам уж прям так важно поковыряться в его кишках, то изучайте исходники LLVM и спецификацию стандарта ABI. А если нет, то возьмите OpenCV C API и не выносите себе голову.

но описан как функция

А как он должен быть описан, как сферический код в вакууме?

чем отличается от обычных деструкторов

Стандарт определяет деструкторы:

1. base object destructor
   
2. complete object destructor
   
3. deleting destructor
   
4. trivial/non-trivial destructor
   

Что из этого есть "обычный" деструктор?

Здесь про деструкторы и псевдо-код порядка их вызовов. Здесь -- про общее устройство виртуальной таблицы.

что на самом деле означает `vbase destructor`, в каких случаях он вызывается

Есть предположение, что это имя экспортируемого complete object destructor для класса, базовым классом которого является класс с виртуальным деструктором. То есть, он выполняет часть процесса цепочки деструкторов, которая помимо вызова base object destructor, вызывает также все деструкторы для всех базовых виртуальных классов. Но при этом ещё не вызван deleting destructor, который собственно вызывает operator delete. Т.е. получается, что complete object destructorпо включённому в него списку действий, как бы "наследуется" от base object destructor. В свою очередь, deleting destructor "наследуется" от complete object destructor.

Предполагаю, что вызывается автоматически в замыканиях. Но что на самом деле означает `default constructor closure'

Для чего он может вызываться в замыканиях, просто чтоб было?

Моё же предположение, что это замыкание -- некий адаптер-костыль чтоб привести нетривиальные параметры конструктора в удобоваримую ABI-форму, и вызывается когда default constructor имеет default non-trivial parameters, для которых надо сначала вызвать конструктор, либо когда это variadic конструктор, которому нужно привести список аргументов к Сишному `va_arg`, чтобы переслать их через границу ABI. Вот в этом случае он вызывается, как я понимаю.

Один ценный никому не нужный совет: тебе НЕ НУЖНО в этом разбираться. Брось эту затею и возьми сишный API.

Comments

[Laax]

Огромное спасибо за развернутый ответ, а особенно за ссылки на документацию, из которой много, что прояснилось.
vbase destructor, как намекает само название, означает виртуальный деструктор базового класса. В моем случае этот базовый класс не используется напрямую и что-то полезное получается в его наследниках, которые и используются на практике. Базовый класс в этом смысле используется как перечень обязательных методов в наследниках. Кроме этого, его можно использовать для создания своих потомков это и объясняет появление в экспорте виртуального деструктора базового класса. При использовании в проекте наследников от базового класса импорт vbase destructor не имеет смысла.
Здесь же замечание.
Традиционный экспорт деструктора дается в виде, например,
cv::AKAZE::~AKAZE(void)
а виртуальный деструктор базового класса экспортируется как
void cv::BRISK::`vbase destructor'(void)
поэтому и возник вопрос об отличии в описании деструктора.

Для default constructor closure ситуация оказалась проще. Это конструктор без параметров в классе, в котором не описан конструктор без параметров. Компилятор его создает автоматически. Например, для

void cv::detail::BlocksChannelsCompensator::`default constructor closure'(void)

этот конструктор вызывается при объявлении переменной
cv::detail::BlocksChannelsCompensator somevar;
Ну и просто комментарий.
Я уже использовал OpenCV C API из версии 2.4.13. Надо двигаться дальше. Тем более в версии OpenCV 4.6.0 ничего уже и не осталось от C API.

[Дмитрий]

Базовый класс в этом смысле используется как перечень обязательных методов в наследниках

Но это не отменяет содержания виртуальной таблицы в нём, включая виртуальный деструктор.

При использовании в проекте наследников от базового класса импорт vbase destructor не имеет смысла

Как это не имеет? Вы имеете право скастовать наследника к предку и удалить его через этот указатель, что приведёт к динамической диспетчеризации и вызову цепочки соответствующих деструкторов. Последним обязательно вызовется деструктор базового класса, даже если он невиртуальный (хотя это leak!).

Это конструктор без параметров в классе, в котором не описан конструктор без параметров

Это конструктор с default-параметрами, которые вполне могут быть NonTrivial. Соответственно, для них нужно будет вызвать недефолтный конструктор, для вызова которого и предназначено это замыкание.

[Laax]

Дмитрий,

Но это не отменяет содержания виртуальной таблицы в нём, включая виртуальный деструктор.

Да, с этим согласен. Но имея наследника, всегда можно вызвать актуальный деструктор из виртуальной таблицы. А там автоматически будет или виртуальный деструктор базового класса, или виртуальный деструктор наследника. Что там будет, то и вызовем.

Как это не имеет? Вы имеете право скастовать наследника к предку и удалить его через этот указатель

Скастовать не получится. Точнее в этом нет необходимости. Язык разработки Object Pascal (Delphi 11). Надо вызывать тот деструктор, который специфичен для данного класса или, как указано выше, если деструктор виртуальный - тот деструктор, который в виртуальной таблице.

Это конструктор с default-параметрами, которые вполне могут быть NonTrivial. Соответственно, для...

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