add chain up section
[platform/upstream/glib.git] / docs / reference / gobject / tut_howto.xml
1 <chapter id="howto">
2   <title>How To ?</title>
3   
4   <para>
5     This chapter tries to answer the real-life questions of users and presents
6     the most common scenario use-cases I could come up with.
7     The use-cases are presented from most likely to less likely.
8   </para>
9
10 <!--
11   Howto GObject
12 -->
13
14   <sect1 id="howto-gobject">
15     <title>How To define and implement a new GObject ?</title>
16     
17     <para>
18       Clearly, this is one of the most common question people ask: they just want to crank code and 
19       implement a subclass of a GObject. Sometimes because they want to create their own class hierarchy,
20       sometimes because they want to subclass one of GTK+'s widget. This chapter will focus on the 
21       implementation of a subtype of GObject.  The sample source code
22       associated to this section can be found in the documentation's source tarball, in the 
23       <filename>sample/gobject</filename> directory:
24       <itemizedlist>
25         <listitem><para><filename>maman-bar.{h|c}</filename>: this is the source for a object which derives from 
26         <type>GObject</type> and which shows how to declare different types of methods on the object.
27         </para></listitem>
28         <listitem><para><filename>maman-subbar.{h|c}</filename>: this is the source for a object which derives from 
29         <type>MamanBar</type> and which shows how to override some of its parent's methods.
30         </para></listitem>
31         <listitem><para><filename>maman-foo.{h|c}</filename>: this is the source for an object which derives from 
32         <type>GObject</type> and which declares a signal.
33         </para></listitem>
34         <listitem><para><filename>test.c</filename>: this is the main source which instantiates an instance of
35         type and exercises their API.
36         </para></listitem>
37       </itemizedlist>
38     </para>
39
40     <sect2 id="howto-gobject-header">
41       <title>Boilerplate header code</title>
42       
43       <para>
44         The first step before writing the code for your GObject is to write the type's header which contains
45         the needed type, function and macro definitions. Each of these elements is nothing but a convention
46         which is followed not only by GTK+'s code but also by most users of GObject. If you feel the need 
47         not to obey the rules stated below, think about it twice:
48         <itemizedlist>
49           <listitem><para>If your users are a bit accustomed to GTK+ code or any Glib code, they will
50               be a bit surprised and getting used to the conventions you decided upon will take time (money) and
51               will make them grumpy (not a good thing)
52             </para></listitem>
53           <listitem><para>
54               You must assess the fact that these conventions might have been designed by both smart
55               and experienced people: maybe they were at least partly right. Try  to put your ego aside.
56             </para></listitem>
57         </itemizedlist>
58       </para>
59
60       <para>
61         Pick a name convention for your headers and source code and stick to it:
62         <itemizedlist>
63           <listitem><para>
64               use a dash to separate the prefix from the typename: <filename>maman-bar.h</filename> and 
65               <filename>maman-bar.c</filename> (this is the convention used by Nautilus and most Gnome libraries).
66             </para></listitem>
67           <listitem><para>
68               use an underscore to separate the prefix from the typename: <filename>maman_bar.h</filename> and 
69               <filename>maman_bar.c</filename>.
70             </para></listitem>
71           <listitem><para>
72               Do not separate the prefix from the typename: <filename>mamanbar.h</filename> and 
73               <filename>mamanbar.c</filename>. (this is the convention used by GTK+)
74             </para></listitem>
75         </itemizedlist>
76         I personally like the first solution better: it makes reading file names easier for those with poor
77         eyesight like me.
78       </para>
79
80       <para>
81         The basic conventions for any header which exposes a GType are described in 
82         <xref linkend="gtype-conventions"/>. Most GObject-based code also obeys onf of the following
83         conventions: pick one and stick to it.
84         <itemizedlist>
85           <listitem><para>
86               If you want to declare a type named bar with prefix maman, name the type instance
87               <function>MamanBar</function> and its class <function>MamanBarClass</function>
88               (name is case-sensitive). It is customary to declare them with code similar to the 
89               following:
90 <programlisting>
91 /*
92  * Copyright/Licensing information.
93  */
94
95 #ifndef MAMAN_BAR_H
96 #define MAMAN_BAR_H
97
98 /*
99  * Potentially, include other headers on which this header depends.
100  */
101
102
103 /*
104  * Type macros.
105  */
106
107 typedef struct _MamanBar MamanBar;
108 typedef struct _MamanBarClass MamanBarClass;
109
110 struct _MamanBar {
111   GObject parent;
112   /* instance members */
113 };
114
115 struct _MamanBarClass {
116   GObjectClass parent;
117   /* class members */
118 };
119
120 /* used by MAMAN_BAR_TYPE */
121 GType maman_bar_get_type (void);
122
123 /*
124  * Method definitions.
125  */
126
127 #endif
128 </programlisting>
129             </para></listitem>
130           <listitem><para>
131               Most GTK+ types declare their private fields in the public header with a /* private */ comment, 
132               relying on their user's intelligence not to try to play with these fields. Fields not marked private
133               are considered public by default. The /* protected */ comment (same semantics as those of C++)
134               is also used, mainly in the GType library, in code written by Tim Janik.
135 <programlisting>
136 struct _MamanBar {
137   GObject parent;
138
139   /* private */
140   int hsize;
141 };
142 </programlisting>
143             </para></listitem>
144           <listitem><para>
145               All of Nautilus code and a lot of Gnome libraries use private indirection members, as described
146               by Herb Sutter in his Pimpl articles (see <ulink></ulink>: Herb summarizes the different
147               issues better than I will):
148 <programlisting>
149 typedef struct _MamanBarPrivate MamanBarPrivate;
150 struct _MamanBar {
151   GObject parent;
152         
153   /* private */
154   MamanBarPrivate *priv;
155 };
156 </programlisting>
157               The private structure is then defined in the .c file, instantiated in the object's XXX
158               function and destroyed in the object's XXX function.
159             </para></listitem>
160         </itemizedlist>
161       </para>
162
163       <para>
164         Finally, there are different header include conventions. Again, pick one and stick to it. I personally
165         use indifferently any of the two, depending on the codebase I work on: the rule is consistency.
166         <itemizedlist>
167           <listitem><para>
168               Some people add at the top of their headers a number of #include directives to pull in
169               all the headers needed to compile client code. This allows client code to simply  
170               #include "maman-bar.h".
171             </para></listitem>
172           <listitem><para>
173               Other do not #include anything and expect the client to #include themselves the headers 
174               they need before including your header. This speeds up compilation because it minimizes the
175               amount of pre-processor work. This can be used in conjunction with the re-declaration of certain 
176               unused types in the client code to minimize compile-time dependencies and thus speed up 
177               compilation.
178             </para></listitem>
179         </itemizedlist>
180       </para>
181         
182     </sect2>
183
184     <sect2 id="howto-gobject-code">
185       <title>Boilerplate code</title>
186
187       <para>
188         In your code, the first step is to #include the needed headers: depending on your header include strategy, this
189         can be as simple as #include "maman-bar.h" or as complicated as tens of #include lines ending with 
190         #include "maman-bar.h":
191 <programlisting>
192 /*
193  * Copyright information
194  */
195
196 #include "maman-bar.h"
197
198 /* If you use Pimpls, include the private structure 
199  * definition here. Some people create a maman-bar-private.h header
200  * which is included by the maman-bar.c file and which contains the
201  * definition for this private structure.
202  */
203 struct _MamanBarPrivate {
204   int member_1;
205   /* stuff */
206 };
207
208 /* 
209  * forward definitions
210  */
211 </programlisting>
212       </para>
213
214       <para>
215         Implement <function>maman_bar_get_type</function> and make sure the code compiles:
216 <programlisting>
217 GType
218 maman_bar_get_type (void)
219 {
220   static GType type = 0;
221   if (type == 0) {
222     static const GTypeInfo info = {
223       sizeof (MamanBarClass),
224       NULL,   /* base_init */
225       NULL,   /* base_finalize */
226       NULL,   /* class_init */
227       NULL,   /* class_finalize */
228       NULL,   /* class_data */
229       sizeof (MamanBar),
230       0,      /* n_preallocs */
231       NULL    /* instance_init */
232       };
233       type = g_type_register_static (G_TYPE_OBJECT,
234                                      "MamanBarType",
235                                      &amp;info, 0);
236     }
237     return type;
238 }
239 </programlisting>
240       </para>
241     </sect2>
242
243     <sect2 id="howto-gobject-construction">
244       <title>Object Construction</title>
245
246       <para>
247         People often get confused when trying to construct their GObjects because of the
248         sheer number of different ways to hook into the objects's construction process: it is
249         difficult to figure which is the <emphasis>correct</emphasis>, recommended way.
250       </para>
251
252       <para>
253         <xref linkend="gobject-construction-table"/> shows what user-provided functions
254         are invoked during object instanciation and in which order they are invoked.
255         A user looking for the equivalent of the simple C++ constructor function should use
256         the instance_init method. It will be invoked after all the parent's instance_init
257         functions have been invoked. It cannot take arbitrary construction parameters 
258         (as in C++) but if your object needs arbitrary parameters to complete initialization,
259         you can use construction properties.
260       </para>
261
262       <para>
263         Construction properties will be set only after all instance_init functions have run.
264         No object reference will be returned to the client of <function>g_object_new></function>
265         until all the construction properties have been set.
266       </para>
267
268       <para>
269         As such, I would recommend writing the following code first:
270 <programlisting>
271 static void
272 maman_bar_init (GTypeInstance   *instance,
273                 gpointer         g_class)
274 {
275   MamanBar *self = (MamanBar *)instance;
276   self->private = g_new0 (MamanBarPrivate, 1);
277
278   /* initialize all public and private members to reasonable default values. */
279   /* If you need specific consruction properties to complete initialization,
280    * delay initialization completion until the property is set. 
281    */
282 }
283 </programlisting>
284         And make sure that you set <function>maman_bar_init</function> as the type's instance_init function
285         in <function>maman_bar_get_type</function>. Make sure the code builds and runs: create an instance 
286         of the object and make sure <function>maman_bar_init</function> is called (add a 
287         <function>g_print</function> call in it).
288       </para>
289
290       <para>
291         Now, if you need special construction properties, install the properties in the class_init function,
292         override the set and get methods and implement the get and set methods as described in 
293         <xref linkend="gobject-properties"/>. Make sure that these properties use a construct only 
294         <type>GParamSpec</type> by setting the param spec's flag field to G_PARAM_CONSTRUCT_ONLY: this helps
295         GType ensure that these properties are not set again later by malicious user code.
296 <programlisting>
297 static void
298 bar_class_init (MamanBarClass *klass)
299 {
300   GObjectClass *gobject_class = G_OBJECT_CLASS (klass);
301   GParamSpec *maman_param_spec;
302
303   gobject_class->set_property = bar_set_property;
304   gobject_class->get_property = bar_get_property;
305
306   maman_param_spec = g_param_spec_string ("maman",
307                                           "Maman construct prop",
308                                           "Set maman's name",
309                                           "no-name-set" /* default value */,
310                                           G_PARAM_CONSTRUCT_ONLY |G_PARAM_READWRITE);
311
312   g_object_class_install_property (gobject_class,
313                                    PROP_MAMAN,
314                                    maman_param_spec);
315 }
316 </programlisting>
317         If you need this, make sure you can build and run code similar to the code shown above. Make sure
318         your construct properties can set correctly during construction, make sure you cannot set them 
319         afterwards and make sure that if your users do not call <function>g_object_new</function>
320         with the required construction properties, these will be initialized with the default values.
321       </para>
322
323       <para>
324         I consider good taste to halt program execution if a construction property is set its
325         default value. This allows you to catch client code which does not give a reasonable
326         value to the construction properties. Of course, you are free to disagree but you
327         should have a good reason to do so.
328       </para>
329
330         <para>Some people sometimes need to construct their object but only after the construction properties
331         have been set. This is possible through the use of the constructor class method as described in
332         <xref linkend="gobject-instanciation"/>. However, I have yet to see <emphasis>any</emphasis> reasonable
333         use of this feature. As such, to initialize your object instances, use by default the base_init function
334         and construction properties.
335         </para>
336     </sect2>
337
338     <sect2 id="howto-gobject-destruction">
339       <title>Object Destruction</title>
340
341       <para>
342         Again, it is often difficult to figure out which mechanism to use to hook into the object's
343         destruction process: when the last <function>g_object_unref</function> function call is made,
344         a lot of things happen as described in <xref linkend="gobject-destruction-table"/>.
345       </para>
346
347       <para>
348         The destruction process of your object must be split is two different phases: you must override
349         both the dispose and the finalize class methods.
350 <programlisting>
351 struct _MamanBarPrivate {
352   gboolean dispose_has_run;
353 };
354
355 static void
356 bar_dispose (MamanBar *self)
357 {
358   if (self->private->dispose_has_run) {
359    /* If dispose did already run, return. */
360     return;
361   }
362   /* Make sure dispose does not run twice. */
363   object->private->dispose_has_run = TRUE;
364
365   /* 
366    * In dispose, you are supposed to free all types referenced from this
367    * object which might themselves hold a reference to self. Generally,
368    * the most simple solution is to unref all members on which you own a 
369    * reference.
370    */
371 }
372
373 static void
374 bar_finalize (MamanBar *self)
375 {
376   /*
377    * Here, complete object destruction.
378    * You might not need to do much...
379    */
380   g_free (self->private);
381 }
382
383 static void
384 bar_class_init (BarClass *klass)
385 {
386   GObjectClass *gobject_class = G_OBJECT_CLASS (klass);
387
388   gobject_class->dispose = bar_dispose;
389   gobject_class->finalize = bar_finalize;
390 }
391
392 static void
393 maman_bar_init (GTypeInstance   *instance,
394                 gpointer         g_class)
395 {
396   MamanBar *self = (MamanBar *)instance;
397   self->private = g_new0 (MamanBarPrivate, 1);
398   self->private->dispose_has_run = FALSE;
399 }
400 </programlisting>
401       </para>
402
403       <para>
404         Add similar code to your GObject, make sure the code still builds and runs: dispose and finalize must be called
405         during the last unref.
406         It is possible that object methods might be invoked after dispose is run and before finalize runs. GObject
407         does not consider this to be a program error: you must gracefully detect this and neither crash nor warn
408         the user. To do this, you need something like the following code at the start of each object method, to make
409         sure the object's data is still valid before manipulating it:
410 <programlisting>
411 if (self->private->dispose_has_run) {
412   /* Dispose has run. Data is not valid anymore. */
413   return;
414 }
415 </programlisting>
416       </para>
417     </sect2>
418
419     <sect2 id="howto-gobject-methods">
420       <title>Object methods</title>
421
422       <para>
423         Just as with C++, there are many different ways to define object
424         methods and extend them: the following list and sections draw on C++ vocabulary.
425         (Readers are expected to know basic C++ buzzwords. Those who have not had to
426         write C++ code recently can refer to <ulink>XXXX</ulink> to refresh their 
427         memories.)
428         <itemizedlist>
429           <listitem><para>
430               non-virtual public methods,
431             </para></listitem>
432           <listitem><para>
433               virtual public methods and
434             </para></listitem>
435           <listitem><para>
436               virtual private methods
437             </para></listitem>
438         </itemizedlist>
439       </para>
440
441       <sect3>
442         <title>Non-virtual public methods</title>
443
444         <para>
445           These are the simplest: you want to provide a simple method which can act on your object. All you need
446           to do is to provide a function prototype in the header and an implementation of that prototype
447           in the source file.
448 <programlisting>
449 /* declaration in the header. */
450 void maman_bar_do_action (MamanBar *self, /* parameters */);
451 /* implementation in the source file */
452 void maman_bar_do_action (MamanBar *self, /* parameters */)
453 {
454   /* do stuff here. */
455 }
456 </programlisting>
457         </para>
458
459         <para>There is really nothing scary about this.</para>
460       </sect3>
461
462       <sect3>
463         <title>Virtual public methods</title>
464
465         <para>
466           This is the preferred way to create polymorphic GObjects. All you need to do is to
467           define the common method and its class function in the public header, implement the
468           common method in the source file and re-implement the class function in each object 
469           which inherits from you.
470 <programlisting>
471 /* declaration in maman-bar.h. */
472 struct _MamanBarClass {
473   GObjectClass parent;
474
475   /* stuff */
476   void (*do_action) (MamanBar *self, /* parameters */);
477 };
478 void maman_bar_do_action (MamanBar *self, /* parameters */);
479 /* implementation in maman-bar.c */
480 void maman_bar_do_action (MamanBar *self, /* parameters */)
481 {
482   MAMAN_BAR_GET_CLASS (self)->do_action (self, /* parameters */);
483 }
484 </programlisting>
485           The code above simply redirects the do_action call to the relevant class function. Some users,
486           concerned about performance, do not provide the <function>maman_bar_do_action</function>
487           wrapper function and require users to de-reference the class pointer themselves. This is not such
488           a great idea in terms of encapsulation and makes it difficult to change the object's implementation
489           afterwards, should this be needed.
490         </para>
491
492         <para>
493           Other users, also concerned by performance issues, declare the <function>maman_bar_do_action</function>
494           function inline in the header file. This, however, makes it difficult to change the
495           object's implementation later (although easier than requiring users to directly de-reference the class 
496           function) and is often difficult to write in a portable way (the <emphasis>inline</emphasis> keyword
497           is not part of the C standard).
498         </para>
499
500         <para>
501           In doubt, unless a user shows you hard numbers about the performance cost of the function call,
502           just <function>maman_bar_do_action</function> in the source file.
503         </para>
504
505         <para>
506           Please, note that it is possible for you to provide a default implementation for this class method in
507           the object's class_init function: initialize the klass->do_action field to a pointer to the actual
508           implementation. You can also make this class method pure virtual by initializing the klass->do_action
509           field to NULL:
510 <programlisting>
511 static void 
512 maman_bar_real_do_action_two (MamanBar *self, /* parameters */)
513 {
514   /* Default implementation for the virtual method. */
515 }
516
517 static void
518 maman_bar_class_init (BarClass *klass)
519 {
520   /* pure virtual method: mandates implementation in children. */
521   klass->do_action_one = NULL;
522   /* merely virtual method. */
523   klass->do_action_two = maman_bar_real_do_action_two;
524 }
525
526 void maman_bar_do_action_one (MamanBar *self, /* parameters */)
527 {
528   MAMAN_BAR_GET_CLASS (self)->do_action_one (self, /* parameters */);
529 }
530 void maman_bar_do_action_two (MamanBar *self, /* parameters */)
531 {
532   MAMAN_BAR_GET_CLASS (self)->do_action_two (self, /* parameters */);
533 }
534 </programlisting>
535         </para>
536       </sect3>
537
538       <sect3>
539         <title>Virtual private Methods</title>
540
541         <para>
542           These are very similar to Virtual Public methods. They just don't have a public function to call the
543           function directly. The header file contains only a declaration of the class function:
544 <programlisting>
545 /* declaration in maman-bar.h. */
546 struct _MamanBarClass {
547   GObjectClass parent;
548
549   /* stuff */
550   void (*helper_do_specific_action) (MamanBar *self, /* parameters */);
551 };
552 void maman_bar_do_any_action (MamanBar *self, /* parameters */);
553 </programlisting>
554           These class functions are often used to delegate part of the job to child classes:
555 <programlisting>
556 /* this accessor function is static: it is not exported outside of this file. */
557 static void 
558 maman_bar_do_specific_action (MamanBar *self, /* parameters */)
559 {
560   MAMAN_BAR_GET_CLASS (self)->do_specific_action (self, /* parameters */);
561 }
562
563 void maman_bar_do_any_action (MamanBar *self, /* parameters */)
564 {
565   /* random code here */
566
567   /* 
568    * Try to execute the requested action. Maybe the requested action cannot be implemented
569    * here. So, we delegate its implementation to the child class:
570    */
571   maman_bar_do_specific_action (self, /* parameters */);
572
573   /* other random code here */
574 }
575 </programlisting>
576         </para>
577
578         <para>
579           Again, it is possible to provide a default implementation for this private virtual class function:
580 <programlisting>
581 static void
582 maman_bar_class_init (MamanBarClass *klass)
583 {
584   /* pure virtual method: mandates implementation in children. */
585   klass->do_specific_action_one = NULL;
586   /* merely virtual method. */
587   klass->do_specific_action_two = maman_bar_real_do_specific_action_two;
588 }
589 </programlisting>
590         </para>
591
592         <para>
593           Children can then implement the subclass with code such as:
594 <programlisting>
595 static void
596 maman_bar_subtype_class_init (MamanBarSubTypeClass *klass)
597 {
598   MamanBarClass *bar_class = MAMAN_BAR_CLASS (klass);
599   /* implement pure virtual class function. */
600   bar_class->do_specific_action_one = maman_bar_subtype_do_specific_action_one;
601 }
602 </programlisting>
603         </para>
604       </sect3>
605     </sect2>
606
607     <sect2 id="howto-gobject-chainup">
608      <title>Chaining up</title>
609
610      <para>Chaining up is often loosely defined by the folowing set of conditions:
611        <itemizedlist>
612          <listitem><para>Parent class A defines a public virtual method named <function>foo</function> and 
613          provides a default implementation.</para></listitem>
614          <listitem><para>Child class B re-implements method <function>foo</function>.</para></listitem>
615          <listitem><para>In the method B::foo, the child class B calls its parent class method A::foo.</para></listitem>
616        </itemizedlist>
617        There are many uses to this idiom:
618        <itemizedlist>
619          <listitem><para>You need to change the behaviour of a class without modifying its code. You create
620            a subclass to inherit its implementation, re-implement a public virtual method to modify the behaviour
621            slightly and chain up to ensure that the previous behaviour is not really modifed, just extended.
622            </para></listitem>
623          <listitem><para>You are lazy, you have access to the source code of the parent class but you don't want 
624            to modify it to add method calls to new specialized method calls: it is faster to hack the child class
625            to chain up than to modify the parent to call down.</para></listitem>
626          <listitem><para>You need to implement the Chain Of Responsability pattern: each object of the inheritance
627            tree chains up to its parent (typically, at the begining or the end of the method) to ensure that
628            they each handler is run in turn.</para></listitem>
629        </itemizedlist>
630        I am personally not really convinced any of the last two uses are really a good idea but since this
631        programming idiom is often used, this section attemps to explain how to implement it.
632      </para>
633
634      <para>To explicitely chain up to the implementation of the virtual method in the parent class, 
635        you first need a handle to the original parent class structure. This pointer can then be used to 
636        access the original class function pointer and invoke it directly.
637         <footnote>
638           <para>The <emphasis>original</emphasis> adjective used in this sentence is not innocuous. To fully 
639            understand its meaning, you need to recall how class structures are initialized: for each object type,
640            the class structure associated to this object is created by first copying the class structure of its 
641            parent type (a simple <function>memcpy</function>) and then by invoking the class_init callback on 
642            the resulting class structure. Since the class_init callback is responsible for overwriting the class structure
643            with the user re-implementations of the class methods, we cannot merely use the modified copy of the parent class
644            structure stored in our derived instance. We want to get a copy of the class structure of an instance of the parent 
645            class.
646           </para>
647         </footnote>
648      </para>
649
650      <para>The function <function>g_type_class_peek_parent</function> is used to access the original parent 
651       class structure. Its input is a pointer to the class of the derived object and it returns a pointer
652       to the original parent class structure. The code below shows how you could use it:
653 <programlisting>
654 static void
655 b_method_to_call (B *obj, int a)
656 {
657   BClass *klass;
658   AClass *parent_class;
659   klass = B_GET_CLASS (obj);
660   parent_class = g_type_class_peek_parent (klass);
661
662   /* do stuff before chain up */
663   parent_class->method_to_call (obj, a);
664   /* do stuff after chain up */
665 }
666 </programlisting>
667      A lot of people who use this idiom in GTK+ store the parent class structure pointer in a global static 
668      variable to avoid the costly call to <function>g_type_class_peek_parent</function> for each function call.
669      Typically, the class_init callback initializes the global static variable. <filename>gtk/gtkhscale.c</filename>
670      does this.
671     </para>
672
673     </sect2>
674
675   </sect1>
676
677 <!--
678   End Howto GObject
679 -->
680
681
682 <!--
683   Howto Interfaces
684 -->
685
686   <sect1 id="howto-interface">
687     <title>How To define and implement Interfaces ?</title>
688
689     <sect2 id="howto-interface-define">
690       <title>How To define Interfaces ?</title>
691     
692     <para>
693       The bulk of interface definition has already been shown in <xref linkend="gtype-non-instantiable-classed"/>
694       but I feel it is needed to show exactly how to create an interface. The sample source code
695       associated to this section can be found in the documentation's source tarball, in the 
696       <filename>sample/interface/maman-ibaz.{h|c}</filename> file.
697     </para>
698
699     <para>
700       As above, the first step is to get the header right:
701 <programlisting>
702 #ifndef MAMAN_IBAZ_H
703 #define MAMAN_IBAZ_H
704
705 #include &lt;glib-object.h&gt;
706
707 #define MAMAN_TYPE_IBAZ             (maman_ibaz_get_type ())
708 #define MAMAN_IBAZ(obj)             (G_TYPE_CHECK_INSTANCE_CAST ((obj), MAMAN_TYPE_IBAZ, MamanIbaz))
709 #define MAMAN_IBAZ_CLASS(vtable)    (G_TYPE_CHECK_CLASS_CAST ((vtable), MAMAN_TYPE_IBAZ, MamanIbazClass))
710 #define MAMAN_IS_IBAZ(obj)          (G_TYPE_CHECK_INSTANCE_TYPE ((obj), MAMAN_TYPE_IBAZ))
711 #define MAMAN_IS_IBAZ_CLASS(vtable) (G_TYPE_CHECK_CLASS_TYPE ((vtable), MAMAN_TYPE_IBAZ))
712 #define MAMAN_IBAZ_GET_CLASS(inst)  (G_TYPE_INSTANCE_GET_INTERFACE ((inst), MAMAN_TYPE_IBAZ, MamanIbazClass))
713
714
715 typedef struct _MamanIbaz MamanIbaz; /* dummy object */
716 typedef struct _MamanIbazClass MamanIbazClass;
717
718 struct _MamanIbazClass {
719   GTypeInterface parent;
720
721   void (*do_action) (MamanIbaz *self);
722 };
723
724 GType maman_ibaz_get_type (void);
725
726 void maman_ibaz_do_action (MamanIbaz *self);
727
728 #endif /*MAMAN_IBAZ_H*/
729 </programlisting>
730       This code is almost exactly similar to the code for a normal <type>GType</type>
731       which derives from a <type>GObject</type> except for a few details:
732       <itemizedlist>
733         <listitem><para>
734           The <function>_GET_CLASS</function> macro is not implemented with 
735           <function>G_TYPE_INSTANCE_GET_CLASS</function> but with <function>G_TYPE_INSTANCE_GET_INTERFACE</function>.
736         </para></listitem>
737         <listitem><para>
738           The instance type, <type>MamanIbaz</type> is not fully defined: it is used merely as an abstract 
739           type which represents an instance of whatever object which implements the interface.
740         </para></listitem>
741       </itemizedlist>
742     </para>
743
744     <para>
745       The implementation of the <type>MamanIbaz</type> type itself is trivial:
746       <itemizedlist>
747         <listitem><para><function>maman_ibaz_get_type</function> registers the
748          type in the type system.
749          </para></listitem>
750         <listitem><para><function>maman_ibaz_base_init</function> is expected 
751         to register the interface's signals if there are any (we will see a bit
752         (later how to use them). Make sure to use a static local boolean variable
753         to make sure not to run the initialization code twice (as described in
754         <xref linkend="gtype-non-instantiable-classed-init"/>, 
755         <function>base_init</function> is run once for each interface implementation 
756         instanciation)</para></listitem>
757         <listitem><para><function>maman_ibaz_do_action</function> de-references the class
758         structure to access its associated class function and calls it.
759         </para></listitem>
760       </itemizedlist>
761 <programlisting>
762 static void
763 maman_ibaz_base_init (gpointer g_class)
764 {
765   static gboolean initialized = FALSE;
766
767   if (!initialized) {
768     /* create interface signals here. */
769     initialized = TRUE;
770   }
771 }
772
773 GType
774 maman_ibaz_get_type (void)
775 {
776   static GType type = 0;
777   if (type == 0) {
778     static const GTypeInfo info = {
779       sizeof (MamanIbazClass),
780       maman_ibaz_base_init,   /* base_init */
781       NULL,   /* base_finalize */
782       NULL,   /* class_init */
783       NULL,   /* class_finalize */
784       NULL,   /* class_data */
785       0,
786       0,      /* n_preallocs */
787       NULL    /* instance_init */
788     };
789     type = g_type_register_static (G_TYPE_INTERFACE, "MamanIbaz", &amp;info, 0);
790   }
791   return type;
792 }
793
794 void maman_ibaz_do_action (MamanIbaz *self)
795 {
796   MAMAN_IBAZ_GET_CLASS (self)->do_action (self);
797 }
798 </programlisting>
799     </para>
800   </sect2>
801
802   <sect2 id="howto-interface-implement">
803     <title>How To define and implement an implementation of an Interface ?</title>
804
805     <para>
806       Once the interface is defined, implementing it is rather trivial. Source code showing how to do this
807       for the <type>IBaz</type> interface defined in the previous section is located in 
808       <filename>sample/interface/maman-baz.{h|c}</filename>.
809     </para>
810
811     <para>
812       The first step is to define a normal GType. Here, we have decided to use a GType which derives from
813       GObject. Its name is <type>MamanBaz</type>:
814 <programlisting>
815 #ifndef MAMAN_BAZ_H
816 #define MAMAN_BAZ_H
817
818 #include &lt;glib-object.h>
819
820 #define MAMAN_TYPE_BAZ             (maman_baz_get_type ())
821 #define MAMAN_BAZ(obj)             (G_TYPE_CHECK_INSTANCE_CAST ((obj), MAMAN_TYPE_BAZ, Mamanbaz))
822 #define MAMAN_BAZ_CLASS(vtable)    (G_TYPE_CHECK_CLASS_CAST ((vtable), MAMAN_TYPE_BAZ, MamanbazClass))
823 #define MAMAN_IS_BAZ(obj)          (G_TYPE_CHECK_INSTANCE_TYPE ((obj), MAMAN_TYPE_BAZ))
824 #define MAMAN_IS_BAZ_CLASS(vtable) (G_TYPE_CHECK_CLASS_TYPE ((vtable), MAMAN_TYPE_BAZ))
825 #define MAMAN_BAZ_GET_CLASS(inst)  (G_TYPE_INSTANCE_GET_CLASS ((inst), MAMAN_TYPE_BAZ, MamanbazClass))
826
827
828 typedef struct _MamanBaz MamanBaz;
829 typedef struct _MamanBazClass MamanBazClass;
830
831 struct _MamanBaz {
832   GObject parent;
833   int instance_member;
834 };
835
836 struct _MamanBazClass {
837   GObjectClass parent;
838 };
839
840 GType maman_baz_get_type (void);
841
842
843 #endif //MAMAN_BAZ_H
844 </programlisting>
845       There is clearly nothing specifically weird or scary about this header: it does not define any weird API
846       or derives from a weird type.
847     </para>
848
849     <para>
850       The second step is to implement <function>maman_baz_get_type</function>:
851 <programlisting>
852 GType 
853 maman_baz_get_type (void)
854 {
855   static GType type = 0;
856   if (type == 0) {
857     static const GTypeInfo info = {
858       sizeof (MamanBazClass),
859       NULL,   /* base_init */
860       NULL,   /* base_finalize */
861       NULL,   /* class_init */
862       NULL,   /* class_finalize */
863       NULL,   /* class_data */
864       sizeof (MamanBaz),
865       0,      /* n_preallocs */
866       baz_instance_init    /* instance_init */
867     };
868     static const GInterfaceInfo ibaz_info = {
869       (GInterfaceInitFunc) baz_interface_init,    /* interface_init */
870       NULL,               /* interface_finalize */
871       NULL                /* interface_data */
872     };
873     type = g_type_register_static (G_TYPE_OBJECT,
874                                    "MamanBazType",
875                                    &amp;info, 0);
876     g_type_add_interface_static (type,
877                                  MAMAN_TYPE_IBAZ,
878                                  &amp;ibaz_info);
879   }
880   return type;
881 }
882 </programlisting>
883       This function is very much like all the similar functions we looked at previously. The only interface-specific
884       code present here is the call to <function>g_type_add_interface_static</function> which is used to inform
885       the type system that this just-registered <type>GType</type> also implements the interface 
886       <function>MAMAN_TYPE_IBAZ</function>.
887     </para>
888
889     <para>
890       <function>baz_interface_init</function>, the interface initialization function, is also pretty simple:
891 <programlisting>
892 static void baz_do_action (MamanBaz *self)
893 {
894   g_print ("Baz implementation of IBaz interface Action: 0x%x.\n", self->instance_member);
895 }
896 static void
897 baz_interface_init (gpointer   g_iface,
898                     gpointer   iface_data)
899 {
900   MamanIbazClass *klass = (MamanIbazClass *)g_iface;
901   klass->do_action = (void (*) (MamanIbaz *self))baz_do_action;
902 }
903 static void
904 baz_instance_init (GTypeInstance   *instance,
905                    gpointer         g_class)
906 {
907   MamanBaz *self = (MamanBaz *)instance;
908   self->instance_member = 0xdeadbeaf;
909 }
910 </programlisting>
911       <function>baz_interface_init</function> merely initializes the interface methods to the implementations
912       defined by <type>MamanBaz</type>: <function>maman_baz_do_action</function> does nothing very useful 
913       but it could :)
914     </para>
915
916 </sect2>
917
918 <sect2>
919   <title>Interface definition prerequisites</title>
920
921
922
923   <para>To specify that an interface requires the presence of other interfaces when implemented, 
924   GObject introduces the concept of <emphasis>prerequisites</emphasis>: it is possible to associate
925   a list of prerequisite interfaces to an interface. For example, if object A wishes to implement interface
926   I1, and if interface I1 has a prerequisite on interface I2, A has to implement both I1 and I2.
927   </para>
928
929   <para>The mechanism described above is, in practice, very similar to Java's interface I1 extends 
930   interface I2. The example below shows the GObject equivalent:
931
932 <programlisting>
933   type = g_type_register_static (G_TYPE_INTERFACE, "MamanIbar", &amp;info, 0);
934   /* Make the MamanIbar interface require MamanIbaz interface. */
935   g_type_interface_add_prerequisite (type, MAMAN_TYPE_IBAZ);
936 </programlisting>
937   The code shown above adds the MamanIbaz interface to the list of prerequisites of MamanIbar while the 
938   code below shows how an implementation can implement both interfaces and register their implementations:
939 <programlisting>
940 static void ibar_do_another_action (MamanBar *self)
941 {
942   g_print ("Bar implementation of IBar interface Another Action: 0x%x.\n", self->instance_member);
943 }
944
945 static void
946 ibar_interface_init (gpointer   g_iface,
947                      gpointer   iface_data)
948 {
949   MamanIbarClass *klass = (MamanIbarClass *)g_iface;
950   klass->do_another_action = (void (*) (MamanIbar *self))ibar_do_another_action;
951 }
952
953
954 static void ibaz_do_action (MamanBar *self)
955 {
956   g_print ("Bar implementation of IBaz interface Action: 0x%x.\n", self->instance_member);
957 }
958
959 static void
960 ibaz_interface_init (gpointer   g_iface,
961                     gpointer   iface_data)
962 {
963   MamanIbazClass *klass = (MamanIbazClass *)g_iface;
964   klass->do_action = (void (*) (MamanIbaz *self))ibaz_do_action;
965 }
966
967
968 static void
969 bar_instance_init (GTypeInstance   *instance,
970                    gpointer         g_class)
971 {
972   MamanBar *self = (MamanBar *)instance;
973   self->instance_member = 0x666;
974 }
975
976
977 GType 
978 maman_bar_get_type (void)
979 {
980   static GType type = 0;
981   if (type == 0) {
982     static const GTypeInfo info = {
983       sizeof (MamanBarClass),
984       NULL,   /* base_init */
985       NULL,   /* base_finalize */
986       NULL,   /* class_init */
987       NULL,   /* class_finalize */
988       NULL,   /* class_data */
989       sizeof (MamanBar),
990       0,      /* n_preallocs */
991       bar_instance_init    /* instance_init */
992     };
993     static const GInterfaceInfo ibar_info = {
994       (GInterfaceInitFunc) ibar_interface_init,   /* interface_init */
995       NULL,                                       /* interface_finalize */
996             NULL                                        /* interface_data */
997     };
998     static const GInterfaceInfo ibaz_info = {
999       (GInterfaceInitFunc) ibaz_interface_init,   /* interface_init */
1000       NULL,                                       /* interface_finalize */
1001       NULL                                        /* interface_data */
1002     };
1003     type = g_type_register_static (G_TYPE_OBJECT,
1004                                    "MamanBarType",
1005                                    &amp;info, 0);
1006     g_type_add_interface_static (type,
1007                                  MAMAN_TYPE_IBAZ,
1008                                  &amp;ibaz_info);
1009     g_type_add_interface_static (type,
1010                                  MAMAN_TYPE_IBAR,
1011                                  &amp;ibar_info);
1012   }
1013   return type;
1014 }
1015 </programlisting>
1016   It is very important to notice that the order in which interface implementations are added to the main object
1017   is not random: <function>g_type_interface_static</function> must be invoked first on the interfaces which have
1018   no prerequisites and then on the others.
1019 </para>
1020
1021     <para>
1022       Complete source code showing how to define the MamanIbar interface which requires MamanIbaz and how to 
1023       implement the MamanIbar interface is located in <filename>sample/interface/maman-ibar.{h|c}</filename> 
1024       and <filename>sample/interface/maman-bar.{h|c}</filename>.
1025     </para>
1026
1027 </sect2>
1028
1029   </sect1>
1030
1031 <!--
1032   End Howto Interfaces
1033 -->
1034
1035
1036 <!--
1037   start Howto Signals
1038 -->
1039
1040
1041     <sect1 id="howto-signals">
1042       <title>Howto create and use signals</title>
1043
1044
1045       <para>
1046         The signal system which was built in GType is pretty complex and flexible: it is possible for its users
1047         to connect at runtime any number of callbacks (implemented in any language for which a binding exists)
1048         <footnote>
1049           <para>A python callback can be connected to any signal on any C-based GObject.
1050           </para>
1051         </footnote>
1052
1053         to any signal and to stop the emission of any signal at any 
1054         state of the signal emission process. This flexibility makes it possible to use GSignal for much more than 
1055         just emit events which can be received by numerous clients. 
1056       </para>
1057
1058 <sect2>
1059 <title>Simple use of signals</title>
1060
1061 <para>The most basic use of signals is to implement simple event notification: for example, if we have a 
1062 MamanFile object, and if this object has a write method, we might wish to be notified whenever someone 
1063 uses this method. The code below shows how the user can connect a callback to the write signal. Full code
1064 for this simple example is located in <filename>sample/signal/maman-file.{h|c}</filename> and
1065 in <filename>sample/signal/test.c</filename>
1066 <programlisting>
1067 file = g_object_new (MAMAN_FILE_TYPE, NULL);
1068
1069 g_signal_connect (G_OBJECT (file), "write",
1070                   (GCallback)write_event,
1071                   NULL);
1072
1073 maman_file_write (file, buffer, 50);
1074 </programlisting>
1075 </para>
1076
1077 <para>
1078 The <type>MamanFile</type> signal is registered in the class_init function:
1079 <programlisting>
1080 klass->write_signal_id = 
1081   g_signal_newv ("write",
1082                  G_TYPE_FROM_CLASS (g_class),
1083                  G_SIGNAL_RUN_LAST | G_SIGNAL_NO_RECURSE | G_SIGNAL_NO_HOOKS,
1084                  NULL /* class closure */,
1085                  NULL /* accumulator */,
1086                  NULL /* accu_data */,
1087                  g_cclosure_marshal_VOID__VOID,
1088                  G_TYPE_NONE /* return_type */,
1089                  0     /* n_params */,
1090                  NULL  /* param_types */);
1091 </programlisting>
1092 and the signal is emited in <function>maman_file_write</function>:
1093 <programlisting>
1094 void maman_file_write (MamanFile *self, guint8 *buffer, guint32 size)
1095 {
1096   /* First write data. */
1097   /* Then, notify user of data written. */
1098   g_signal_emit (self, MAMAN_FILE_GET_CLASS (self)->write_signal_id,
1099                  0 /* details */, 
1100                  NULL);
1101 }
1102 </programlisting>
1103 As shown above, you can safely set the details parameter to zero if you do not know what it can be used for.
1104 For a discussion of what you could used it for, see <xref linkend="signal-detail"/>
1105 </para>
1106
1107 <para>
1108 </para>
1109
1110 </sect2>
1111
1112
1113 <sect2>
1114 <title>How to provide more flexibility to users ?</title>
1115
1116 <para>The previous implementation does the job but the signal facility of GObject can be used to provide
1117 even more flexibility to this file change notification mechanism. One of the key ideas is to make the process
1118 of writing data to the file part of the signal emission process to allow users to be notified either
1119 before or after the data is written to the file.
1120 </para>
1121
1122 <para>To integrate the process of writing the data to the file into the signal emission mechanism, we can
1123 register a default class closure for this signal which will be invoked during the signal emission, just like 
1124 any other user-connected signal handler. 
1125 </para>
1126
1127 <para>The first step to implement this idea is to change the signature of the signal: we need to pass
1128 around the buffer to write and its size. To do this, we use our own marshaller which will be generated
1129 through glib's genmarshall tool. We thus create a file named <filename>marshall.list</filename> which contains
1130 the following single line:
1131 <programlisting>
1132 VOID:POINTER,UINT
1133 </programlisting>
1134 and use the Makefile provided in <filename>sample/signal/Makefile</filename> to generate the file named
1135 <filename>maman-file-complex-marshall.c</filename>. This C file is finally included in 
1136 <filename>maman-file-complex.c</filename>.
1137 </para>
1138
1139 <para>Once the marshaller is present, we register the signal and its marshaller in the class_init function 
1140 of the object <type>MamanFileComplex</type> (full source for this object is included in 
1141 <filename>sample/signal/maman-file-complex.{h|c}</filename>):
1142 <programlisting>
1143 GClosure *default_closure;
1144 GType param_types[2];
1145
1146 default_closure = g_cclosure_new (G_CALLBACK (default_write_signal_handler),
1147                                   (gpointer)0xdeadbeaf /* user_data */, 
1148                                   NULL /* destroy_data */);
1149
1150 param_types[0] = G_TYPE_POINTER;
1151 param_types[1] = G_TYPE_UINT;
1152 klass->write_signal_id = 
1153   g_signal_newv ("write",
1154                  G_TYPE_FROM_CLASS (g_class),
1155                  G_SIGNAL_RUN_LAST | G_SIGNAL_NO_RECURSE | G_SIGNAL_NO_HOOKS,
1156                  default_closure /* class closure */,
1157                  NULL /* accumulator */,
1158                  NULL /* accu_data */,
1159                  maman_file_complex_VOID__POINTER_UINT,
1160                  G_TYPE_NONE /* return_type */,
1161                  2     /* n_params */,
1162                  param_types /* param_types */);
1163 </programlisting>
1164 The code shown above first creates the closure which contains the code to complete the file write. This
1165 closure is registered as the default class_closure of the newly created signal.
1166 </para>
1167
1168 <para>
1169 Of course, you need to implement completely the code for the default closure since I just provided
1170 a skeleton:
1171 <programlisting>
1172 static void
1173 default_write_signal_handler (GObject *obj, guint8 *buffer, guint size, gpointer user_data)
1174 {
1175   g_assert (user_data == (gpointer)0xdeadbeaf);
1176   /* Here, we trigger the real file write. */
1177   g_print ("default signal handler: 0x%x %u\n", buffer, size);
1178 }
1179 </programlisting>
1180 </para>
1181
1182 <para>Finally, the client code must invoke the <function>maman_file_complex_write</function> function which 
1183 triggers the signal emission:
1184 <programlisting>
1185 void maman_file_complex_write (MamanFileComplex *self, guint8 *buffer, guint size)
1186 {
1187   /* trigger event */
1188   g_signal_emit (self,
1189                  MAMAN_FILE_COMPLEX_GET_CLASS (self)->write_signal_id,
1190                  0, /* details */
1191                  buffer, size);
1192 }
1193 </programlisting>
1194 </para>
1195
1196 <para>The client code (as shown in <filename>sample/signal/test.c</filename> and below) can now connect signal handlers before 
1197 and after the file write is completed: since the default signal handler which does the write itself runs during the 
1198 RUN_LAST phase of the signal emission, it will run after all handlers connected with <function>g_signal_connect</function>
1199 and before all handlers connected with <function>g_signal_connect_after</function>. If you intent to write a GObject
1200 which emits signals, I would thus urge you to create all your signals with the G_SIGNAL_RUN_LAST such that your users
1201 have a maximum of flexibility as to when to get the event. Here, we combined it with G_SIGNAL_NO_RECURSE and 
1202 G_SIGNAL_NO_HOOKS to ensure our users will not try to do really weird things with our GObject. I strongly advise you
1203 to do the same unless you really know why (in which case you really know the inner workings of GSignal by heart and
1204 you are not reading this).
1205 </para>
1206
1207 <para>
1208 <programlisting>
1209 static void complex_write_event_before (GObject *file, guint8 *buffer, guint size, gpointer user_data)
1210 {
1211   g_assert (user_data == NULL);
1212   g_print ("Complex Write event before: 0x%x, %u\n", buffer, size);
1213 }
1214
1215 static void complex_write_event_after (GObject *file, guint8 *buffer, guint size, gpointer user_data)
1216 {
1217   g_assert (user_data == NULL);
1218   g_print ("Complex Write event after: 0x%x, %u\n", buffer, size);
1219 }
1220
1221 static void test_file_complex (void)
1222 {
1223   guint8 buffer[100];
1224   GObject *file;
1225
1226   file = g_object_new (MAMAN_FILE_COMPLEX_TYPE, NULL);
1227
1228   g_signal_connect (G_OBJECT (file), "write",
1229                     (GCallback)complex_write_event_before,
1230                     NULL);
1231
1232   g_signal_connect_after (G_OBJECT (file), "write",
1233                           (GCallback)complex_write_event_after,
1234                           NULL);
1235
1236   maman_file_complex_write (MAMAN_FILE_COMPLEX (file), buffer, 50);
1237
1238   g_object_unref (G_OBJECT (file));
1239 }
1240 </programlisting>
1241 The code above generates the following output on my machine:
1242 <programlisting>
1243 Complex Write event before: 0xbfffe280, 50
1244 default signal handler: 0xbfffe280 50
1245 Complex Write event after: 0xbfffe280, 50
1246 </programlisting>
1247 </para>
1248
1249
1250    <sect3>
1251      <title>How most people do the same thing with less code</title>
1252
1253        <para>For many historic reasons related to how the ancestor of GObject used to work in GTK+ 1.x versions,
1254          there is a much <emphasis>simpler</emphasis> 
1255          <footnote>
1256            <para>I personally think that this method is horribly mind-twisting: it adds a new indirection
1257            which unecessarily complicates the overall code path. However, because this method is widely used
1258            by all of GTK+ and GObject code, readers need to understand it. The reason why this is done that way
1259            in most of GTK+ is related to the fact that the ancestor of GObject did not provide any other way to
1260            create a signal with a default handler than this one. Some people have tried to justify that it is done
1261            that way because it is better, faster (I am extremly doubtfull about the faster bit. As a matter of fact,
1262            the better bit also mystifies me ;-). I have the feeling no one really knows and everyone does it
1263            because they copy/pasted code from code which did the same. It is probably better to leave this 
1264            specific trivia to hacker legends domain...
1265            </para>
1266          </footnote>
1267          way to create a signal with a default handler than to create 
1268          a closure by hand and to use the <function>g_signal_newv</function>.
1269        </para>
1270
1271        <para>For example, <function>g_signal_new</function> can be used to create a signal which uses a default 
1272          handler which is stored in the class structure of the object. More specifically, the class structure 
1273          contains a function pointer which is accessed during signal emission to invoke the default handler and
1274          the user is expected to provide to <function>g_signal_new</function> the offset from the start of the
1275          class structure to the function pointer.
1276            <footnote>
1277              <para>I would like to point out here that the reason why the default handler of a signal is named everywhere
1278               a class_closure is probably related to the fact that it used to be really a function pointer stored in
1279               the class structure.
1280              </para>
1281            </footnote>
1282        </para>
1283
1284        <para>The following code shows the declaration of the <type>MamanFileSimple</type> class structure which contains
1285          the <function>write</function> function pointer.
1286 <programlisting>
1287 struct _MamanFileSimpleClass {
1288   GObjectClass parent;
1289         
1290   guint write_signal_id;
1291
1292   /* signal default handlers */
1293   void (*write) (MamanFileSimple *self, guint8 *buffer, guint size);
1294 };
1295 </programlisting>
1296          The <function>write</function> function pointer is initialied in the class_init function of the object
1297          to <function>default_write_signal_handler</function>:
1298 <programlisting>
1299 static void
1300 maman_file_simple_class_init (gpointer g_class,
1301                                gpointer g_class_data)
1302 {
1303   GObjectClass *gobject_class = G_OBJECT_CLASS (g_class);
1304   MamanFileSimpleClass *klass = MAMAN_FILE_SIMPLE_CLASS (g_class);
1305
1306   klass->write = default_write_signal_handler;
1307 </programlisting>
1308         Finally, the signal is created with <function>g_signal_new</function> in the same class_init function:
1309 <programlisting>
1310 klass->write_signal_id = 
1311  g_signal_new ("write",
1312                G_TYPE_FROM_CLASS (g_class),
1313                G_SIGNAL_RUN_LAST | G_SIGNAL_NO_RECURSE | G_SIGNAL_NO_HOOKS,
1314                G_STRUCT_OFFSET (MamanFileSimpleClass, write),
1315                NULL /* accumulator */,
1316                NULL /* accu_data */,
1317                maman_file_complex_VOID__POINTER_UINT,
1318                G_TYPE_NONE /* return_type */,
1319                2     /* n_params */,
1320                G_TYPE_POINTER,
1321                G_TYPE_UINT);
1322 </programlisting>
1323         Of note, here, is the 4th argument to the function: it is an integer calculated by the <function>G_STRUCT_OFFSET</function>
1324         macro which indicates the offset of the member <emphasis>write</emphasis> from the start of the 
1325         <type>MamanFileSimpleClass</type> class structure.
1326           <footnote>
1327             <para>GSignal uses this offset to create a special wrapper closure 
1328              which first retrieves the target function pointer before calling it.
1329             </para>
1330           </footnote>
1331        </para>
1332
1333        <para>
1334          While the complete code for this type of default handler looks less clutered as shown in 
1335          <filename>sample/signal/maman-file-simple.{h|c}</filename>, it contains numerous subtleties.
1336          The main subtle point which everyone must be aware of is that the signature of the default 
1337          handler created that way does not have a user_data argument: 
1338          <function>default_write_signal_handler</function> is different in 
1339          <filename>sample/signal/maman-file-complex.c</filename> and in 
1340          <filename>sample/signal/maman-file-simple.c</filename>.
1341        </para>
1342
1343        <para>If you have doubts about which method to use, I would advise you to use the second one which
1344          involves <function>g_signal_new</function> rather than <function>g_signal_newv</function>: 
1345          it is better to write code which looks like the vast majority of other GTK+/Gobject code than to
1346          do it your own way. However, now, you know why.
1347        </para>
1348
1349    </sect3>
1350
1351
1352 </sect2>
1353
1354
1355
1356 <sect2>
1357   <title>How users can abuse signals (and why some think it is good)</title>
1358
1359    <para>Now that you know how to create signals to which the users can connect easily and at any point in
1360      the signal emission process thanks to <function>g_signal_connect</function>, 
1361      <function>g_signal_connect_after</function> and G_SIGNAL_RUN_LAST, it is time to look into how your
1362      users can and will screw you. This is also interesting to know how you too, can screw other people.
1363      This will make you feel good and eleet.
1364    </para>
1365
1366    <para>The users can:
1367      <itemizedlist>
1368         <listitem><para>stop the emission of the signal at anytime</para></listitem>
1369         <listitem><para>override the default handler of the signal if it is stored as a function
1370           pointer in the class structure (which is the prefered way to create a default signal handler,
1371           as discussed in the previous section).</para></listitem>
1372       </itemizedlist> 
1373    </para>
1374
1375    <para>In both cases, the original programmer should be as careful as possible to write code which is
1376     resistant to the fact that the default handler of the signal might not able to run. This is obviously
1377     not the case in the example used in the previous sections since the write to the file depends on whether
1378     or not the default handler runs (however, this might be your goal: to allow the user to prevent the file 
1379     write if he wishes to).
1380    </para>
1381
1382    <para>If all you want to do is to stop the signal emission from one of the callbacks you connected yourself,
1383     you can call <function>g_signal_stop_by_name</function>. Its use is very simple which is why I won't detail 
1384     it further.
1385    </para>
1386
1387    <para>If the signal's default handler is just a class function pointer, it is also possible to override 
1388     it yourself from the class_init function of a type which derives from the parent. That way, when the signal
1389     is emitted, the parent class will use the function provided by the child as a signal default handler.
1390     Of course, it is also possible (and recommended) to chain up from the child to the parent's default signal 
1391     handler to ensure the integrity of the parent object.
1392    </para>
1393
1394    <para>Overriding a class method and chaining up was demonstrated in <xref linkend="howto-gobject-methods"/> 
1395     which is why I won't bother to show exactly how to do it here again.</para>
1396
1397
1398 </sect2>
1399
1400 </sect1>
1401
1402 <!--
1403   <sect3>
1404           <title>Warning on signal creation and default closure</title>
1405
1406           <para>
1407             Most of the existing code I have seen up to now (in both GTK+, Gnome libraries and
1408             many GTK+ and Gnome applications) using signals uses a small
1409             variation of the default handler pattern I have shown in the previous section.
1410           </para>
1411
1412           <para>
1413             Usually, the <function>g_signal_new</function> function is preferred over
1414             <function>g_signal_newv</function>. When <function>g_signal_new</function>
1415             is used, the default closure is exported as a class function. For example,
1416             <filename>gobject.h</filename> contains the declaration of <type>GObjectClass</type>
1417             whose notify class function is the default handler for the <emphasis>notify</emphasis>
1418             signal:
1419 <programlisting>
1420 struct  _GObjectClass
1421 {
1422   GTypeClass   g_type_class;
1423
1424   /* class methods and other stuff. */
1425
1426   /* signals */
1427   void (*notify) (GObject     *object,
1428                   GParamSpec  *pspec);
1429 };
1430 </programlisting>
1431          </para>
1432
1433          <para>
1434            <filename>gobject.c</filename>'s <function>g_object_do_class_init</function> function
1435            registers the <emphasis>notify</emphasis> signal and initializes this class function
1436            to NULL:
1437 <programlisting>
1438 static void
1439 g_object_do_class_init (GObjectClass *class)
1440 {
1441
1442   /* Stuff */
1443
1444   class->notify = NULL;
1445
1446   gobject_signals[NOTIFY] =
1447     g_signal_new ("notify",
1448                   G_TYPE_FROM_CLASS (class),
1449                   G_SIGNAL_RUN_FIRST | G_SIGNAL_NO_RECURSE | G_SIGNAL_DETAILED | G_SIGNAL_NO_HOOKS,
1450                   G_STRUCT_OFFSET (GObjectClass, notify),
1451                   NULL, NULL,
1452                   g_cclosure_marshal_VOID__PARAM,
1453                   G_TYPE_NONE,
1454                   1, G_TYPE_PARAM);
1455 }
1456 </programlisting>
1457            <function>g_signal_new</function> creates a <type>GClosure</type> which de-references the
1458            type's class structure to access the class function pointer and invoke it if it not NULL. The
1459            class function is ignored it is set to NULL.
1460          </para>
1461
1462          <para>
1463            To understand the reason for such a complex scheme to access the signal's default handler, 
1464            you must remember the whole reason for the use of these signals. The goal here is to delegate
1465            a part of the process to the user without requiring the user to subclass the object to override
1466            one of the class functions. The alternative to subclassing, that is, the use of signals
1467            to delegate processing to the user, is, however, a bit less optimal in terms of speed: rather
1468            than just de-referencing a function pointer in a class structure, you must start the whole
1469            process of signal emission which is a bit heavyweight.
1470          </para>
1471
1472          <para>
1473            This is why some people decided to use class functions for some signal's default handlers:
1474            rather than having users connect a handler to the signal and stop the signal emission
1475            from within that handler, you just need to override the default class function which is
1476            supposedly more efficient.
1477          </para>
1478
1479         </sect3>
1480 -->
1481
1482
1483 <!--
1484   <sect1 id="howto-doc">
1485     <title>How to generate API documentation for your type ?</title>
1486
1487   </sect1>
1488 -->
1489
1490   </chapter>
1491
1492
1493
1494
1495