И снова здравствуйте. Продолжаю понемногу писать свою GUI библиотеку под Windows, попутно изучая С++. Вычитал в различных источниках что экспортировать стандартные STL классы из своей библиотеки - не очень хорошо, ибо в дальнейшем это может вызвать всяческие сложности при использовании такой библиотеки в среде с другой версией STL (если на самом деле это не так - поправьте меня). Поэтому, чтобы не экспортировать std::function решил написать что-то вроде своего callback'а. В результате нескольких часов гуглирования удалось родить вот такой класс:
/**
* \brief Частичное шаблонное объявление
* \detail Обеспечивает возможность указания параметров шаблона в виде "ReturnType(Arguments...)"
* \tparam T Возвращаемый тип функции обратного вызова
*/
template<typename T>
class WQUERY_API Callback;
/**
* \brief Класс-обретка над функцией (либо любым callable объектом) обратного вызова
* \tparam ReturnType Возвращаемый тип функции обратного вызова
* \tparam Arguments Аргументы функции обратного вызова
*/
template <typename ReturnType, typename ... Arguments>
class Callback<ReturnType(Arguments...)>
{
private:
ReturnType(*wrapperFunction_)(Arguments... args, void*); // Указатель на функцию-обретку (вызывает настоящий callable объект)
void *pCallable_; // Указатель на callabl'e объект объект
public:
/**
* \brief Конкструктор по умолчанию
*/
Callback() :pCallable_(nullptr) {}
/**
* \brief Установка функции обратного вызова
* \tparam T Тип callabl'e объекта
* \param pCallable Указатель на функцию (callable объект)
*/
template<class T>
void Set(T pCallable)
{
// Выделить память под функцию (callable объект) и скопировать содежимое в эту память
// если это лямбда, потребуется столько памяти, сколько занимают ее "захваченные" переменные
this->pCallable_ = malloc(sizeof(T));
memcpy(this->pCallable_, &pCallable, sizeof(T));
// Создать функцию "обертку", которая инициирует вызов callable объекта с аргументами args
this->wrapperFunction_ = [](Arguments... args, void *callable) ->ReturnType {
return (*reinterpret_cast<T*>(callable))(args...);
};
}
/**
* \brief Вызов функции обертки
* \param args Аргументы
* \return Значение, возвращаемое оберткой (идентично тому что вернет pCallable_)
*/
ReturnType Invoke(Arguments... args)
{
if (this->IsSet())
{
return this->wrapperFunction_(args..., this->pCallable_);
}
return ReturnType();
}
/**
* \brief Сброс функции (очистить память и сделать не вызываемой)
*/
void Unset()
{
if (this->pCallable_) {
free(this->pCallable_);
this->pCallable_ = nullptr;
}
}
/**
* \brief Установлено ли
* \return Состояние
*/
bool IsSet() const
{
return this->pCallable_ && this->wrapperFunction_;
}
/**
* \brief Деструктор (срабсывает функцию)
*/
~Callback()
{
this->Unset();
}
}
Планировалось что использоваться данная штука будет как-то так:
1)В классе Window (или в классах элементов управления) объявляется структура с набором объектов класса Callback
struct
{
Callback<bool()> onClose;
Callback<void()> onPaint;
Callback<void(unsigned int type, Vector2D<int> newSizes)> onResized;
Callback<void(unsigned int code)> onKeyDown;
Callback<void(unsigned int code)> onKeyUp;
Callback<void(char symbol)> onTyping;
Callback<void(Vector2D<int> cursor)> onMouseMove;
Callback<void(Vector2D<int> cursor, MouseKeys type)> onMouseKeyDown;
Callback<void(Vector2D<int> cursor, MouseKeys type)> onMouseKeyUp;
} events;
2) При использовании библиотеки будут указываться callback'и вот таким образом
wquery::Window window1;
window1.events.onClose.Set([]() {std::cout << "Test" << std::endl; return true; });
3) В оконной процедуре, в нужных местах, будет происходить вызов функций (если они установлены)
case WM_CLOSE:
if (window)
{
if(window->events.onClose.IsSet())
{
if (!window->events.onClose.Invoke()) return 0;
}
if(window->closesProgram_) PostQuitMessage(0);
}
ShowWindow(hWnd, SW_HIDE);
break;
По началу все шло хорошо, в аргумент функции Set можно было отдать как лямбду, так и обычный указатель на функцию, и они отлично вызывались. Но вот вызов деструктора Window к сожалению начал порождать вот такую ошибку во время исполнения:
Оказалось что ошибку порождает именно освобождение памяти в самом классе Callback. А конкретно вот этот момент
void Unset()
{
if (this->pCallable_) {
free(this->pCallable_);
this->pCallable_ = nullptr;
}
}
И мне пока-что крайне непонятно в чем тут проблема, ведь я не удаляю память к которой у меня нет доступа, я удаляю СКОПИРОВАННУЮ память (в функции Set идет именно копирование). Так же интересно что данный класс работает без проблем вне библиотеки. Может быть я упускаю какие-то важные детали во время этого самого копирования? А может следовало вообще иначе подходить к реализации своего callback'а?