มรดกปกติ
ด้วยระดับทั่วไป 3 ระดับไม่ใช่เพชรไม่ใช่มรดกเสมือนเมื่อคุณยกตัวอย่างวัตถุที่ได้มามากที่สุดใหม่จะถูกเรียกใหม่และขนาดที่ต้องการสำหรับวัตถุนั้นได้รับการแก้ไขจากประเภทคลาสโดยคอมไพเลอร์และส่งไปยังใหม่
ใหม่มีลายเซ็น:
_GLIBCXX_WEAK_DEFINITION void *
operator new (std::size_t sz) _GLIBCXX_THROW (std::bad_alloc)
และทำการโทรออก mallocกลับเป็นตัวชี้โมฆะ
สิ่งนี้จะถูกส่งไปยังตัวสร้างของวัตถุที่ได้รับมามากที่สุดซึ่งจะเรียกผู้สร้างตรงกลางทันทีจากนั้นตัวสร้างกลางจะเรียกผู้สร้างฐานทันที จากนั้นฐานจะเก็บตัวชี้ไปยังตารางเสมือนของมันที่จุดเริ่มต้นของวัตถุและจากนั้นแอตทริบิวต์ของมันหลังจากนั้น สิ่งนี้จะส่งกลับไปยังตัวสร้างกลางซึ่งจะจัดเก็บตัวชี้ตารางเสมือนของมันที่ตำแหน่งเดียวกันและจากนั้นแอตทริบิวต์ของมันหลังจากแอตทริบิวต์ที่จะถูกจัดเก็บโดยตัวสร้างฐาน มันส่งกลับไปยังตัวสร้างที่ได้รับมากที่สุดซึ่งเก็บตัวชี้ไปยังตารางเสมือนของมันที่ตำแหน่งเดียวกันและจากนั้นแอตทริบิวต์ของมันหลังจากแอตทริบิวต์ที่จะถูกจัดเก็บโดยตัวสร้างกลาง
เนื่องจากตัวชี้ตารางเสมือนถูกเขียนทับตัวชี้ตารางเสมือนจึงกลายเป็นคลาสที่ได้รับมามากที่สุดเสมอ ความเสมือนจริงแพร่กระจายไปสู่คลาสที่ได้รับมากที่สุดดังนั้นหากฟังก์ชันนั้นเสมือนในคลาสกลางมันจะเป็นเสมือนในคลาสที่ได้มามากที่สุด แต่ไม่ใช่คลาสพื้นฐาน ถ้าคุณใช้พร็อกซีแบบอินสแตนซ์ของคลาสที่ได้รับมากที่สุดไปยังตัวชี้ไปยังคลาสพื้นฐานคอมไพเลอร์จะไม่แก้ไขสิ่งนี้เป็นการเรียกทางอ้อมไปยังตารางเสมือนและจะเรียกใช้ฟังก์ชันโดยตรงA::function()แทน หากฟังก์ชั่นเป็นเสมือนจริงสำหรับประเภทที่คุณใช้งานแล้วมันจะแก้ไขการเรียกเข้าไปในตารางเสมือนซึ่งจะเป็นคลาสที่ได้รับมามากที่สุด ถ้าไม่ใช่ชนิดนั้นมันก็จะเรียกType::function()และผ่านตัวชี้วัตถุไปที่มันโยนไปพิมพ์
ที่จริงเมื่อฉันพูดตัวชี้ไปที่ตารางเสมือนจริงมันมักจะชดเชย 16 ลงในตารางเสมือน
vtable for Base:
.quad 0
.quad typeinfo for Base
.quad Base::CommonFunction()
.quad Base::VirtualFunction()
pointer is typically to the first function i.e.
mov edx, OFFSET FLAT:vtable for Base+16
virtualไม่จำเป็นต้องใช้อีกครั้งในคลาสที่ได้รับเพิ่มเติมหากเป็นเสมือนในคลาสที่ได้รับน้อยลงเนื่องจากมันแพร่กระจาย แต่มันสามารถใช้เพื่อแสดงให้เห็นว่าฟังก์ชั่นนั้นเป็นฟังก์ชั่นเสมือนจริงโดยไม่ต้องตรวจสอบคลาสที่ได้รับการกำหนดประเภทของสืบทอด
override เป็นคอมไพเลอร์ตัวป้องกันอีกตัวที่บอกว่าฟังก์ชั่นนี้มีความสำคัญมากกว่าบางอย่างและถ้ามันไม่ได้เกิดข้อผิดพลาดของคอมไพเลอร์
= 0 หมายความว่านี่เป็นฟังก์ชันนามธรรม
final ป้องกันไม่ให้มีการใช้งานฟังก์ชันเสมือนอีกครั้งในคลาสที่ได้รับมากขึ้นและจะทำให้แน่ใจว่าตารางเสมือนของคลาสที่ได้รับมาส่วนใหญ่จะมีฟังก์ชันสุดท้ายของคลาสนั้น
= default ทำให้ชัดเจนในเอกสารประกอบว่าคอมไพเลอร์จะใช้การใช้งานเริ่มต้น
= delete ให้ข้อผิดพลาดคอมไพเลอร์หากพยายามโทรนี้
มรดกเสมือน
พิจารณา
class Base
{
int a = 1;
int b = 2;
public:
void virtual CommonFunction(){} ;
void virtual VirtualFunction(){} ;
};
class DerivedClass1: virtual public Base
{
int c = 3;
public:
void virtual DerivedCommonFunction(){} ;
void virtual VirtualFunction(){} ;
};
class DerivedClass2 : virtual public Base
{
int d = 4;
public:
//void virtual DerivedCommonFunction(){} ;
void virtual VirtualFunction(){} ;
void virtual DerivedCommonFunction2(){} ;
};
class DerivedDerivedClass : public DerivedClass1, public DerivedClass2
{
int e = 5;
public:
void virtual DerivedDerivedCommonFunction(){} ;
void virtual VirtualFunction(){} ;
};
int main () {
DerivedDerivedClass* d = new DerivedDerivedClass;
d->VirtualFunction();
d->DerivedCommonFunction();
d->DerivedCommonFunction2();
d->DerivedDerivedCommonFunction();
((DerivedClass2*)d)->DerivedCommonFunction2();
((Base*)d)->VirtualFunction();
}
คุณจะได้รับวัตถุที่มีลักษณะดังนี้:
แทนสิ่งนี้:
นั่นคือจะมีวัตถุฐาน 2
ในสถานการณ์การสืบทอดเพชรเสมือนด้านบนหลังจากใหม่ถูกเรียกมันเรียกนวกรรมิกที่ได้รับมามากที่สุดและในนวกรรมิกนั้นมันเรียกสิ่งก่อสร้างที่ได้รับมาทั้ง 3 ตัวที่ผ่านการหักล้างเข้าไปในตารางตารางเสมือนแทนที่จะเรียกเพียงDerivedClass1::DerivedClass1()และDerivedClass2::DerivedClass2()แล้วที่ทั้งสองได้โทรBase::Base()
ต่อไปนี้คือทั้งหมดที่รวบรวมในโหมดการแก้ปัญหา -O0 ดังนั้นจะมีการชุมนุมซ้ำซ้อน
main:
.LFB8:
push rbp
mov rbp, rsp
push rbx
sub rsp, 24
mov edi, 48 //pass size to new
call operator new(unsigned long) //call new
mov rbx, rax //move the address of the allocation to rbx
mov rdi, rbx //move it to rdi i.e. pass to the call
call DerivedDerivedClass::DerivedDerivedClass() [complete object constructor] //construct on this address
mov QWORD PTR [rbp-24], rbx //store the address of the object on the stack as d
DerivedDerivedClass::DerivedDerivedClass() [complete object constructor]:
.LFB20:
push rbp
mov rbp, rsp
sub rsp, 16
mov QWORD PTR [rbp-8], rdi
.LBB5:
mov rax, QWORD PTR [rbp-8] // object address now in rax
add rax, 32 //increment address by 32
mov rdi, rax // move object address+32 to rdi i.e. pass to call
call Base::Base() [base object constructor]
mov rax, QWORD PTR [rbp-8] //move object address to rax
mov edx, OFFSET FLAT:VTT for DerivedDerivedClass+8 //move address of VTT+8 to edx
mov rsi, rdx //pass VTT+8 address as 2nd parameter
mov rdi, rax //object address as first
call DerivedClass1::DerivedClass1() [base object constructor]
mov rax, QWORD PTR [rbp-8] //move object address to rax
add rax, 16 //increment object address by 16
mov edx, OFFSET FLAT:VTT for DerivedDerivedClass+24 //store address of VTT+24 in edx
mov rsi, rdx //pass address of VTT+24 as second parameter
mov rdi, rax //address of object as first
call DerivedClass2::DerivedClass2() [base object constructor]
mov edx, OFFSET FLAT:vtable for DerivedDerivedClass+24 //move this to edx
mov rax, QWORD PTR [rbp-8] // object address now in rax
mov QWORD PTR [rax], rdx. //store address of vtable for DerivedDerivedClass+24 at the start of the object
mov rax, QWORD PTR [rbp-8] // object address now in rax
add rax, 32 // increment object address by 32
mov edx, OFFSET FLAT:vtable for DerivedDerivedClass+120 //move this to edx
mov QWORD PTR [rax], rdx //store vtable for DerivedDerivedClass+120 at object+32 (Base)
mov edx, OFFSET FLAT:vtable for DerivedDerivedClass+72 //store this in edx
mov rax, QWORD PTR [rbp-8] //move object address to rax
mov QWORD PTR [rax+16], rdx //store vtable for DerivedDerivedClass+72 at object+16 (DerivedClass2)
mov rax, QWORD PTR [rbp-8]
mov DWORD PTR [rax+28], 5
.LBE5:
nop
leave
ret
มันเรียกBase::Base()ด้วยตัวชี้ไปยังวัตถุชดเชย 32 ฐานเก็บตัวชี้ไปยังตารางเสมือนที่อยู่ที่ได้รับและสมาชิกหลังจากนั้น
Base::Base() [base object constructor]:
.LFB11:
push rbp
mov rbp, rsp
mov QWORD PTR [rbp-8], rdi //stores address of object on stack (-O0)
.LBB2:
mov edx, OFFSET FLAT:vtable for Base+16 //puts vtable for Base+16 in edx
mov rax, QWORD PTR [rbp-8] //copies address of object from stack to rax
mov QWORD PTR [rax], rdx //stores it address of object
mov rax, QWORD PTR [rbp-8] //copies address of object on stack to rax again
mov DWORD PTR [rax+8], 1 //stores a = 1 in the object
mov rax, QWORD PTR [rbp-8] //junk from -O0
mov DWORD PTR [rax+12], 2 //stores b = 2 in the object
.LBE2:
nop
pop rbp
ret
DerivedDerivedClass::DerivedDerivedClass()จากนั้นเรียกใช้DerivedClass1::DerivedClass1()พร้อมกับตัวชี้ไปยังอ็อฟเซ็ต 0 และส่งผ่านที่อยู่ของVTT for DerivedDerivedClass+8
DerivedClass1::DerivedClass1() [base object constructor]:
.LFB14:
push rbp
mov rbp, rsp
mov QWORD PTR [rbp-8], rdi //address of object
mov QWORD PTR [rbp-16], rsi //address of VTT+8
.LBB3:
mov rax, QWORD PTR [rbp-16] //address of VTT+8 now in rax
mov rdx, QWORD PTR [rax] //address of DerivedClass1-in-DerivedDerivedClass+24 now in rdx
mov rax, QWORD PTR [rbp-8] //address of object now in rax
mov QWORD PTR [rax], rdx //store address of DerivedClass1-in-.. in the object
mov rax, QWORD PTR [rbp-8] // address of object now in rax
mov rax, QWORD PTR [rax] //address of DerivedClass1-in.. now implicitly in rax
sub rax, 24 //address of DerivedClass1-in-DerivedDerivedClass+0 now in rax
mov rax, QWORD PTR [rax] //value of 32 now in rax
mov rdx, rax // now in rdx
mov rax, QWORD PTR [rbp-8] //address of object now in rax
add rdx, rax //address of object+32 now in rdx
mov rax, QWORD PTR [rbp-16] //address of VTT+8 now in rax
mov rax, QWORD PTR [rax+8] //address of DerivedClass1-in-DerivedDerivedClass+72 (Base::CommonFunction()) now in rax
mov QWORD PTR [rdx], rax //store at address object+32 (offset to Base)
mov rax, QWORD PTR [rbp-8] //store address of object in rax, return
mov DWORD PTR [rax+8], 3 //store its attribute c = 3 in the object
.LBE3:
nop
pop rbp
ret
VTT for DerivedDerivedClass:
.quad vtable for DerivedDerivedClass+24
.quad construction vtable for DerivedClass1-in-DerivedDerivedClass+24
.quad construction vtable for DerivedClass1-in-DerivedDerivedClass+72
.quad construction vtable for DerivedClass2-in-DerivedDerivedClass+24
.quad construction vtable for DerivedClass2-in-DerivedDerivedClass+72
.quad vtable for DerivedDerivedClass+120
.quad vtable for DerivedDerivedClass+72
construction vtable for DerivedClass1-in-DerivedDerivedClass:
.quad 32
.quad 0
.quad typeinfo for DerivedClass1
.quad DerivedClass1::DerivedCommonFunction()
.quad DerivedClass1::VirtualFunction()
.quad -32
.quad 0
.quad -32
.quad typeinfo for DerivedClass1
.quad Base::CommonFunction()
.quad virtual thunk to DerivedClass1::VirtualFunction()
construction vtable for DerivedClass2-in-DerivedDerivedClass:
.quad 16
.quad 0
.quad typeinfo for DerivedClass2
.quad DerivedClass2::VirtualFunction()
.quad DerivedClass2::DerivedCommonFunction2()
.quad -16
.quad 0
.quad -16
.quad typeinfo for DerivedClass2
.quad Base::CommonFunction()
.quad virtual thunk to DerivedClass2::VirtualFunction()
vtable for DerivedDerivedClass:
.quad 32
.quad 0
.quad typeinfo for DerivedDerivedClass
.quad DerivedClass1::DerivedCommonFunction()
.quad DerivedDerivedClass::VirtualFunction()
.quad DerivedDerivedClass::DerivedDerivedCommonFunction()
.quad 16
.quad -16
.quad typeinfo for DerivedDerivedClass
.quad non-virtual thunk to DerivedDerivedClass::VirtualFunction()
.quad DerivedClass2::DerivedCommonFunction2()
.quad -32
.quad 0
.quad -32
.quad typeinfo for DerivedDerivedClass
.quad Base::CommonFunction()
.quad virtual thunk to DerivedDerivedClass::VirtualFunction()
virtual thunk to DerivedClass1::VirtualFunction():
mov r10, QWORD PTR [rdi]
add rdi, QWORD PTR [r10-32]
jmp .LTHUNK0
virtual thunk to DerivedClass2::VirtualFunction():
mov r10, QWORD PTR [rdi]
add rdi, QWORD PTR [r10-32]
jmp .LTHUNK1
virtual thunk to DerivedDerivedClass::VirtualFunction():
mov r10, QWORD PTR [rdi]
add rdi, QWORD PTR [r10-32]
jmp .LTHUNK2
non-virtual thunk to DerivedDerivedClass::VirtualFunction():
sub rdi, 16
jmp .LTHUNK3
.set .LTHUNK0,DerivedClass1::VirtualFunction()
.set .LTHUNK1,DerivedClass2::VirtualFunction()
.set .LTHUNK2,DerivedDerivedClass::VirtualFunction()
.set .LTHUNK3,DerivedDerivedClass::VirtualFunction()
DerivedDerivedClass::DerivedDerivedClass()แล้วผ่านที่อยู่ของวัตถุ + 16 และที่อยู่ของ VTT สำหรับที่DerivedDerivedClass+24จะDerivedClass2::DerivedClass2()มีการชุมนุมเป็นเหมือนDerivedClass1::DerivedClass1()ยกเว้นบรรทัดmov DWORD PTR [rax+8], 3ซึ่งเห็นได้ชัดว่ามี 4 แทน d = 43
หลังจากนี้มันจะแทนที่ทั้ง 3 พอยน์เตอร์พอยน์เตอร์ในวัตถุที่มีพอยน์เตอร์เพื่อออฟเซ็ตในDerivedDerivedClassvtable ของมันเพื่อเป็นตัวแทนของคลาสนั้น
d->VirtualFunction();:
mov rax, QWORD PTR [rbp-24] //store pointer to virtual table in rax
mov rax, QWORD PTR [rax] //dereference and store in rax
add rax, 8 // call the 2nd function in the table
mov rdx, QWORD PTR [rax] //dereference
mov rax, QWORD PTR [rbp-24]
mov rdi, rax
call rdx
d->DerivedCommonFunction();:
mov rax, QWORD PTR [rbp-24]
mov rdx, QWORD PTR [rbp-24]
mov rdx, QWORD PTR [rdx]
mov rdx, QWORD PTR [rdx]
mov rdi, rax
call rdx
d->DerivedCommonFunction2();:
mov rax, QWORD PTR [rbp-24]
lea rdx, [rax+16]
mov rax, QWORD PTR [rbp-24]
mov rax, QWORD PTR [rax+16]
add rax, 8
mov rax, QWORD PTR [rax]
mov rdi, rdx
call rax
d->DerivedDerivedCommonFunction();:
mov rax, QWORD PTR [rbp-24]
mov rax, QWORD PTR [rax]
add rax, 16
mov rdx, QWORD PTR [rax]
mov rax, QWORD PTR [rbp-24]
mov rdi, rax
call rdx
((DerivedClass2*)d)->DerivedCommonFunction2();:
cmp QWORD PTR [rbp-24], 0
je .L14
mov rax, QWORD PTR [rbp-24]
add rax, 16
jmp .L15
.L14:
mov eax, 0
.L15:
cmp QWORD PTR [rbp-24], 0
cmp QWORD PTR [rbp-24], 0
je .L18
mov rdx, QWORD PTR [rbp-24]
add rdx, 16
jmp .L19
.L18:
mov edx, 0
.L19:
mov rdx, QWORD PTR [rdx]
add rdx, 8
mov rdx, QWORD PTR [rdx]
mov rdi, rax
call rdx
((Base*)d)->VirtualFunction();:
cmp QWORD PTR [rbp-24], 0
je .L20
mov rax, QWORD PTR [rbp-24]
mov rax, QWORD PTR [rax]
sub rax, 24
mov rax, QWORD PTR [rax]
mov rdx, rax
mov rax, QWORD PTR [rbp-24]
add rax, rdx
jmp .L21
.L20:
mov eax, 0
.L21:
cmp QWORD PTR [rbp-24], 0
cmp QWORD PTR [rbp-24], 0
je .L24
mov rdx, QWORD PTR [rbp-24]
mov rdx, QWORD PTR [rdx]
sub rdx, 24
mov rdx, QWORD PTR [rdx]
mov rcx, rdx
mov rdx, QWORD PTR [rbp-24]
add rdx, rcx
jmp .L25
.L24:
mov edx, 0
.L25:
mov rdx, QWORD PTR [rdx]
add rdx, 8
mov rdx, QWORD PTR [rdx]
mov rdi, rax
call rdx