Система сообщений GObject

Замыкания или замкнутые выражения (Closures)
C Замыкания
не-C замыкания (для бесстрашных).
Сигналы
Регистрация сигнала
Подключение сигнала
Эмиссия сигнала
Подробный параметр

Замыкания

Замыкания являются центром концепции асинхронных сигналов, которая широко используется повсюду в GTK+ и GNOME приложениях. Замыкание - основное представление callback-функций. Это небольшая структура содержащая дерево объектов:

  • указатель функции (непосредственно сама callback-функция), чей прототип похож на:

    return_type function_callback (... , gpointer user_data);

  • Указатель user_data который помещается в callback-функцию при вызове замыкания

  • указатель функции который представляет деструктор замыкания: всякий раз когда количество ссылок замыкания достигает нуля, эта функция вызывается перед освобождением сструктуры замыкания.

Структура GClosure представляет основную функциональность всех замкнутых реализаций: существуют разные реализации Замыканий для каждого отдельного рабочего цикла который хочет использовать систему типов GObject. [8] Библиотека GObject обеспечивает простой тип GCClosure который является определением реализации замыканий используемый с C/C++ callback-функциями.

GClosure представляет простые сервисы:

  • Вызов (g_closure_invoke): это то, для чего были созданы замыкания: они скрывают детали callback-вызовов из callback-вызовов.

  • Уведомление: замыкания уведомляют об определённых событиях, таких как запрос замыкания, аннулирование замыкания и финализация замыкания. Ожидающие сообщений могут быть зарегистрированы с помощью g_closure_add_finalize_notifier (уведомление финализации), g_closure_add_invalidate_notifier (уведомление аннулирования) и g_closure_add_marshal_guards (уведемление запроса). Существуют симметричные нерегистрационные функции для событий финализации и аннулирования (g_closure_remove_finalize_notifier и g_closure_remove_invalidate_notifier) но не для выполнения запроса. [9]

C Замыкания

Если вы используете C или C++ для подключения callback-функции к данному событию, то вы будете использовать либо просто GCClosure которая имеет довольно минимальный API, или ещё более простые функции g_signal_connect (которые будут продемонстрированы немного позже :).

GClosure* g_cclosure_new (GCallback callback_func, gpointer user_data, GClosureNotify destroy_data); GClosure* g_cclosure_new_swap (GCallback callback_func, gpointer user_data, GClosureNotify destroy_data); GClosure* g_signal_type_cclosure_new (GType itype, guint struct_offset);

g_cclosure_new создаёт новое замыкание которое может вызвать обеспеченную пользователем callback_func с обеспеченным пользователем user_data в качестве последнего параметра. Когда замыкание финализируется (второй этап процесса уничтожения), оно вызовет функцию destroy_data если пользователь её предоставил.

g_cclosure_new_swap создаёт новое замыкание которое может вызвать обеспеченную пользователем callback_func с обеспеченным пользователем user_data в качестве первого параметра (а не последнего параметра как в g_cclosure_new). Когда замыкание финализируется (второй этап процесса уничтожения), оно вызовет функцию destroy_data если пользователь её предоставил.

Не-C замыкания (для бесстрашных).

Как объяснялось выше, Замыкания скрывают подробности callback-вызовов. В C, callback-вызов такой же вызов функции: это просто вопрос создания правильного стека для вызова функции и выполнения трансляции команды вызова.

'C' маршаллеры замыканий преобразуют массив GValues, который представляет параметры целевой функции, в список параметров функций в C-стиле, вызывая предоставленную пользователем C функцию с этим списком параметров, получают возвращаемое значение функции, преобразуют его в GValue и возвращают это GValue в вызывающую программу.

Следующий код реализует простой маршаллер в C для C функции которая принимает целочисленное как первый параметр и ничего не возвращает.

g_cclosure_marshal_VOID__INT (GClosure *closure, GValue *return_value, guint n_param_values, const GValue *param_values, gpointer invocation_hint, gpointer marshal_data) { typedef void (*GMarshalFunc_VOID__INT) (gpointer data1, gint arg_1, gpointer data2); register GMarshalFunc_VOID__INT callback; register GCClosure *cc = (GCClosure*) closure; register gpointer data1, data2; g_return_if_fail (n_param_values == 2); data1 = g_value_peek_pointer (param_values + 0); data2 = closure->data; callback = (GMarshalFunc_VOID__INT) (marshal_data ? marshal_data : cc->callback); callback (data1, g_marshal_value_peek_int (param_values + 1), data2); }

Конечно, существуют другие виды маршаллеров. Например, James Henstridge написал родной для Python маршаллер который используется всеми замыканиями языка python (замыкания python используются python-based callback-функциями вызываемыми процессом запрса замыкания). Этот python маршаллер преобразует введённый список GValue представляющий параметры функции в эквивалентную структурную запись Python (вы можете посмотреть pyg_closure_marshal в pygtype.c в модуле pygobject GNOME cvs server).



[8] На практике, Замыкания находятся в границах языкового окружения: если вы пишите код на python и один из ваших Python callback-вызовов получает сигнал одного из виджетов GTK+, код на C в GTK+ должен выполнить ваш код на Python. Замыкание вызывающее GTK+ object вызывает Python callback-вызов: он ведёт себя как обычный C object для GTK+ и как обычный Python object для python кода.

[9] Замыкания подсчитывают ссылки и уведомляют слушателя относительно своего уничтожения в два этапа: уведомление аннулирования вызывается перед уведомлением финализации.