c++ runtime - global object ctor (1) - 兩個 global object

env: g++ (Ubuntu 4.4.3-4ubuntu5.1) 4.4.3

兩個 global object 和一個有什麼分別呢？恩 ... 沒分別, 不過誰要當老大呢？讓我們來看看有兩個 global object 的例子。

cppb.cpp

 __asm__(".code16gcc\n");
 #include "io.h"
 
 /*
  * c bootloader
  */
 
 //#define POINTER_TEST
 
 
 #define BOCHS_MB __asm__ __volatile__("xchg %bx, %bx");
 
 
 Ab ab(7);
 Io io;
 
 extern int _start_ctors;
 extern int _end_ctors;
 
 extern "C" int cpp_main(void)
 {
   //BOCHS_MB  
 
   {
   const char *ver=__VERSION__;
   io.print("hello cpp class\r\n");
   io.print("g++ version: ");
   io.print(ver);
   io.print("\r\n");
   }
   return 0;
 }
 
 void *__dso_handle;
 extern "C"
 {
 int __cxa_atexit(void (*destructor) (void *), void *arg, void *__dso_handle)
 {
   io.print("__cxa_atexit: register dtor here\r\n");
   return 0;
 }
 }

這時候 g++ 產生的是 _GLOBAL__I_ab。
若是把 L14, L15 交換

15 Io io;
14 Ab ab(7);

g++ 會產生的 _GLOBAL__I_io, 很有趣吧！

objdump

 
 000001e1 <_Z41__static_initialization_and_destruction_0ii>:
  1e1:   66 55                   push   %ebp
  1e3:   66 89 e5                mov    %esp,%ebp
  1e6:   66 83 ec 18             sub    $0x18,%esp
  1ea:   67 66 83 7d 08 01       addr32 cmpl $0x1,0x8(%ebp)
  1f0:   75 7d                   jne    26f <_Z41__static_initialization_and_destruction_0ii+0x8e>
  1f2:   67 66 81 7d 0c ff ff    addr32 cmpl $0xffff,0xc(%ebp)
  1f9:   00 00 
  1fb:   75 72                   jne    26f <_Z41__static_initialization_and_destruction_0ii+0x8e>
  1fd:   67 66 c7 04 24 7c 10    addr32 movl $0x107c,(%esp)
  204:   00 00 
  206:   66 e8 e4 00 00 00       calll  2f0 <_ZN2IoC1Ev>
  20c:   66 b8 6c 03 00 00       mov    $0x36c,%eax
  212:   67 66 c7 44 24 08 88    addr32 movl $0x1088,0x8(%esp)
  219:   10 00 00 
  21c:   67 66 c7 44 24 04 7c    addr32 movl $0x107c,0x4(%esp)
  223:   10 00 00 
  226:   67 66 89 04 24          addr32 mov %eax,(%esp)
  22b:   66 e8 84 ff ff ff       calll  1b5 <__cxa_atexit>
  231:   67 66 c7 44 24 04 07    addr32 movl $0x7,0x4(%esp)
  238:   00 00 00 
  23b:   67 66 c7 04 24 80 10    addr32 movl $0x1080,(%esp)
  242:   00 00 
  244:   66 e8 c4 01 00 00       calll  40e <_ZN2AbC1Ei>
  24a:   66 b8 6c 04 00 00       mov    $0x46c,%eax
  250:   67 66 c7 44 24 08 88    addr32 movl $0x1088,0x8(%esp)
  257:   10 00 00 
  25a:   67 66 c7 44 24 04 80    addr32 movl $0x1080,0x4(%esp)
  261:   10 00 00 
  264:   67 66 89 04 24          addr32 mov %eax,(%esp)
  269:   66 e8 46 ff ff ff       calll  1b5 <__cxa_atexit>
  26f:   66 c9                   leavel 
  271:   66 c3                   retl   
 
 00000273 <_GLOBAL__I_io>:
  273:   66 55                   push   %ebp
  275:   66 89 e5                mov    %esp,%ebp
  278:   66 83 ec 18             sub    $0x18,%esp
  27c:   67 66 c7 44 24 04 ff    addr32 movl $0xffff,0x4(%esp)
  283:   ff 00 00 
  286:   67 66 c7 04 24 01 00    addr32 movl $0x1,(%esp)
  28d:   00 00 
  28f:   66 e8 4c ff ff ff       calll  1e1 <_Z41__static_initialization_and_destruction_0ii>
  295:   66 c9                   leavel 
  297:   66 c3                   retl   

而有兩個 global object 的話, __static_initialization_and_destruction_0ii
會 invoke 兩次 __cxa_atexit 以及 Ab::Ab(7) 和 Io::Io() (L13, L25)。

  1fd:   67 66 c7 04 24 7c 10    addr32 movl $0x107c,(%esp)
  204:   00 00 
  206:   66 e8 e4 00 00 00       calll  2f0 <_ZN2IoC1Ev>

  231:   67 66 c7 44 24 04 07    addr32 movl $0x7,0x4(%esp) 

  23b:   67 66 c7 04 24 80 10    addr32 movl $0x1080,(%esp)
  242:   00 00 
  244:   66 e8 c4 01 00 00       calll  40e <_ZN2AbC1Ei>

而 L11, L 23 0x107c, 0x1080 分別是 io, ab 這兩個  global object 的位址 (請自己用 readelf -a 查詢, 我懶得再貼了), 這就是 this 指標。L21 則是 Ab::Ab(7) 的參數 7。
也就是:

Io::Io() 但實際上是 Io::Io(&io)。

用 c 的話要自己傳入, 這麼固定的工作就交給 c++ compiler 了, 這也是 c++ 如此優雅的原因, 但了解背後的秘密是很重要的。

好吧！我還是貼了 ...

    19: 00001080     8 OBJECT  GLOBAL DEFAULT    5 ab
    20: 0000029c    83 FUNC    GLOBAL DEFAULT    1 _ZN2IoC2Ev
    21: 000004dc     0 NOTYPE  GLOBAL DEFAULT    2 __end_ctors
    22: 000004dc     0 NOTYPE  GLOBAL DEFAULT    3 _start_dtors
    23: 000004d8     0 NOTYPE  GLOBAL DEFAULT    2 start_ctors
    24: 00000344    39 FUNC    GLOBAL DEFAULT    1 _ZN2IoD2Ev
    25: 0000107c     0 NOTYPE  GLOBAL DEFAULT    5 __bss_start__
    26: 00001088     4 OBJECT  GLOBAL DEFAULT    5 __dso_handle
    27: 000004dc     0 NOTYPE  GLOBAL DEFAULT    3 _end_dtors
    28: 0000107c     0 NOTYPE  GLOBAL DEFAULT    5 sbss
    29: 000004dc     0 NOTYPE  GLOBAL DEFAULT    3 start_dtors
    30: 000003d8    54 FUNC    GLOBAL DEFAULT    1 _ZN2AbC2Ei
    31: 0000040e    54 FUNC    GLOBAL DEFAULT    1 _ZN2AbC1Ei
    32: 00000494    68 FUNC    GLOBAL DEFAULT    1 _ZN2Ab5printEPKc
    33: 000004d8     0 NOTYPE  GLOBAL DEFAULT    2 __start_ctors
    34: 0000107c     4 OBJECT  GLOBAL DEFAULT    5 io