2

在下面的代码块中，num_insts被重新分配到0循环的第一次迭代之后。

inst_t buf[5] = {0};
num_insts = 10;
int i = 5;
for( ; i > 0; i-- )
{
   buf[i] = buf[i-1];
}
buf[0] = next;

我想不出这种行为有任何可能的正当理由，但我也被剥夺了睡眠，因此不胜感激。

为 buf 班次执行的程序集是这样的：

004017ed:   mov 0x90(%esp),%eax
004017f4:   lea -0x1(%eax),%ecx
004017f7:   mov 0x90(%esp),%edx
004017fe:   mov %edx,%eax
00401800:   shl $0x2,%eax
00401803:   add %edx,%eax
00401805:   shl $0x2,%eax
00401808:   lea 0xa0(%esp),%edi
0040180f:   lea (%edi,%eax,1),%eax
00401812:   lea -0x7c(%eax),%edx
00401815:   mov %ecx,%eax
00401817:   shl $0x2,%eax
0040181a:   add %ecx,%eax
0040181c:   shl $0x2,%eax
0040181f:   lea 0xa0(%esp),%ecx

在执行上面的第一条汇编指令之前的寄存器内容是这样的：

eax 0
ecx 0
edx 0
ebx 2665332
esp 0x28ab50
ebp 0x28ac08
esi 0
edi 2665432
eip 0x4017ed <main+1593>

按照这些说明，这：

eax 0
ecx 0
edx 2665432
ebx 2665332
esp 0x28ab50
ebp 0x28ac08
esi 0
edi 2665456
eip 0x401848 <main+1684>

我不知道足够多的组装来理解这些，但也许回答这个问题的人会从中受益。

4

1 回答 1

5

对于i = 5您的代码的第一次迭代：

for( ; i > 0; i-- ) // i = 5 > 0 = true
{
   buf[i] = buf[i-1];  // b[5] = b [5 - 1] 
}

是buf[5] = buf[4]; 因为buf只是大小5，最大索引值可能会4在您的代码中出现错误 = 数组超出索引问题 => rhs buf[5]。

于 2013-10-08T12:15:47.640 回答