স্বাক্ষরিত পূর্ণসংখ্যা ওভারফ্লো (কড়াভাবে বলতে গেলে, "স্বাক্ষরযুক্ত পূর্ণসংখ্যার ওভারফ্লো" বলে কোনও জিনিস নেই) এর অর্থ অনির্ধারিত আচরণ । এবং এর অর্থ যা কিছু ঘটতে পারে, এবং কেন এটি সি ++ এর নিয়মের অধীনে হয় তা নিয়ে আলোচনা করা অর্থহীন নয়।
সি ++ 11 খসড়া এন 3337: §5.4: 1
যদি কোনও অভিব্যক্তির মূল্যায়নের সময়, ফলাফলটি গাণিতিকভাবে ডি-এনড হয় না বা তার ধরণের জন্য উপস্থাপনযোগ্য মানগুলির পরিসরে না হয়, তবে আচরণটি অনুল্কিত হয়। [দ্রষ্টব্য: সি ++ এর সর্বাধিক বিদ্যমান প্রয়োগগুলি fl ow এর চেয়ে বেশি পূর্ণসংখ্যাকে উপেক্ষা করে। শূন্য দ্বারা বিভাজনের চিকিত্সা, শূন্য বিভাজক ব্যবহার করে একটি অবশিষ্ট অংশ গঠন করে এবং সমস্ত ওটিং পয়েন্ট ব্যতিক্রমগুলি মেশিনের মধ্যে পরিবর্তিত হয় এবং সাধারণত একটি লাইব্রেরি ফাংশন দ্বারা নিয়মিত হয়। অন্তর্ভুক্ত নোট]
আপনার কোডটি g++ -O3সতর্কতা সতর্কতার সাথে সংকলিত (এমনকি ছাড়াই -Wall)
a.cpp: In function 'int main()':
a.cpp:11:18: warning: iteration 3u invokes undefined behavior [-Waggressive-loop-optimizations]
std::cout << i*1000000000 << std::endl;
^
a.cpp:9:2: note: containing loop
for (int i = 0; i < 4; ++i)
^
প্রোগ্রামটি কী করছে তা বিশ্লেষণের একমাত্র উপায় হ'ল উত্পন্ন সমাবেশ কোডটি পড়া code
এখানে পুরো সমাবেশ তালিকা রয়েছে:
.file "a.cpp"
.section .text$_ZNKSt5ctypeIcE8do_widenEc,"x"
.linkonce discard
.align 2
LCOLDB0:
LHOTB0:
.align 2
.p2align 4,,15
.globl __ZNKSt5ctypeIcE8do_widenEc
.def __ZNKSt5ctypeIcE8do_widenEc; .scl 2; .type 32; .endef
__ZNKSt5ctypeIcE8do_widenEc:
LFB860:
.cfi_startproc
movzbl 4(%esp), %eax
ret $4
.cfi_endproc
LFE860:
LCOLDE0:
LHOTE0:
.section .text.unlikely,"x"
LCOLDB1:
.text
LHOTB1:
.p2align 4,,15
.def ___tcf_0; .scl 3; .type 32; .endef
___tcf_0:
LFB1091:
.cfi_startproc
movl $__ZStL8__ioinit, %ecx
jmp __ZNSt8ios_base4InitD1Ev
.cfi_endproc
LFE1091:
.section .text.unlikely,"x"
LCOLDE1:
.text
LHOTE1:
.def ___main; .scl 2; .type 32; .endef
.section .text.unlikely,"x"
LCOLDB2:
.section .text.startup,"x"
LHOTB2:
.p2align 4,,15
.globl _main
.def _main; .scl 2; .type 32; .endef
_main:
LFB1084:
.cfi_startproc
leal 4(%esp), %ecx
.cfi_def_cfa 1, 0
andl $-16, %esp
pushl -4(%ecx)
pushl %ebp
.cfi_escape 0x10,0x5,0x2,0x75,0
movl %esp, %ebp
pushl %edi
pushl %esi
pushl %ebx
pushl %ecx
.cfi_escape 0xf,0x3,0x75,0x70,0x6
.cfi_escape 0x10,0x7,0x2,0x75,0x7c
.cfi_escape 0x10,0x6,0x2,0x75,0x78
.cfi_escape 0x10,0x3,0x2,0x75,0x74
xorl %edi, %edi
subl $24, %esp
call ___main
L4:
movl %edi, (%esp)
movl $__ZSt4cout, %ecx
call __ZNSolsEi
movl %eax, %esi
movl (%eax), %eax
subl $4, %esp
movl -12(%eax), %eax
movl 124(%esi,%eax), %ebx
testl %ebx, %ebx
je L15
cmpb $0, 28(%ebx)
je L5
movsbl 39(%ebx), %eax
L6:
movl %esi, %ecx
movl %eax, (%esp)
addl $1000000000, %edi
call __ZNSo3putEc
subl $4, %esp
movl %eax, %ecx
call __ZNSo5flushEv
jmp L4
.p2align 4,,10
L5:
movl %ebx, %ecx
call __ZNKSt5ctypeIcE13_M_widen_initEv
movl (%ebx), %eax
movl 24(%eax), %edx
movl $10, %eax
cmpl $__ZNKSt5ctypeIcE8do_widenEc, %edx
je L6
movl $10, (%esp)
movl %ebx, %ecx
call *%edx
movsbl %al, %eax
pushl %edx
jmp L6
L15:
call __ZSt16__throw_bad_castv
.cfi_endproc
LFE1084:
.section .text.unlikely,"x"
LCOLDE2:
.section .text.startup,"x"
LHOTE2:
.section .text.unlikely,"x"
LCOLDB3:
.section .text.startup,"x"
LHOTB3:
.p2align 4,,15
.def __GLOBAL__sub_I_main; .scl 3; .type 32; .endef
__GLOBAL__sub_I_main:
LFB1092:
.cfi_startproc
subl $28, %esp
.cfi_def_cfa_offset 32
movl $__ZStL8__ioinit, %ecx
call __ZNSt8ios_base4InitC1Ev
movl $___tcf_0, (%esp)
call _atexit
addl $28, %esp
.cfi_def_cfa_offset 4
ret
.cfi_endproc
LFE1092:
.section .text.unlikely,"x"
LCOLDE3:
.section .text.startup,"x"
LHOTE3:
.section .ctors,"w"
.align 4
.long __GLOBAL__sub_I_main
.lcomm __ZStL8__ioinit,1,1
.ident "GCC: (i686-posix-dwarf-rev1, Built by MinGW-W64 project) 4.9.0"
.def __ZNSt8ios_base4InitD1Ev; .scl 2; .type 32; .endef
.def __ZNSolsEi; .scl 2; .type 32; .endef
.def __ZNSo3putEc; .scl 2; .type 32; .endef
.def __ZNSo5flushEv; .scl 2; .type 32; .endef
.def __ZNKSt5ctypeIcE13_M_widen_initEv; .scl 2; .type 32; .endef
.def __ZSt16__throw_bad_castv; .scl 2; .type 32; .endef
.def __ZNSt8ios_base4InitC1Ev; .scl 2; .type 32; .endef
.def _atexit; .scl 2; .type 32; .endef
আমি সবেও অ্যাসেম্বলি পড়তে পারি, তবে আমি addl $1000000000, %ediলাইনটি দেখতে পাচ্ছি । ফলস্বরূপ কোডটি আরও ভাল দেখাচ্ছে
for(int i = 0; /* nothing, that is - infinite loop */; i += 1000000000)
std::cout << i << std::endl;
@ টিটির এই মন্তব্য:
আমি সন্দেহ করি এটি এর মতো কিছু: (1) কারণ i2 এর চেয়ে বড় যে কোনও মান সহ প্রতিটি পুনরাবৃত্তির আচরণ রয়েছে -> (2) আমরা ধরে নিতে পারি যে i <= 2অপ্টিমাইজেশনের উদ্দেশ্যে -> (3) লুপের অবস্থাটি সর্বদা সত্য -> (4) ) এটি অসীম লুপের মধ্যে অপ্টিমাইজড।
আমাকে কোনও অপরিবর্তিত আচরণ ছাড়াই ওপির কোডের অ্যাসেম্বলি কোডটি নিম্নলিখিত কোডের অ্যাসেম্বলি কোডের সাথে তুলনা করার ধারণা দিয়েছে।
#include <iostream>
int main()
{
// changed the termination condition
for (int i = 0; i < 3; ++i)
std::cout << i*1000000000 << std::endl;
}
এবং, প্রকৃতপক্ষে, সঠিক কোডের সমাপ্তির শর্ত রয়েছে।
; ...snip...
L6:
mov ecx, edi
mov DWORD PTR [esp], eax
add esi, 1000000000
call __ZNSo3putEc
sub esp, 4
mov ecx, eax
call __ZNSo5flushEv
cmp esi, -1294967296 // here it is
jne L7
lea esp, [ebp-16]
xor eax, eax
pop ecx
; ...snip...
ওএমজি, এটি সম্পূর্ণ সুস্পষ্ট নয়! এটা ঠিক না! আমি আগুন দিয়ে বিচার দাবি!
এটির সাথে ডিল করুন, আপনি বগী কোড লিখেছেন এবং আপনার খারাপ লাগা উচিত। পরিণতি বহন করুন।
... বা, বিকল্পভাবে, আরও ভাল ডায়াগনস্টিকস এবং আরও ভাল ডিবাগিং সরঞ্জামগুলির যথাযথ ব্যবহার করুন - এগুলি তাদের জন্য:
আমার হাতে লেখা কোনও প্রোগ্রামের স্প্যাগেটি জগাখিচুড়ি আছে যা আগামীকালই পাঠানো দরকার! সাহায্য !!!!!! 111oneone
জিসিসি ব্যবহার করুন -fwrapv
এই বিকল্পটি সংকলককে এই অনুমানের নির্দেশ দেয় যে স্বাক্ষরিত গাণিতিক ওভারফ্লোতে যোগ, বিয়োগ এবং গুণটি দ্বিগুণ-পরিপূরক উপস্থাপনা ব্যবহার করে চারপাশে মোড়ানো।
1 - এই নিয়মটি "স্বাক্ষরবিহীন পূর্ণসংখ্যার ওভারফ্লো" এর ক্ষেত্রে প্রযোজ্য নয়, যেমন §3.9.1.4 বলে
স্বাক্ষরযুক্ত স্বাক্ষরযুক্ত স্বাক্ষরবিহীন পূর্ণসংখ্যাগুলি গাণিতিক মডুলো 2 n এর আইন মেনে চলবে যেখানে n নির্দিষ্ট সংখ্যার পূর্ণসংখ্যার মান উপস্থাপনায় বিটের সংখ্যা।
এবং যেমন ফলাফল UINT_MAX + 1গাণিতিকভাবে সংজ্ঞায়িত - গাণিতিক মডুলো 2 এন এর নিয়ম দ্বারা