doc/E.One-Definition-Rule

   1
   2 The ODR is the one that sais that functions shouldn't appear
   3 in header files.  The exceptions are:
   4
   5 1. 'static inline' functions
   6 ~~ ~~~~~~~ ~~~~~~~ ~~~~~~~~~
   7
   8 'static inline' functions are very useful.  They can be defined in
   9 header files but their code only exists in the object files that use
  10 them. 'inline' may not be obeyed by the compiler, but the effect
  11 still works.
  12
  13 in lwc you can say:
  14
  15         // header file
  16
  17         class A {
  18         static inline int f ();
  19         };
  20
  21         int A.f ()
  22         {
  23                 // ...
  24         }
  25
  26
  27 2. embedded functions
  28 ~~ ~~~~~~~~ ~~~~~~~~~
  29
  30 Functions defined in the definition of a class, are converted
  31 to 'static inline's by lwc. As in C++, it's ok to have these
  32 in header files.
  33
  34         // header file
  35
  36         class A {
  37                 int f () { /* ... */ }
  38         };
  39
  40
  41 3. auto functions
  42 ~~ ~~~~ ~~~~~~~~~
  43
  44 Definitions of auto functions can appear in header files. lwc
  45 puts those functions in linkonce sections.
  46
  47         // header file
  48
  49         class A {
  50         auto
  51         virtual int f ();
  52         };
  53
  54         int A.f ()
  55         {
  56                 // ...
  57         }
  58
  59 4. member functions of template classes
  60 ~~ ~~~~~~ ~~~~~~~~~ ~~ ~~~~~~~~ ~~~~~~~
  61
  62 Their specializations are placed in linkonce sections as well.
  63
  64         // header file
  65
  66         template class T {
  67         auto
  68         virtual X f ();
  69         };
  70
  71         X T.f ()
  72         {
  73                 // ...
  74         }
  75
  76 5. linkonce specifier
  77 ~~ ~~~~~~~~ ~~~~~~~~~
  78
  79 Functions explictly declared linkonce:
  80
  81         // header file
  82
  83         linkonce int f ()
  84         {
  85                 // ...
  86         }
  87
  88                                                         Carl Rosmann