reallocの何が問題になっていますか？

Question

私はあなたが私はそれに何かを押すたびに、スタック再配分c99 filename.c; ./a.out

#include <stdio.h> 
#include <stdlib.h> 

typedef unsigned long long int se_t; // stack element type 

se_t stack_size = 0; 
se_t *bottom_of_stack = NULL; 
#define top_of_stack (bottom_of_stack + stack_size * sizeof(se_t)) 

#define stack_infix(op) stack_push(stack_pop() #op stack_pop()) 
#define do_times(x) for(int _i=0; _i<x; _i++) 

void stack_push(se_t v) { 
    bottom_of_stack = realloc(bottom_of_stack, 
           ++stack_size * sizeof(se_t)); 
    *top_of_stack = v; 
} 

void stack_print() { 
    printf("stack(%d): \n", (int)stack_size); 
    for(se_t *i = bottom_of_stack; 
      i <= top_of_stack; 
      i += sizeof(se_t)) { 
     printf("%p: %d \n", (void*)i, (int)*i); 
    } 
} 

int main() { 
    int i = 2; 
    do_times(3) { 
     stack_push(i*=i); 
     stack_print(); 
    } 
} 

を使用して試すことができ、次のコードを持っています。ここでは（私のコメント付き）出力は次のようになります。

stack(1): 
0x105200820: 0 // realloc successfully allocated some memory for the first time 
0x105200860: 4 
stack(2): 
0x105200820: 0 // extended the memory range without moving it somewhere else 
0x105200860: 4 
0x1052008a0: 16 
stack(3): 
0x105200830: 0 // reallocated the memory to some other region (see the address) 
0x105200870: 0 // and failed for some reason to copy the old data! 
0x1052008b0: 0 // why?! 
0x1052008f0: 256 

Answer 1

である：それはあなたが割り当てられたの最後を超えてデータを保存している、あるとして

#define top_of_stack (bottom_of_stack + (stack_size - 1)) 

をスペース。

ああ、あまりにもこの行を変更します。

i += sizeof(se_t)) { 

は次のようになります。

i++) { 

のでpmgは、ポインタ演算について言ったの。

Answer 2

ポインタ演算は、すでにsizeof (basetype)を使用しています。あなたがするとき

#define top_of_stack (bottom_of_stack + stack_size * sizeof(se_t)) 

あなたは効果的にsizeof (se_t)を2倍しています。

bottom_of_stackは値0xF000とstack_sizeは2とsizeof (se_t)である場合、この使用の0x10

bottom_of_stack + stack_size == 0xF020 
bottom_of_stack + stack_size * sizeof (se_t) == 0xF400 /* or whatever */