スタックは連続的に成長しますか？

Question

このコードが期待どおりに機能しないのはなぜかと思います。

typedef char uint8; 

    int main(int argc, const char * argv[]) { 
    // insert code here... 

    uint8 number_1 = 3; 
    uint8 number_2 = 1; 
    uint8 *PointerToNumber = &number_1; 

    printf("%d \n", *PointerToNumber); 
    ++PointerToNumber; 
    printf("%d \n", *PointerToNumber); 

    return 0; 
} 

このプログラムは3と-112を出力します。しかし、スタックが連続的に成長するならば3と1を出力してはいけませんか？

したがって、number_1を指していて、uint8型のポインタアドレスを増やすと、number_2の直後に宣言されていたので、number_2を指すべきではありませんか？

Answer 1

++PointerToNumber; 
printf("%d \n", *PointerToNumber); 

は未定義の動作の原因です。あらゆる行動を正当化しようとするのは無意味です。プログラムの動作は、最適化レベル、さまざまなコンパイラー・オプション、および異なるコンパイラーの変更によって変更される可能性があります。

この場合、オプティマイザは、関数内で使用されていないため、number_2にスペースを割り当てないことを選択できます。

Answer 2

誰かがコメントしたように、number-2はおそらくnumber_1の次の低い方のアドレスにあります。 ++ PointerToNumberの代わりに、 - PointerToNumberは期待される結果を生成します（ "1"を出力します）。