mirror of
https://gitlab.gnome.org/GNOME/glib.git
synced 2024-12-28 00:16:15 +01:00
3d55be0b82
Helps: #3037
1289 lines
41 KiB
Markdown
1289 lines
41 KiB
Markdown
Title: GObject Tutorial
|
||
|
||
# GObject Tutorial
|
||
|
||
## How to define and implement a new GObject
|
||
|
||
This document focuses on the implementation of a subtype of GObject, for
|
||
example to create a custom class hierarchy, or to subclass a GTK widget.
|
||
|
||
Throughout the chapter, a running example of a file viewer program is used,
|
||
which has a `ViewerFile` class to represent a single file being viewed, and
|
||
various derived classes for different types of files with special
|
||
functionality, such as audio files. The example application also supports
|
||
editing files (for example, to tweak a photo being viewed), using a
|
||
`ViewerEditable` interface.
|
||
|
||
### Boilerplate header code
|
||
|
||
The first step before writing the code for your GObject is to write the
|
||
type's header which contains the needed type, function and macro
|
||
definitions. Each of these elements is nothing but a convention which is
|
||
followed by almost all users of GObject, and has been refined over multiple
|
||
years of experience developing GObject-based code. If you are writing a
|
||
library, it is particularly important for you to adhere closely to these
|
||
conventions; users of your library will assume that you have. Even if not
|
||
writing a library, it will help other people who want to work on your
|
||
project.
|
||
|
||
Pick a name convention for your headers and source code and stick to it:
|
||
|
||
- use a dash to separate the prefix from the typename: `viewer-file.h` and
|
||
`viewer-file.c` (this is the convention used by most GNOME libraries and
|
||
applications)
|
||
- use an underscore to separate the prefix from the typename:
|
||
`viewer_file.h` and `viewer_file.c`
|
||
- do not separate the prefix from the typename: `viewerfile.h` and
|
||
`viewerfile.c` (this is the convention used by GTK)
|
||
|
||
Some people like the first two solutions better: it makes reading file names
|
||
easier for those with poor eyesight.
|
||
|
||
The basic conventions for any header which exposes a GType are described in
|
||
the section of the Type system introduction called
|
||
["Conventions"](concepts.html#conventions).
|
||
|
||
If you want to declare a type named "file" in the namespace "viewer", name
|
||
the type instance `ViewerFile` and its class `ViewerFileClass` (names are
|
||
case sensitive). The recommended method of declaring a type differs based on
|
||
whether the type is final or derivable.
|
||
|
||
Final types cannot be subclassed further, and should be the default choice
|
||
for new types—changing a final type to be derivable is always a change that
|
||
will be compatible with existing uses of the code, but the converse will
|
||
often cause problems. Final types are declared using the
|
||
`G_DECLARE_FINAL_TYPE` macro, and require a structure to hold the instance
|
||
data to be declared in the source code (not the header file).
|
||
|
||
```c
|
||
/*
|
||
* Copyright/Licensing information.
|
||
*/
|
||
|
||
/* inclusion guard */
|
||
#pragma once
|
||
|
||
#include <glib-object.h>
|
||
|
||
/*
|
||
* Potentially, include other headers on which this header depends.
|
||
*/
|
||
|
||
G_BEGIN_DECLS
|
||
|
||
/*
|
||
* Type declaration.
|
||
*/
|
||
#define VIEWER_TYPE_FILE viewer_file_get_type()
|
||
G_DECLARE_FINAL_TYPE (ViewerFile, viewer_file, VIEWER, FILE, GObject)
|
||
|
||
/*
|
||
* Method definitions.
|
||
*/
|
||
ViewerFile *viewer_file_new (void);
|
||
|
||
G_END_DECLS
|
||
```
|
||
|
||
Derivable types can be subclassed further, and their class and instance
|
||
structures form part of the public API which must not be changed if API
|
||
stability is cared about. They are declared using the
|
||
`G_DECLARE_DERIVABLE_TYPE` macro:
|
||
|
||
```c
|
||
/*
|
||
* Copyright/Licensing information.
|
||
*/
|
||
|
||
/* inclusion guard */
|
||
#pragma once
|
||
|
||
#include <glib-object.h>
|
||
|
||
/*
|
||
* Potentially, include other headers on which this header depends.
|
||
*/
|
||
|
||
G_BEGIN_DECLS
|
||
|
||
/*
|
||
* Type declaration.
|
||
*/
|
||
#define VIEWER_TYPE_FILE viewer_file_get_type()
|
||
G_DECLARE_DERIVABLE_TYPE (ViewerFile, viewer_file, VIEWER, FILE, GObject)
|
||
|
||
struct _ViewerFileClass
|
||
{
|
||
GObjectClass parent_class;
|
||
|
||
/* Class virtual function fields. */
|
||
void (* open) (ViewerFile *file,
|
||
GError **error);
|
||
|
||
/* Padding to allow adding up to 12 new virtual functions without
|
||
* breaking ABI. */
|
||
gpointer padding[12];
|
||
};
|
||
|
||
/*
|
||
* Method definitions.
|
||
*/
|
||
ViewerFile *viewer_file_new (void);
|
||
|
||
G_END_DECLS
|
||
```
|
||
|
||
The convention for header includes is to add the minimum number of
|
||
`#include` directives to the top of your headers needed to compile that
|
||
header. This allows client code to simply `#include "viewer-file.h"`,
|
||
without needing to know the prerequisites for `viewer-file.h`.
|
||
|
||
### Boilerplate code
|
||
|
||
In your code, the first step is to `#include` the needed headers:
|
||
|
||
```c
|
||
/*
|
||
* Copyright/Licensing information
|
||
*/
|
||
|
||
#include "viewer-file.h"
|
||
|
||
/* Private structure definition. */
|
||
typedef struct {
|
||
char *filename;
|
||
|
||
/* other private fields */
|
||
} ViewerFilePrivate;
|
||
|
||
/*
|
||
* forward definitions
|
||
*/
|
||
```
|
||
|
||
If the class is being declared as final using `G_DECLARE_FINAL_TYPE`, its instance structure should be defined in the C file:
|
||
|
||
```c
|
||
struct _ViewerFile
|
||
{
|
||
GObject parent_instance;
|
||
|
||
/* Other members, including private data. */
|
||
};
|
||
```
|
||
|
||
Call the `G_DEFINE_TYPE` macro (or `G_DEFINE_TYPE_WITH_PRIVATE` if your
|
||
class needs private data—final types do not need private data) using the
|
||
name of the type, the prefix of the functions and the parent GType to reduce
|
||
the amount of boilerplate needed. This macro will:
|
||
|
||
- implement the `viewer_file_get_type` function
|
||
- define a parent class pointer accessible from the whole `.c` file
|
||
- add private instance data to the type (if using `G_DEFINE_TYPE_WITH_PRIVATE`)
|
||
|
||
If the class has been declared as final using `G_DECLARE_FINAL_TYPE` private
|
||
data should be placed in the instance structure, `ViewerFile`, and
|
||
`G_DEFINE_TYPE` should be used instead of `G_DEFINE_TYPE_WITH_PRIVATE`. The
|
||
instance structure for a final class is not exposed publicly, and is not
|
||
embedded in the instance structures of any derived classes (because the
|
||
class is final); so its size can vary without causing incompatibilities for
|
||
code which uses the class. Conversely, private data for derivable classes
|
||
must be included in a private structure, and `G_DEFINE_TYPE_WITH_PRIVATE`
|
||
must be used.
|
||
|
||
```c
|
||
G_DEFINE_TYPE (ViewerFile, viewer_file, G_TYPE_OBJECT)
|
||
```
|
||
|
||
or
|
||
|
||
```c
|
||
G_DEFINE_TYPE_WITH_PRIVATE (ViewerFile, viewer_file, G_TYPE_OBJECT)
|
||
```
|
||
|
||
It is also possible to use the `G_DEFINE_TYPE_WITH_CODE` macro to control
|
||
the `get_type` function implementation — for instance, to add a call to the
|
||
`G_IMPLEMENT_INTERFACE` macro to implement an interface.
|
||
|
||
### Object construction
|
||
|
||
People often get confused when trying to construct their GObjects because of
|
||
the sheer number of different ways to hook into the objects's construction
|
||
process: it is difficult to figure which is the correct, recommended way.
|
||
|
||
The [documentation on object
|
||
instantiation](concepts.html#object-instantiation) shows what user-provided
|
||
functions are invoked during object instantiation and in which order they
|
||
are invoked. A user looking for the equivalent of the simple C++ constructor
|
||
function should use the `instance_init` method. It will be invoked after all
|
||
the parents’ `instance_init` functions have been invoked. It cannot take
|
||
arbitrary construction parameters (as in C++) but if your object needs
|
||
arbitrary parameters to complete initialization, you can use construction
|
||
properties.
|
||
|
||
Construction properties will be set only after all `instance_init` functions have run. No object reference will be returned to the client of `g_object_new()` until all the construction properties have been set.
|
||
|
||
It is important to note that object construction cannot ever fail. If you
|
||
require a fallible GObject construction, you can use the `GInitable` and
|
||
`GAsyncInitable` interfaces provided by the GIO library.
|
||
|
||
You should write the following code first:
|
||
|
||
```c
|
||
G_DEFINE_TYPE_WITH_PRIVATE (ViewerFile, viewer_file, G_TYPE_OBJECT)
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
}
|
||
|
||
static void
|
||
viewer_file_init (ViewerFile *self)
|
||
{
|
||
ViewerFilePrivate *priv = viewer_file_get_instance_private (self);
|
||
|
||
/* initialize all public and private members to reasonable default values.
|
||
* They are all automatically initialized to 0 to begin with. */
|
||
}
|
||
```
|
||
|
||
If you need special construction properties (with `G_PARAM_CONSTRUCT_ONLY`
|
||
set), install the properties in the `class_init()` function, override the
|
||
`set_property()` and `get_property()` methods of the GObject class, and
|
||
implement them as described by the section called ["Object
|
||
properties"](concepts.html#object-properties).
|
||
|
||
Property identifiers must start from 1, as 0 is reserved for internal use by GObject.
|
||
|
||
```c
|
||
enum
|
||
{
|
||
PROP_FILENAME = 1,
|
||
PROP_ZOOM_LEVEL,
|
||
N_PROPERTIES
|
||
};
|
||
|
||
static GParamSpec *obj_properties[N_PROPERTIES] = { NULL, };
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
GObjectClass *object_class = G_OBJECT_CLASS (klass);
|
||
|
||
object_class->set_property = viewer_file_set_property;
|
||
object_class->get_property = viewer_file_get_property;
|
||
|
||
obj_properties[PROP_FILENAME] =
|
||
g_param_spec_string ("filename",
|
||
"Filename",
|
||
"Name of the file to load and display from.",
|
||
NULL /* default value */,
|
||
G_PARAM_CONSTRUCT_ONLY | G_PARAM_READWRITE);
|
||
|
||
obj_properties[PROP_ZOOM_LEVEL] =
|
||
g_param_spec_uint ("zoom-level",
|
||
"Zoom level",
|
||
"Zoom level to view the file at.",
|
||
0 /* minimum value */,
|
||
10 /* maximum value */,
|
||
2 /* default value */,
|
||
G_PARAM_READWRITE);
|
||
|
||
g_object_class_install_properties (object_class,
|
||
N_PROPERTIES,
|
||
obj_properties);
|
||
}
|
||
```
|
||
|
||
If you need this, make sure you can build and run code similar to the code
|
||
shown above. Also, make sure your construct properties can be set without
|
||
side effects during construction.
|
||
|
||
Some people sometimes need to complete the initialization of an instance of
|
||
a type only after the properties passed to the constructors have been set.
|
||
This is possible through the use of the `constructor()` class method as
|
||
described in the section called "Object instantiation" or, more simply,
|
||
using the `constructed()` class method. Note that the `constructed()` virtual
|
||
function will only be invoked after the properties marked as
|
||
`G_PARAM_CONSTRUCT_ONLY` or `G_PARAM_CONSTRUCT` have been consumed, but before
|
||
the regular properties passed to `g_object_new()` have been set.
|
||
|
||
### Object destruction
|
||
|
||
Again, it is often difficult to figure out which mechanism to use to hook
|
||
into the object's destruction process: when the last `g_object_unref()` function
|
||
call is made, a lot of things happen as described in [the "Object memory
|
||
management" section](concepts.html#object-memory-management) of the
|
||
documentation.
|
||
|
||
The destruction process of your object is in two phases: dispose and
|
||
finalize. This split is necessary to handle potential cycles due to the
|
||
nature of the reference counting mechanism used by GObject, as well as
|
||
dealing with temporary revival of instances in case of signal emission
|
||
during the destruction sequence.
|
||
|
||
```c
|
||
struct _ViewerFilePrivate
|
||
{
|
||
gchar *filename;
|
||
guint zoom_level;
|
||
|
||
GInputStream *input_stream;
|
||
};
|
||
|
||
G_DEFINE_TYPE_WITH_PRIVATE (ViewerFile, viewer_file, G_TYPE_OBJECT)
|
||
|
||
static void
|
||
viewer_file_dispose (GObject *gobject)
|
||
{
|
||
ViewerFilePrivate *priv = viewer_file_get_instance_private (VIEWER_FILE (gobject));
|
||
|
||
/* In dispose(), you are supposed to free all types referenced from this
|
||
* object which might themselves hold a reference to self. Generally,
|
||
* the most simple solution is to unref all members on which you own a
|
||
* reference.
|
||
*/
|
||
|
||
/* dispose() might be called multiple times, so we must guard against
|
||
* calling g_object_unref() on an invalid GObject by setting the member
|
||
* NULL; g_clear_object() does this for us.
|
||
*/
|
||
g_clear_object (&priv->input_stream);
|
||
|
||
/* Always chain up to the parent class; there is no need to check if
|
||
* the parent class implements the dispose() virtual function: it is
|
||
* always guaranteed to do so
|
||
*/
|
||
G_OBJECT_CLASS (viewer_file_parent_class)->dispose (gobject);
|
||
}
|
||
|
||
static void
|
||
viewer_file_finalize (GObject *gobject)
|
||
{
|
||
ViewerFilePrivate *priv = viewer_file_get_instance_private (VIEWER_FILE (gobject));
|
||
|
||
g_free (priv->filename);
|
||
|
||
/* Always chain up to the parent class; as with dispose(), finalize()
|
||
* is guaranteed to exist on the parent's class virtual function table
|
||
*/
|
||
G_OBJECT_CLASS (viewer_file_parent_class)->finalize (gobject);
|
||
}
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
GObjectClass *object_class = G_OBJECT_CLASS (klass);
|
||
|
||
object_class->dispose = viewer_file_dispose;
|
||
object_class->finalize = viewer_file_finalize;
|
||
}
|
||
|
||
static void
|
||
viewer_file_init (ViewerFile *self);
|
||
{
|
||
ViewerFilePrivate *priv = viewer_file_get_instance_private (self);
|
||
|
||
priv->input_stream = g_object_new (VIEWER_TYPE_INPUT_STREAM, NULL);
|
||
priv->filename = /* would be set as a property */;
|
||
}
|
||
```
|
||
|
||
It is possible that object methods might be invoked after dispose is run and
|
||
before finalize runs. GObject does not consider this to be a program error:
|
||
you must gracefully detect this and neither crash nor warn the user, by
|
||
having a disposed instance revert to an inert state.
|
||
|
||
### Object methods
|
||
|
||
Just as with C++, there are many different ways to define object methods and
|
||
extend them: the following list and sections draw on C++ vocabulary.
|
||
(Readers are expected to know basic C++ concepts. Those who have not had to
|
||
write C++ code recently can refer to a [C++
|
||
tutorial](http://www.cplusplus.com/doc/tutorial/) to refresh their
|
||
memories.)
|
||
|
||
- non-virtual public methods,
|
||
- virtual public methods and
|
||
- virtual private methods
|
||
- non-virtual private methods
|
||
|
||
#### Non-Virtual Methods
|
||
|
||
These are the simplest, providing a simple method which acts on the object.
|
||
Provide a function prototype in the header and an implementation of that
|
||
prototype in the source file.
|
||
|
||
```c
|
||
/* declaration in the header. */
|
||
void viewer_file_open (ViewerFile *self,
|
||
GError **error);
|
||
```
|
||
|
||
```c
|
||
/* implementation in the source file */
|
||
void
|
||
viewer_file_open (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
/* do stuff here. */
|
||
}
|
||
```
|
||
|
||
#### Virtual public methods
|
||
|
||
This is the preferred way to create GObjects with overridable methods:
|
||
|
||
- define the common method and its virtual function in the class structure
|
||
in the public header
|
||
- define the common method in the header file and implement it in the source
|
||
file
|
||
- implement a base version of the virtual function in the source file and
|
||
initialize the virtual function pointer to this implementation in the
|
||
object’s `class_init` function; or leave it as `NULL` for a ‘pure virtual’
|
||
method which must be overridden by derived classes
|
||
- re-implement the virtual function in each derived class which needs to
|
||
override it
|
||
|
||
Note that virtual functions can only be defined if the class is derivable,
|
||
declared using `G_DECLARE_DERIVABLE_TYPE` so the class structure can be
|
||
defined.
|
||
|
||
```c
|
||
/* declaration in viewer-file.h. */
|
||
#define VIEWER_TYPE_FILE viewer_file_get_type ()
|
||
G_DECLARE_DERIVABLE_TYPE (ViewerFile, viewer_file, VIEWER, FILE, GObject)
|
||
|
||
struct _ViewerFileClass
|
||
{
|
||
GObjectClass parent_class;
|
||
|
||
/* stuff */
|
||
void (*open) (ViewerFile *self,
|
||
GError **error);
|
||
|
||
/* Padding to allow adding up to 12 new virtual functions without
|
||
* breaking ABI. */
|
||
gpointer padding[12];
|
||
};
|
||
|
||
void viewer_file_open (ViewerFile *self,
|
||
GError **error);
|
||
```
|
||
|
||
```c
|
||
/* implementation in viewer-file.c */
|
||
void
|
||
viewer_file_open (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
ViewerFileClass *klass;
|
||
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
klass = VIEWER_FILE_GET_CLASS (self);
|
||
g_return_if_fail (klass->open != NULL);
|
||
|
||
klass->open (self, error);
|
||
}
|
||
```
|
||
|
||
The code above simply redirects the open call to the relevant virtual
|
||
function.
|
||
|
||
It is possible to provide a default implementation for this class method in
|
||
the object's `class_init` function: initialize the `klass->open` field to a
|
||
pointer to the actual implementation. By default, class methods that are not
|
||
inherited are initialized to `NULL`, and thus are to be considered "pure
|
||
virtual".
|
||
|
||
```c
|
||
static void
|
||
viewer_file_real_close (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
/* Default implementation for the virtual method. */
|
||
}
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
/* this is not necessary, except for demonstration purposes.
|
||
*
|
||
* pure virtual method: mandates implementation in children.
|
||
*/
|
||
klass->open = NULL;
|
||
|
||
/* merely virtual method. */
|
||
klass->close = viewer_file_real_close;
|
||
}
|
||
|
||
void
|
||
viewer_file_open (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
ViewerFileClass *klass;
|
||
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
klass = VIEWER_FILE_GET_CLASS (self);
|
||
|
||
/* if the method is purely virtual, then it is a good idea to
|
||
* check that it has been overridden before calling it, and,
|
||
* depending on the intent of the class, either ignore it silently
|
||
* or warn the user.
|
||
*/
|
||
g_return_if_fail (klass->open != NULL);
|
||
klass->open (self, error);
|
||
}
|
||
|
||
void
|
||
viewer_file_close (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
ViewerFileClass *klass;
|
||
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
klass = VIEWER_FILE_GET_CLASS (self);
|
||
if (klass->close != NULL)
|
||
klass->close (self, error);
|
||
}
|
||
```
|
||
|
||
#### Virtual private Methods
|
||
|
||
These are very similar to virtual public methods. They just don't have a
|
||
public function to call directly. The header file contains only a
|
||
declaration of the virtual function:
|
||
|
||
```c
|
||
/* declaration in viewer-file.h. */
|
||
struct _ViewerFileClass
|
||
{
|
||
GObjectClass parent;
|
||
|
||
/* Public virtual method as before. */
|
||
void (*open) (ViewerFile *self,
|
||
GError **error);
|
||
|
||
/* Private helper function to work out whether the file can be loaded via
|
||
* memory mapped I/O, or whether it has to be read as a stream. */
|
||
gboolean (*can_memory_map) (ViewerFile *self);
|
||
|
||
/* Padding to allow adding up to 12 new virtual functions without
|
||
* breaking ABI. */
|
||
gpointer padding[12];
|
||
};
|
||
|
||
void viewer_file_open (ViewerFile *self, GError **error);
|
||
```
|
||
|
||
These virtual functions are often used to delegate part of the job to child classes:
|
||
|
||
```c
|
||
/* this accessor function is static: it is not exported outside of this file. */
|
||
static gboolean
|
||
viewer_file_can_memory_map (ViewerFile *self)
|
||
{
|
||
return VIEWER_FILE_GET_CLASS (self)->can_memory_map (self);
|
||
}
|
||
|
||
void
|
||
viewer_file_open (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
/*
|
||
* Try to load the file using memory mapped I/O, if the implementation of the
|
||
* class determines that is possible using its private virtual method.
|
||
*/
|
||
if (viewer_file_can_memory_map (self))
|
||
{
|
||
/* Load the file using memory mapped I/O. */
|
||
}
|
||
else
|
||
{
|
||
/* Fall back to trying to load the file using streaming I/O… */
|
||
}
|
||
}
|
||
```
|
||
|
||
Again, it is possible to provide a default implementation for this private virtual function:
|
||
|
||
```c
|
||
static gboolean
|
||
viewer_file_real_can_memory_map (ViewerFile *self)
|
||
{
|
||
/* As an example, always return false. Or, potentially return true if the
|
||
* file is local. */
|
||
return FALSE;
|
||
}
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
/* non-pure virtual method; does not have to be implemented in children. */
|
||
klass->can_memory_map = viewer_file_real_can_memory_map;
|
||
}
|
||
```
|
||
|
||
Derived classes can then override the method with code such as:
|
||
|
||
```c
|
||
static void
|
||
viewer_audio_file_class_init (ViewerAudioFileClass *klass)
|
||
{
|
||
ViewerFileClass *file_class = VIEWER_FILE_CLASS (klass);
|
||
|
||
/* implement pure virtual function. */
|
||
file_class->can_memory_map = viewer_audio_file_can_memory_map;
|
||
}
|
||
```
|
||
|
||
### Chaining up
|
||
|
||
Chaining up is often loosely defined by the following set of conditions:
|
||
|
||
- parent class A defines a public virtual method named `foo` and provides a
|
||
default implementation
|
||
- child class B re-implements method `foo`
|
||
- B’s implementation of `foo` calls (‘chains up to’) its parent class A’s
|
||
implementation of `foo`
|
||
|
||
There are various uses of this idiom:
|
||
|
||
- you need to extend the behaviour of a class without modifying its code.
|
||
You create a subclass to inherit its implementation, re-implement a public
|
||
virtual method to modify the behaviour and chain up to ensure that the
|
||
previous behaviour is not really modified, just extended
|
||
- you need to implement the
|
||
[Chain of Responsibility pattern](https://en.wikipedia.org/wiki/Chain-of-responsibility_pattern):
|
||
each object of the inheritance tree chains up to its parent (typically, at the
|
||
beginning or the end of the method) to ensure that each handler is run in turn
|
||
|
||
To explicitly chain up to the implementation of the virtual method in the
|
||
parent class, you first need a handle to the original parent class
|
||
structure. This pointer can then be used to access the original virtual
|
||
function pointer and invoke it directly
|
||
|
||
The "original" adjective used in the sentence above is not innocuous. To
|
||
fully understand its meaning, recall how class structures are initialized:
|
||
for each object type, the class structure associated with this object is
|
||
created by first copying the class structure of its parent type (a simple
|
||
memcpy) and then by invoking the `class_init` callback on the resulting class
|
||
structure. Since the `class_init` callback is responsible for overwriting the
|
||
class structure with the user re-implementations of the class methods, the
|
||
modified copy of the parent class structure stored in the derived instance
|
||
cannot be used. A copy of the class structure of an instance of the parent
|
||
class is needed.
|
||
|
||
To chain up, you can use the `parent_class` pointer created and initialized
|
||
by the `G_DEFINE_TYPE` family of macros, for instance:
|
||
|
||
```c
|
||
static void
|
||
b_method_to_call (B *obj, int some_param)
|
||
{
|
||
/* do stuff before chain up */
|
||
|
||
/* call the method_to_call() virtual function on the
|
||
* parent of BClass, AClass.
|
||
*
|
||
* remember the explicit cast to AClass*
|
||
*/
|
||
A_CLASS (b_parent_class)->method_to_call (obj, some_param);
|
||
|
||
/* do stuff after chain up */
|
||
}
|
||
```
|
||
|
||
## How to define and implement interfaces
|
||
|
||
### Defining interfaces
|
||
|
||
The theory behind how GObject interfaces work is given in the section called
|
||
["Non-instantiatable classed types:
|
||
interfaces"](concepts.html#non-instantiatable-classed-types-interfaces);
|
||
this section covers how to define and implement an interface.
|
||
|
||
The first step is to get the header right. This interface defines three
|
||
methods:
|
||
|
||
```c
|
||
/*
|
||
* Copyright/Licensing information.
|
||
*/
|
||
|
||
#pragma once
|
||
|
||
#include <glib-object.h>
|
||
|
||
G_BEGIN_DECLS
|
||
|
||
#define VIEWER_TYPE_EDITABLE viewer_editable_get_type()
|
||
G_DECLARE_INTERFACE (ViewerEditable, viewer_editable, VIEWER, EDITABLE, GObject)
|
||
|
||
struct _ViewerEditableInterface
|
||
{
|
||
GTypeInterface parent_iface;
|
||
|
||
void (*save) (ViewerEditable *self,
|
||
GError **error);
|
||
void (*undo) (ViewerEditable *self,
|
||
guint n_steps);
|
||
void (*redo) (ViewerEditable *self,
|
||
guint n_steps);
|
||
};
|
||
|
||
void viewer_editable_save (ViewerEditable *self,
|
||
GError **error);
|
||
void viewer_editable_undo (ViewerEditable *self,
|
||
guint n_steps);
|
||
void viewer_editable_redo (ViewerEditable *self,
|
||
guint n_steps);
|
||
|
||
G_END_DECLS
|
||
```
|
||
|
||
This code is the same as the code for a normal GType which derives from a
|
||
GObject except for a few details:
|
||
|
||
- the `_GET_CLASS` function is called `_GET_IFACE` (and is defined by `G_DECLARE_INTERFACE`)
|
||
- the instance type, `ViewerEditable`, is not fully defined: it is used merely as an abstract type which represents an instance of whatever object which implements the interface
|
||
- the parent of the `ViewerEditableInterface` is `GTypeInterface`, not `GObjectClass`
|
||
|
||
The implementation of the `ViewerEditable` type itself is trivial:
|
||
|
||
- `G_DEFINE_INTERFACE` creates a `viewer_editable_get_type` function which registers the type in the type system. The third argument is used to define a prerequisite interface (which we'll talk about more later). Just pass 0 for this argument when an interface has no prerequisite
|
||
- `viewer_editable_default_init` is expected to register the interface's signals if there are any (we will see a bit later how to use them)
|
||
- the interface methods `viewer_editable_save`, `viewer_editable_undo` and `viewer_editable_redo` dereference the interface structure to access its associated interface function and call it
|
||
|
||
```c
|
||
G_DEFINE_INTERFACE (ViewerEditable, viewer_editable, G_TYPE_OBJECT)
|
||
|
||
static void
|
||
viewer_editable_default_init (ViewerEditableInterface *iface)
|
||
{
|
||
/* add properties and signals to the interface here */
|
||
}
|
||
|
||
void
|
||
viewer_editable_save (ViewerEditable *self,
|
||
GError **error)
|
||
{
|
||
ViewerEditableInterface *iface;
|
||
|
||
g_return_if_fail (VIEWER_IS_EDITABLE (self));
|
||
g_return_if_fail (error == NULL || *error == NULL);
|
||
|
||
iface = VIEWER_EDITABLE_GET_IFACE (self);
|
||
g_return_if_fail (iface->save != NULL);
|
||
iface->save (self, error);
|
||
}
|
||
|
||
void
|
||
viewer_editable_undo (ViewerEditable *self,
|
||
guint n_steps)
|
||
{
|
||
ViewerEditableInterface *iface;
|
||
|
||
g_return_if_fail (VIEWER_IS_EDITABLE (self));
|
||
|
||
iface = VIEWER_EDITABLE_GET_IFACE (self);
|
||
g_return_if_fail (iface->undo != NULL);
|
||
iface->undo (self, n_steps);
|
||
}
|
||
|
||
void
|
||
viewer_editable_redo (ViewerEditable *self,
|
||
guint n_steps)
|
||
{
|
||
ViewerEditableInterface *iface;
|
||
|
||
g_return_if_fail (VIEWER_IS_EDITABLE (self));
|
||
|
||
iface = VIEWER_EDITABLE_GET_IFACE (self);
|
||
g_return_if_fail (iface->redo != NULL);
|
||
iface->redo (self, n_steps);
|
||
}
|
||
```
|
||
|
||
### Implementing interfaces
|
||
|
||
Once the interface is defined, implementing it is rather trivial.
|
||
|
||
The first step is to define a normal final GObject class exactly as usual.
|
||
|
||
The second step is to implement `ViewerFile` by defining it using
|
||
`G_DEFINE_TYPE_WITH_CODE` and `G_IMPLEMENT_INTERFACE` instead of
|
||
`G_DEFINE_TYPE`:
|
||
|
||
```c
|
||
static void viewer_file_editable_interface_init (ViewerEditableInterface *iface);
|
||
|
||
G_DEFINE_TYPE_WITH_CODE (ViewerFile, viewer_file, G_TYPE_OBJECT,
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE,
|
||
viewer_file_editable_interface_init))
|
||
```
|
||
|
||
This definition is very much like all the similar functions seen previously.
|
||
The only interface-specific code present here is the use of
|
||
`G_IMPLEMENT_INTERFACE`.
|
||
|
||
Classes can implement multiple interfaces by using multiple calls to
|
||
`G_IMPLEMENT_INTERFACE` inside the call to `G_DEFINE_TYPE_WITH_CODE`.
|
||
|
||
`viewer_file_editable_interface_init` is the interface initialization
|
||
function: inside it, every virtual method of the interface must be assigned
|
||
to its implementation:
|
||
|
||
```c
|
||
static void
|
||
viewer_file_editable_save (ViewerFile *self,
|
||
GError **error)
|
||
{
|
||
g_print ("File implementation of editable interface save method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_undo (ViewerFile *self,
|
||
guint n_steps)
|
||
{
|
||
g_print ("File implementation of editable interface undo method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_redo (ViewerFile *self,
|
||
guint n_steps)
|
||
{
|
||
g_print ("File implementation of editable interface redo method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_interface_init (ViewerEditableInterface *iface)
|
||
{
|
||
iface->save = viewer_file_editable_save;
|
||
iface->undo = viewer_file_editable_undo;
|
||
iface->redo = viewer_file_editable_redo;
|
||
}
|
||
|
||
static void
|
||
viewer_file_init (ViewerFile *self)
|
||
{
|
||
/* Instance variable initialisation code. */
|
||
}
|
||
```
|
||
|
||
If the object is not of final type, e.g. was declared using
|
||
`G_DECLARE_DERIVABLE_TYPE` then `G_ADD_PRIVATE` macro should be added. The
|
||
private structure should be declared exactly as for a normal derivable
|
||
object.
|
||
|
||
```c
|
||
G_DEFINE_TYPE_WITH_CODE (ViewerFile, viewer_file, G_TYPE_OBJECT,
|
||
G_ADD_PRIVATE (ViewerFile)
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE,
|
||
viewer_file_editable_interface_init))
|
||
```
|
||
|
||
### Interface definition prerequisites
|
||
|
||
To specify that an interface requires the presence of other interfaces when
|
||
implemented, GObject introduces the concept of prerequisites: it is possible
|
||
to associate a list of prerequisite types to an interface. For example, if
|
||
object A wishes to implement interface I1, and if interface I1 has a
|
||
prerequisite on interface I2, A has to implement both I1 and I2.
|
||
|
||
The mechanism described above is, in practice, very similar to Java's
|
||
interface I1 extends interface I2. The example below shows the GObject
|
||
equivalent:
|
||
|
||
```
|
||
/* Make the ViewerEditableLossy interface require ViewerEditable interface. */
|
||
G_DEFINE_INTERFACE (ViewerEditableLossy, viewer_editable_lossy, VIEWER_TYPE_EDITABLE)
|
||
```
|
||
|
||
In the `G_DEFINE_INTERFACE` call above, the third parameter defines the
|
||
prerequisite type. This is the GType of either an interface or a class. In
|
||
this case the `ViewerEditable` interface is a prerequisite of
|
||
`ViewerEditableLossy`. The code below shows how an implementation can
|
||
implement both interfaces and register their implementations:
|
||
|
||
```c
|
||
static void
|
||
viewer_file_editable_lossy_compress (ViewerEditableLossy *editable)
|
||
{
|
||
ViewerFile *self = VIEWER_FILE (editable);
|
||
|
||
g_print ("File implementation of lossy editable interface compress method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_lossy_interface_init (ViewerEditableLossyInterface *iface)
|
||
{
|
||
iface->compress = viewer_file_editable_lossy_compress;
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_save (ViewerEditable *editable,
|
||
GError **error)
|
||
{
|
||
ViewerFile *self = VIEWER_FILE (editable);
|
||
|
||
g_print ("File implementation of editable interface save method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_undo (ViewerEditable *editable,
|
||
guint n_steps)
|
||
{
|
||
ViewerFile *self = VIEWER_FILE (editable);
|
||
|
||
g_print ("File implementation of editable interface undo method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_redo (ViewerEditable *editable,
|
||
guint n_steps)
|
||
{
|
||
ViewerFile *self = VIEWER_FILE (editable);
|
||
|
||
g_print ("File implementation of editable interface redo method: %s.\n",
|
||
self->filename);
|
||
}
|
||
|
||
static void
|
||
viewer_file_editable_interface_init (ViewerEditableInterface *iface)
|
||
{
|
||
iface->save = viewer_file_editable_save;
|
||
iface->undo = viewer_file_editable_undo;
|
||
iface->redo = viewer_file_editable_redo;
|
||
}
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
/* Nothing here. */
|
||
}
|
||
|
||
static void
|
||
viewer_file_init (ViewerFile *self)
|
||
{
|
||
/* Instance variable initialisation code. */
|
||
}
|
||
|
||
G_DEFINE_TYPE_WITH_CODE (ViewerFile, viewer_file, G_TYPE_OBJECT,
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE,
|
||
viewer_file_editable_interface_init)
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE_LOSSY,
|
||
viewer_file_editable_lossy_interface_init))
|
||
```
|
||
|
||
It is very important to notice that the order in which interface
|
||
implementations are added to the main object is not random:
|
||
`g_type_add_interface_static()`, which is called by `G_IMPLEMENT_INTERFACE`, must
|
||
be invoked first on the interfaces which have no prerequisites and then on
|
||
the others.
|
||
|
||
### Interface properties
|
||
|
||
GObject interfaces can also have properties. Declaration of the interface
|
||
properties is similar to declaring the properties of ordinary GObject types
|
||
as explained in the section called ["Object
|
||
properties"](concepts.html#object-properties), except that
|
||
`g_object_interface_install_property()` is used to declare the properties
|
||
instead of `g_object_class_install_property()`.
|
||
|
||
To include a property named 'autosave-frequency' of type gdouble in the
|
||
`ViewerEditable` interface example code above, we only need to add one call in
|
||
`viewer_editable_default_init()` as shown below:
|
||
|
||
```c
|
||
static void
|
||
viewer_editable_default_init (ViewerEditableInterface *iface)
|
||
{
|
||
g_object_interface_install_property (iface,
|
||
g_param_spec_double ("autosave-frequency",
|
||
"Autosave frequency",
|
||
"Frequency (in per-seconds) to autosave backups of the editable content at. "
|
||
"Or zero to disable autosaves.",
|
||
0.0, /* minimum */
|
||
G_MAXDOUBLE, /* maximum */
|
||
0.0, /* default */
|
||
G_PARAM_READWRITE));
|
||
}
|
||
```
|
||
|
||
One point worth noting is that the declared property wasn't assigned an
|
||
integer ID. The reason being that integer IDs of properties are used only
|
||
inside the `get_property` and `set_property` virtual methods. Since interfaces
|
||
declare but do not implement properties, there is no need to assign integer
|
||
IDs to them.
|
||
|
||
An implementation declares and defines its properties in the usual way as
|
||
explained in the section called “Object properties”, except for one small
|
||
change: it can declare the properties of the interface it implements using
|
||
`g_object_class_override_property()` instead of `g_object_class_install_property()`.
|
||
The following code snippet shows the modifications needed in the `ViewerFile`
|
||
declaration and implementation above:
|
||
|
||
```c
|
||
struct _ViewerFile
|
||
{
|
||
GObject parent_instance;
|
||
|
||
double autosave_frequency;
|
||
};
|
||
|
||
enum
|
||
{
|
||
PROP_AUTOSAVE_FREQUENCY = 1,
|
||
N_PROPERTIES
|
||
};
|
||
|
||
static void
|
||
viewer_file_set_property (GObject *object,
|
||
guint prop_id,
|
||
const GValue *value,
|
||
GParamSpec *pspec)
|
||
{
|
||
ViewerFile *file = VIEWER_FILE (object);
|
||
|
||
switch (prop_id)
|
||
{
|
||
case PROP_AUTOSAVE_FREQUENCY:
|
||
file->autosave_frequency = g_value_get_double (value);
|
||
break;
|
||
|
||
default:
|
||
G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
viewer_file_get_property (GObject *object,
|
||
guint prop_id,
|
||
GValue *value,
|
||
GParamSpec *pspec)
|
||
{
|
||
ViewerFile *file = VIEWER_FILE (object);
|
||
|
||
switch (prop_id)
|
||
{
|
||
case PROP_AUTOSAVE_FREQUENCY:
|
||
g_value_set_double (value, file->autosave_frequency);
|
||
break;
|
||
|
||
default:
|
||
G_OBJECT_WARN_INVALID_PROPERTY_ID (object, prop_id, pspec);
|
||
break;
|
||
}
|
||
}
|
||
|
||
static void
|
||
viewer_file_class_init (ViewerFileClass *klass)
|
||
{
|
||
GObjectClass *object_class = G_OBJECT_CLASS (klass);
|
||
|
||
object_class->set_property = viewer_file_set_property;
|
||
object_class->get_property = viewer_file_get_property;
|
||
|
||
g_object_class_override_property (object_class, PROP_AUTOSAVE_FREQUENCY, "autosave-frequency");
|
||
}
|
||
```
|
||
|
||
### Overriding interface methods
|
||
|
||
If a base class already implements an interface and a derived class needs to
|
||
implement the same interface but needs to override certain methods, you must
|
||
reimplement the interface and set only the interface methods which need
|
||
overriding.
|
||
|
||
In this example, `ViewerAudioFile` is derived from `ViewerFile`. Both implement
|
||
the `ViewerEditable` interface. `ViewerAudioFile` only implements one method of
|
||
the `ViewerEditable` interface and uses the base class implementation of the
|
||
other.
|
||
|
||
```c
|
||
static void
|
||
viewer_audio_file_editable_save (ViewerEditable *editable,
|
||
GError **error)
|
||
{
|
||
ViewerAudioFile *self = VIEWER_AUDIO_FILE (editable);
|
||
|
||
g_print ("Audio file implementation of editable interface save method.\n");
|
||
}
|
||
|
||
static void
|
||
viewer_audio_file_editable_interface_init (ViewerEditableInterface *iface)
|
||
{
|
||
/* Override the implementation of save(). */
|
||
iface->save = viewer_audio_file_editable_save;
|
||
|
||
/*
|
||
* Leave iface->undo and ->redo alone, they are already set to the
|
||
* base class implementation.
|
||
*/
|
||
}
|
||
|
||
G_DEFINE_TYPE_WITH_CODE (ViewerAudioFile, viewer_audio_file, VIEWER_TYPE_FILE,
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE,
|
||
viewer_audio_file_editable_interface_init))
|
||
|
||
static void
|
||
viewer_audio_file_class_init (ViewerAudioFileClass *klass)
|
||
{
|
||
/* Nothing here. */
|
||
}
|
||
|
||
static void
|
||
viewer_audio_file_init (ViewerAudioFile *self)
|
||
{
|
||
/* Nothing here. */
|
||
}
|
||
```
|
||
|
||
To access the base class interface implementation use
|
||
`g_type_interface_peek_parent()` from within an interface's `default_init`
|
||
function.
|
||
|
||
To call the base class implementation of an interface method from a derived
|
||
class where than interface method has been overridden, stash away the
|
||
pointer returned from `g_type_interface_peek_parent()` in a global variable.
|
||
|
||
In this example `ViewerAudioFile` overrides the save interface method. In
|
||
its overridden method it calls the base class implementation of the same
|
||
interface method.
|
||
|
||
```c
|
||
static ViewerEditableInterface *viewer_editable_parent_interface = NULL;
|
||
|
||
static void
|
||
viewer_audio_file_editable_save (ViewerEditable *editable,
|
||
GError **error)
|
||
{
|
||
ViewerAudioFile *self = VIEWER_AUDIO_FILE (editable);
|
||
|
||
g_print ("Audio file implementation of editable interface save method.\n");
|
||
|
||
/* Now call the base implementation */
|
||
viewer_editable_parent_interface->save (editable, error);
|
||
}
|
||
|
||
static void
|
||
viewer_audio_file_editable_interface_init (ViewerEditableInterface *iface)
|
||
{
|
||
viewer_editable_parent_interface = g_type_interface_peek_parent (iface);
|
||
|
||
iface->save = viewer_audio_file_editable_save;
|
||
}
|
||
|
||
G_DEFINE_TYPE_WITH_CODE (ViewerAudioFile, viewer_audio_file, VIEWER_TYPE_FILE,
|
||
G_IMPLEMENT_INTERFACE (VIEWER_TYPE_EDITABLE,
|
||
viewer_audio_file_editable_interface_init))
|
||
|
||
static void
|
||
viewer_audio_file_class_init (ViewerAudioFileClass *klass)
|
||
{
|
||
/* Nothing here. */
|
||
}
|
||
|
||
static void
|
||
viewer_audio_file_init (ViewerAudioFile *self)
|
||
{
|
||
/* Nothing here. */
|
||
}
|
||
```
|
||
|
||
## How to create and use signals
|
||
|
||
The signal system in GType is pretty complex and flexible: it is possible
|
||
for its users to connect at runtime any number of callbacks (implemented in
|
||
any language for which a binding exists) to any signal and to stop the
|
||
emission of any signal at any state of the signal emission process. This
|
||
flexibility makes it possible to use GSignal for much more than just
|
||
emitting signals to multiple clients.
|
||
|
||
### Simple use of signals
|
||
|
||
The most basic use of signals is to implement event notification. For
|
||
example, given a `ViewerFile` object with a write method, a signal could be
|
||
emitted whenever the file is changed using that method. The code below shows
|
||
how the user can connect a callback to the "changed" signal.
|
||
|
||
```c
|
||
file = g_object_new (VIEWER_FILE_TYPE, NULL);
|
||
|
||
g_signal_connect (file, "changed", (GCallback) changed_event, NULL);
|
||
|
||
viewer_file_write (file, buffer, strlen (buffer));
|
||
```
|
||
|
||
The ViewerFile signal is registered in the `class_init` function:
|
||
|
||
```c
|
||
file_signals[CHANGED] =
|
||
g_signal_newv ("changed",
|
||
G_TYPE_FROM_CLASS (object_class),
|
||
G_SIGNAL_RUN_LAST | G_SIGNAL_NO_RECURSE | G_SIGNAL_NO_HOOKS,
|
||
NULL /* closure */,
|
||
NULL /* accumulator */,
|
||
NULL /* accumulator data */,
|
||
NULL /* C marshaller */,
|
||
G_TYPE_NONE /* return_type */,
|
||
0 /* n_params */,
|
||
NULL /* param_types */);
|
||
```
|
||
|
||
and the signal is emitted in `viewer_file_write`:
|
||
|
||
```c
|
||
void
|
||
viewer_file_write (ViewerFile *self,
|
||
const guint8 *buffer,
|
||
gsize size)
|
||
{
|
||
g_return_if_fail (VIEWER_IS_FILE (self));
|
||
g_return_if_fail (buffer != NULL || size == 0);
|
||
|
||
/* First write data. */
|
||
|
||
/* Then, notify user of data written. */
|
||
g_signal_emit (self, file_signals[CHANGED], 0 /* details */);
|
||
}
|
||
```
|
||
|
||
As shown above, the details parameter can safely be set to zero if no detail
|
||
needs to be conveyed. For a discussion of what it can be used for, see the
|
||
section called [“The detail argument”](concepts.html#the-detail-argument).
|
||
|
||
The C signal marshaller should always be `NULL`, in which case the best
|
||
marshaller for the given closure type will be chosen by GLib. This may be an
|
||
internal marshaller specific to the closure type, or
|
||
`g_cclosure_marshal_generic()`, which implements generic conversion of arrays of
|
||
parameters to C callback invocations. GLib used to require the user to write
|
||
or generate a type-specific marshaller and pass that, but that has been
|
||
deprecated in favour of automatic selection of marshallers.
|
||
|
||
Note that `g_cclosure_marshal_generic()` is slower than non-generic
|
||
marshallers, so should be avoided for performance critical code. However,
|
||
performance critical code should rarely be using signals anyway, as signals
|
||
are synchronous, and the emission blocks until all listeners are invoked,
|
||
which has potentially unbounded cost.
|