অনুমান করার পরিবর্তে, আমি সি -+ কোডের একটি ছোট টুকরা এবং কিছুটা পুরানো লিনাক্স ইনস্টল সহ উত্পন্ন কোডটি দেখার সিদ্ধান্ত নিয়েছি।
class MyException
{
public:
MyException() { }
~MyException() { }
};
void my_throwing_function(bool throwit)
{
if (throwit)
throw MyException();
}
void another_function();
void log(unsigned count);
void my_catching_function()
{
log(0);
try
{
log(1);
another_function();
log(2);
}
catch (const MyException& e)
{
log(3);
}
log(4);
}
আমি এটি দিয়ে সংকলিত করেছি g++ -m32 -W -Wall -O3 -save-temps -c
, এবং উত্পন্ন সমাবেশ ফাইলটি দেখেছি।
.file "foo.cpp"
.section .text._ZN11MyExceptionD1Ev,"axG",@progbits,_ZN11MyExceptionD1Ev,comdat
.align 2
.p2align 4,,15
.weak _ZN11MyExceptionD1Ev
.type _ZN11MyExceptionD1Ev, @function
_ZN11MyExceptionD1Ev:
.LFB7:
pushl %ebp
.LCFI0:
movl %esp, %ebp
.LCFI1:
popl %ebp
ret
.LFE7:
.size _ZN11MyExceptionD1Ev, .-_ZN11MyExceptionD1Ev
_ZN11MyExceptionD1Ev
হ'ল MyException::~MyException()
, তাই সংকলক সিদ্ধান্ত নিয়েছে যে এটির জন্য ডেস্ট্রাক্টরের একটি অন-লাইন অনুলিপি প্রয়োজন।
.globl __gxx_personality_v0
.globl _Unwind_Resume
.text
.align 2
.p2align 4,,15
.globl _Z20my_catching_functionv
.type _Z20my_catching_functionv, @function
_Z20my_catching_functionv:
.LFB9:
pushl %ebp
.LCFI2:
movl %esp, %ebp
.LCFI3:
pushl %ebx
.LCFI4:
subl $20, %esp
.LCFI5:
movl $0, (%esp)
.LEHB0:
call _Z3logj
.LEHE0:
movl $1, (%esp)
.LEHB1:
call _Z3logj
call _Z16another_functionv
movl $2, (%esp)
call _Z3logj
.LEHE1:
.L5:
movl $4, (%esp)
.LEHB2:
call _Z3logj
addl $20, %esp
popl %ebx
popl %ebp
ret
.L12:
subl $1, %edx
movl %eax, %ebx
je .L16
.L14:
movl %ebx, (%esp)
call _Unwind_Resume
.LEHE2:
.L16:
.L6:
movl %eax, (%esp)
call __cxa_begin_catch
movl $3, (%esp)
.LEHB3:
call _Z3logj
.LEHE3:
call __cxa_end_catch
.p2align 4,,3
jmp .L5
.L11:
.L8:
movl %eax, %ebx
.p2align 4,,6
call __cxa_end_catch
.p2align 4,,6
jmp .L14
.LFE9:
.size _Z20my_catching_functionv, .-_Z20my_catching_functionv
.section .gcc_except_table,"a",@progbits
.align 4
.LLSDA9:
.byte 0xff
.byte 0x0
.uleb128 .LLSDATT9-.LLSDATTD9
.LLSDATTD9:
.byte 0x1
.uleb128 .LLSDACSE9-.LLSDACSB9
.LLSDACSB9:
.uleb128 .LEHB0-.LFB9
.uleb128 .LEHE0-.LEHB0
.uleb128 0x0
.uleb128 0x0
.uleb128 .LEHB1-.LFB9
.uleb128 .LEHE1-.LEHB1
.uleb128 .L12-.LFB9
.uleb128 0x1
.uleb128 .LEHB2-.LFB9
.uleb128 .LEHE2-.LEHB2
.uleb128 0x0
.uleb128 0x0
.uleb128 .LEHB3-.LFB9
.uleb128 .LEHE3-.LEHB3
.uleb128 .L11-.LFB9
.uleb128 0x0
.LLSDACSE9:
.byte 0x1
.byte 0x0
.align 4
.long _ZTI11MyException
.LLSDATT9:
আশ্চর্য! সাধারণ কোড পথে কোনও অতিরিক্ত নির্দেশ নেই are সংকলক পরিবর্তে অতিরিক্ত আউট-লাইন ফিক্সআপ কোড ব্লক উত্পন্ন করেছে, ফাংশনটির শেষে একটি টেবিলের মাধ্যমে উল্লেখ করা হয়েছে (যা বাস্তবে এক্সিকিউটেবলের পৃথক বিভাগে রাখা হয়েছে)। এই টেবিলগুলির উপর ভিত্তি করে সমস্ত কাজ স্ট্যান্ডার্ড লাইব্রেরি দ্বারা পর্দার আড়ালে করা হয় ( _ZTI11MyException
হয়)typeinfo for MyException
)।
ঠিক আছে, এটি আমার জন্য আসলে কোনও আশ্চর্য ছিল না, আমি ইতিমধ্যে জানতাম যে এই সংকলকটি এটি কীভাবে করেছিল। সমাবেশ আউটপুট সঙ্গে অবিরত:
.text
.align 2
.p2align 4,,15
.globl _Z20my_throwing_functionb
.type _Z20my_throwing_functionb, @function
_Z20my_throwing_functionb:
.LFB8:
pushl %ebp
.LCFI6:
movl %esp, %ebp
.LCFI7:
subl $24, %esp
.LCFI8:
cmpb $0, 8(%ebp)
jne .L21
leave
ret
.L21:
movl $1, (%esp)
call __cxa_allocate_exception
movl $_ZN11MyExceptionD1Ev, 8(%esp)
movl $_ZTI11MyException, 4(%esp)
movl %eax, (%esp)
call __cxa_throw
.LFE8:
.size _Z20my_throwing_functionb, .-_Z20my_throwing_functionb
এখানে আমরা একটি ব্যতিক্রম ছোঁড়ার কোড দেখতে পাচ্ছি। কোনও ব্যতিক্রম ছোঁড়া হতে পারে বলে অতিরিক্ত অতিরিক্ত মাথার উপরের অংশটি ছিল না, তবে সম্ভবত একটি ব্যতিক্রম ছোঁড়াতে এবং ধরার ক্ষেত্রে অবশ্যই প্রচুর ওভারহেড রয়েছে। এর বেশিরভাগ অংশই লুকিয়ে আছে__cxa_throw
যার :
- ব্যতিক্রম টেবিলগুলির সাহায্যে স্ট্যাকটি হাঁটা করুন যতক্ষণ না এটি ব্যতিক্রমটির জন্য কোনও হ্যান্ডলার খুঁজে না পাওয়া যায়।
- স্ট্যাকটি খুলুন যতক্ষণ না এটি হ্যান্ডলারের কাছে যায়।
- আসলে হ্যান্ডলারকে কল করুন।
কেবল কোনও মূল্য ফেরত দেওয়ার ব্যয়ের সাথে তুলনা করুন এবং ব্যতিক্রম কেন কেবল ব্যতিক্রমী রিটার্নের জন্য ব্যবহার করা উচিত তা আপনি দেখতে পান।
শেষ করতে, অ্যাসেমব্লির বাকী ফাইলগুলি:
.weak _ZTI11MyException
.section .rodata._ZTI11MyException,"aG",@progbits,_ZTI11MyException,comdat
.align 4
.type _ZTI11MyException, @object
.size _ZTI11MyException, 8
_ZTI11MyException:
.long _ZTVN10__cxxabiv117__class_type_infoE+8
.long _ZTS11MyException
.weak _ZTS11MyException
.section .rodata._ZTS11MyException,"aG",@progbits,_ZTS11MyException,comdat
.type _ZTS11MyException, @object
.size _ZTS11MyException, 14
_ZTS11MyException:
.string "11MyException"
টাইপফোন ডেটা।
.section .eh_frame,"a",@progbits
.Lframe1:
.long .LECIE1-.LSCIE1
.LSCIE1:
.long 0x0
.byte 0x1
.string "zPL"
.uleb128 0x1
.sleb128 -4
.byte 0x8
.uleb128 0x6
.byte 0x0
.long __gxx_personality_v0
.byte 0x0
.byte 0xc
.uleb128 0x4
.uleb128 0x4
.byte 0x88
.uleb128 0x1
.align 4
.LECIE1:
.LSFDE3:
.long .LEFDE3-.LASFDE3
.LASFDE3:
.long .LASFDE3-.Lframe1
.long .LFB9
.long .LFE9-.LFB9
.uleb128 0x4
.long .LLSDA9
.byte 0x4
.long .LCFI2-.LFB9
.byte 0xe
.uleb128 0x8
.byte 0x85
.uleb128 0x2
.byte 0x4
.long .LCFI3-.LCFI2
.byte 0xd
.uleb128 0x5
.byte 0x4
.long .LCFI5-.LCFI3
.byte 0x83
.uleb128 0x3
.align 4
.LEFDE3:
.LSFDE5:
.long .LEFDE5-.LASFDE5
.LASFDE5:
.long .LASFDE5-.Lframe1
.long .LFB8
.long .LFE8-.LFB8
.uleb128 0x4
.long 0x0
.byte 0x4
.long .LCFI6-.LFB8
.byte 0xe
.uleb128 0x8
.byte 0x85
.uleb128 0x2
.byte 0x4
.long .LCFI7-.LCFI6
.byte 0xd
.uleb128 0x5
.align 4
.LEFDE5:
.ident "GCC: (GNU) 4.1.2 (Ubuntu 4.1.2-0ubuntu4)"
.section .note.GNU-stack,"",@progbits
এমনকি আরও কিছু ব্যতিক্রম হ্যান্ডলিং সারণী, এবং অতিরিক্ত তথ্য বিবিধ।
সুতরাং, উপসংহার, কমপক্ষে লিনাক্সে জিসিসির জন্য: ব্যয় ব্যতীত ছুঁড়েছে কিনা তা অতিরিক্ত ব্যয় (হ্যান্ডলার এবং টেবিলগুলির জন্য), পাশাপাশি টেবিলগুলি বিশ্লেষণ করার জন্য এবং ব্যতিক্রম ছোঁড়ার সময় হ্যান্ডলারগুলি কার্যকর করার অতিরিক্ত ব্যয়। আপনি যদি ত্রুটি কোডগুলির পরিবর্তে ব্যতিক্রমগুলি ব্যবহার করেন এবং কোনও ত্রুটি বিরল হয় তবে এটি ত্বরান্বিত হতে পারে , যেহেতু ত্রুটিগুলির জন্য আপনার আর পরীক্ষার ওভারহেড নেই।
আপনি যদি আরও তথ্য চান, বিশেষত সমস্ত __cxa_
ফাংশন কী করে, সেখান থেকে আসল স্পেসিফিকেশনটি দেখুন: