C++: 編譯器何時(shí)構(gòu)建或擴(kuò)展默認(rèn)構(gòu)造函數(shù) Default Constructor

時(shí)間：2018-11-09 12:50:01

關(guān)鍵字： c++ 構(gòu)造函數(shù)

手機(jī)看文章

掃描二維碼
隨時(shí)隨地手機(jī)看文章

[導(dǎo)讀]? ? ? ? 《深度探索C++對(duì)象模型》一書第二章關(guān)于編譯器構(gòu)建或擴(kuò)展構(gòu)造函數(shù)的結(jié)尾指出，對(duì)于我們C++新手有兩個(gè)常見的誤解：1，任何沒有定義default constructor的class，編譯

? ? ? ? 《深度探索C++對(duì)象模型》一書第二章關(guān)于編譯器構(gòu)建或擴(kuò)展構(gòu)造函數(shù)的結(jié)尾指出，對(duì)于我們C++新手有兩個(gè)常見的誤解：

1，任何沒有定義default constructor的class，編譯器都會(huì)自動(dòng)替程序員合成一個(gè)出來；

2，編譯器合成出來的default constructor會(huì)默認(rèn)對(duì)class的數(shù)據(jù)成員進(jìn)行初始化。

然而，事實(shí)上并非如此，但是有很多地方我們確實(shí)見到過這種說法呀，到底什么時(shí)候編譯器會(huì)為我們做這個(gè)事情呢？書中總結(jié)了四種情況下，編譯器會(huì)為了需要合成或者擴(kuò)展構(gòu)造函數(shù)：

1，class中有data member是某class的object，并且此object所屬的class有default constructor；

2，class繼承自有default constructor的base class；

3，class中定義了virtual function或者繼承有virtual function，編譯器需要為此類object初始化virtual function table；

4，class以virtual方式繼承base class。

? ? ? ? 第二種情況是最簡單的，如果class沒有定義某class類型的object data member，同時(shí)沒有virtual function和virtual base class，則如果此class沒有定義默認(rèn)構(gòu)造函數(shù)，有兩種情況發(fā)生：1，如果定義有其他帶參數(shù)構(gòu)造函數(shù)，則創(chuàng)建對(duì)象時(shí)必須傳入?yún)?shù)，而不管其繼承的base class是否有默認(rèn)構(gòu)造函數(shù)，否則會(huì)報(bào)找不到構(gòu)造函數(shù)的錯(cuò)誤；2，如果沒有定義任何構(gòu)造函數(shù)，并且其繼承的base class有默認(rèn)構(gòu)造函數(shù)，則編譯器會(huì)為其合成默認(rèn)構(gòu)造函數(shù)，但是不會(huì)對(duì)其基本數(shù)據(jù)類型的數(shù)據(jù)成員初始化。

class?BaseA{
???????
??????????
};
class?ChildB:public?BaseA{
public:
};

int?main()
{
????ChildB?child;
????return?0;
}

class?BaseA{
public:
BaseA()?{}
};
class?ChildB:public?BaseA{
public:
};

int?main()
{
????ChildB?child;
????return?0;
}

編譯結(jié)果：

##################################

.file "testdef.cpp"

? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?

?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ??

? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ?
? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??

? ? ? ? ? ? ? ??

? ? ? ? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ? ??
? ??
? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??
movl $0, %eax
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size main, .-main
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits .file"testinh.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB5:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC2Ev
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE5:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB3:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -1(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE3:
.size main, .-main
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits

由此對(duì)比，Child Class的默認(rèn)構(gòu)造函數(shù)由編譯器自動(dòng)構(gòu)造出來了。

? ? ? ? 針對(duì)第一種情況，如果class定義了某個(gè)object成員，此object所屬類有默認(rèn)構(gòu)造函數(shù)，則：

? ? ? ? 1，如果class中無構(gòu)造函數(shù)，則編譯器將自動(dòng)合成默認(rèn)構(gòu)造函數(shù)，并初始化object成員

class?BaseA{
public:
BaseA()?{}
};

class?ChildB{
public:
???????????
BaseA?basea;
};


int?main()
{
ChildB?child;
return?0;
}

class?BaseA{
public:
BaseA()?{}
};

class?ChildB{
public:
ChildB()?{}
BaseA?basea;
};


int?main()
{
ChildB?child;
return?0;
}

編譯結(jié)果：

.file "testdef.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB5:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC1Ev
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE5:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB3:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -1(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE3:
.size main, .-main
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits .file "testinh.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB4:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC1Ev
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE4:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB6:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -1(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE6:
.size main, .-main
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits

? ? ? ? 2，若class中提供了任意構(gòu)造函數(shù)，但是未對(duì)object成員初始化，則編譯器將在構(gòu)造函數(shù)中插入object成員的初始化操作，即擴(kuò)展已有的構(gòu)造函數(shù)

class?BaseA{
public:
BaseA()?{}
};

class?ChildB{
public:
ChildB()?{}
BaseA?basea;
};


int?main()
{
ChildB?child;
return?0;
}

class?BaseA{
public:
BaseA()?{}
};

class?ChildB{
public:
ChildB():basea()?{}
BaseA?basea;
};


int?main()
{
ChildB?child;
return?0;
}

編譯結(jié)果

.file "testinh.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB4:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC1Ev
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE4:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB6:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -1(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE6:
.size main, .-main
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits .file "testdef.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB4:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC1Ev
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE4:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB6:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -1(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE6:
.size main, .-main
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits ? ? ? ? 第三種情況，class中定義有virtual function或者繼承鏈中有類定義了virtual function，編譯器需要為class類型的對(duì)象創(chuàng)建vtl和vptr，因此編譯器將自動(dòng)合成默認(rèn)構(gòu)造函數(shù)

class?ChildB{
public:
???????????
virtual?void?func()?{}
};


int?main()
{
ChildB?child;
return?0;
}

class?ChildB{
public:
ChildB()?{}
virtual?void?func()?{}
};


int?main()
{
ChildB?child;
return?0;
}

編譯結(jié)果

.file "testdef.cpp"
.section .text._ZN6ChildB4funcEv,"axG",@progbits,_ZN6ChildB4funcEv,comdat
.align 2
.weak _ZN6ChildB4funcEv
.type _ZN6ChildB4funcEv, @function
_ZN6ChildB4funcEv:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size _ZN6ChildB4funcEv, .-_ZN6ChildB4funcEv
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB3:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq $_ZTV6ChildB+16, (%rax)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE3:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.text
.globl main
.type main, @function
main:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -16(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size main, .-main
.weak _ZTV6ChildB
.section .rodata._ZTV6ChildB,"aG",@progbits,_ZTV6ChildB,comdat
.align 16
.type _ZTV6ChildB, @object
.size _ZTV6ChildB, 24
_ZTV6ChildB:
.quad 0
.quad _ZTI6ChildB
.quad _ZN6ChildB4funcEv
.weak _ZTS6ChildB
.section .rodata._ZTS6ChildB,"aG",@progbits,_ZTS6ChildB,comdat
.type _ZTS6ChildB, @object
.size _ZTS6ChildB, 8
_ZTS6ChildB:
.string "6ChildB"
.weak _ZTI6ChildB
.section .rodata._ZTI6ChildB,"aG",@progbits,_ZTI6ChildB,comdat
.align 16
.type _ZTI6ChildB, @object
.size _ZTI6ChildB, 16
_ZTI6ChildB:
.quad _ZTVN10__cxxabiv117__class_type_infoE+16
.quad _ZTS6ChildB
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits .file "testinh.cpp"
.section .text._ZN6ChildBC2Ev,"axG",@progbits,_ZN6ChildBC5Ev,comdat
.align 2
.weak _ZN6ChildBC2Ev
.type _ZN6ChildBC2Ev, @function
_ZN6ChildBC2Ev:
.LFB1:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq $_ZTV6ChildB+16, (%rax)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE1:
.size _ZN6ChildBC2Ev, .-_ZN6ChildBC2Ev
.section .text._ZN6ChildB4funcEv,"axG",@progbits,_ZN6ChildB4funcEv,comdat
.align 2
.weak _ZN6ChildB4funcEv
.type _ZN6ChildB4funcEv, @function
_ZN6ChildB4funcEv:
.LFB3:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE3:
.size _ZN6ChildB4funcEv, .-_ZN6ChildB4funcEv
.text
.globl main
.type main, @function
main:
.LFB4:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -16(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE4:
.size main, .-main
.weak _ZTV6ChildB
.section .rodata._ZTV6ChildB,"aG",@progbits,_ZTV6ChildB,comdat
.align 16
.type _ZTV6ChildB, @object
.size _ZTV6ChildB, 24
_ZTV6ChildB:
.quad 0
.quad _ZTI6ChildB
.quad _ZN6ChildB4funcEv
.weak _ZTS6ChildB
.section .rodata._ZTS6ChildB,"aG",@progbits,_ZTS6ChildB,comdat
.type _ZTS6ChildB, @object
.size _ZTS6ChildB, 8
_ZTS6ChildB:
.string "6ChildB"
.weak _ZTI6ChildB
.section .rodata._ZTI6ChildB,"aG",@progbits,_ZTI6ChildB,comdat
.align 16
.type _ZTI6ChildB, @object
.size _ZTI6ChildB, 16
_ZTI6ChildB:
.quad _ZTVN10__cxxabiv117__class_type_infoE+16
.quad _ZTS6ChildB
.weak _ZN6ChildBC1Ev
.set _ZN6ChildBC1Ev,_ZN6ChildBC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits ? ? ? ? 第四種情況，class以virtual方式繼承，或者其繼承鏈中有virtual方式的繼承，編譯器為此class和base class均自動(dòng)合成默認(rèn)構(gòu)造函數(shù)

class?BaseA{
};
class?ChildB:public?BaseA{
};


int?main()
{
ChildB?child;
return?0;
}

class?BaseA{
};
class?ChildB:?virtual?public?BaseA{
};


int?main()
{
ChildB?child;
return?0;
}

編譯結(jié)果

#############################################
.file "testinh.cpp"
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ??
? ? ??
? ? ? ? ? ? ? ?
? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??
? ? ? ? ??
? ? ? ? ? ? ? ? ??
? ??
? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ?
? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ??
? ? ??
? ? ? ? ? ? ? ? ??
? ??
? ? ? ? ? ? ?
? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??
movl $0, %eax
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size main, .-main
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ??
? ? ? ??
? ? ? ??
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ??
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ??
? ? ? ??
? ? ? ??
? ? ? ? ? ? ? ? ?
? ? ? ? ? ??
? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ?
? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ?
? ? ? ? ? ? ? ? ? ??
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ?
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits .file "testdef.cpp"
.section .text._ZN5BaseAC2Ev,"axG",@progbits,_ZN5BaseAC5Ev,comdat
.align 2
.weak _ZN5BaseAC2Ev
.type _ZN5BaseAC2Ev, @function
_ZN5BaseAC2Ev:
.LFB3:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
movq %rdi, -8(%rbp)
popq %rbp
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE3:
.size _ZN5BaseAC2Ev, .-_ZN5BaseAC2Ev
.section .text._ZN6ChildBC1Ev,"axG",@progbits,_ZN6ChildBC1Ev,comdat
.align 2
.weak _ZN6ChildBC1Ev
.type _ZN6ChildBC1Ev, @function
_ZN6ChildBC1Ev:
.LFB6:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
movq %rdi, -8(%rbp)
movq -8(%rbp), %rax
movq %rax, %rdi
call _ZN5BaseAC2Ev
movl $_ZTV6ChildB+24, %edx
movq -8(%rbp), %rax
movq %rdx, (%rax)
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE6:
.size _ZN6ChildBC1Ev, .-_ZN6ChildBC1Ev
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
.cfi_offset 6, -16
movq %rsp, %rbp
.cfi_def_cfa_register 6
subq $16, %rsp
leaq -16(%rbp), %rax
movq %rax, %rdi
call _ZN6ChildBC1Ev
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc
.LFE0:
.size main, .-main
.weak _ZTV6ChildB
.section .rodata._ZTV6ChildB,"aG",@progbits,_ZTV6ChildB,comdat
.align 16
.type _ZTV6ChildB, @object
.size _ZTV6ChildB, 24
_ZTV6ChildB:
.quad 0
.quad 0
.quad _ZTI6ChildB
.weak _ZTT6ChildB
.section .rodata._ZTT6ChildB,"aG",@progbits,_ZTV6ChildB,comdat
.align 8
.type _ZTT6ChildB, @object
.size _ZTT6ChildB, 8
_ZTT6ChildB:
.quad _ZTV6ChildB+24
.weak _ZTS6ChildB
.section .rodata._ZTS6ChildB,"aG",@progbits,_ZTS6ChildB,comdat
.type _ZTS6ChildB, @object
.size _ZTS6ChildB, 8
_ZTS6ChildB:
.string "6ChildB"
.weak _ZTI6ChildB
.section .rodata._ZTI6ChildB,"aG",@progbits,_ZTI6ChildB,comdat
.align 32
.type _ZTI6ChildB, @object
.size _ZTI6ChildB, 40
_ZTI6ChildB:
.quad _ZTVN10__cxxabiv121__vmi_class_type_infoE+16
.quad _ZTS6ChildB
.long 0
.long 1
.quad _ZTI5BaseA
.quad -6141
.weak _ZTS5BaseA
.section .rodata._ZTS5BaseA,"aG",@progbits,_ZTS5BaseA,comdat
.type _ZTS5BaseA, @object
.size _ZTS5BaseA, 7
_ZTS5BaseA:
.string "5BaseA"
.weak _ZTI5BaseA
.section .rodata._ZTI5BaseA,"aG",@progbits,_ZTI5BaseA,comdat
.align 16
.type _ZTI5BaseA, @object
.size _ZTI5BaseA, 16
_ZTI5BaseA:
.quad _ZTVN10__cxxabiv117__class_type_infoE+16
.quad _ZTS5BaseA
.weak _ZN5BaseAC1Ev
.set _ZN5BaseAC1Ev,_ZN5BaseAC2Ev
.ident "GCC: (Ubuntu/Linaro 4.6.3-1ubuntu5) 4.6.3"
.section .note.GNU-stack,"",@progbits

? ? ? ? 但是對(duì)于上述說的第一種誤解，我是沒有真正理解的，如果沒有構(gòu)造函數(shù)，編譯器也不自動(dòng)合成，對(duì)象是如何建立的？

#includeusing?namespace?std;

class?NoDef{
public:
int?k;
void?print()?{?cout?<<?"k?is?"?<<?k?<<?endl;}
};

int?main()
{
NoDef?def;
def.print();

def.k?=?2;
def.print();

def.k?=?199566;
def.print();

return?0;
}

由于上方的代碼可以執(zhí)行，那么是否說明def對(duì)象創(chuàng)建了？如果為NoDef添加了默認(rèn)構(gòu)造函數(shù)，從編譯結(jié)果看，main函數(shù)中明顯調(diào)用了構(gòu)造函數(shù)。理解還是不到位，繼續(xù)找資料學(xué)習(xí)。