関数スタックが通常 '上に行く'の間にメモリ内の配列が '下に行く'という理由がありますか？

Question

実際の実装はプラットフォーム固有のものですが、この考え方は潜在的に危険なバッファオーバーフローの原因です。たとえば、

------------- 
| arr[0] | \ 
------------- \ 
| arr[1] | -> arr[3] is local to a function 
-------------/
| arr[2] |/
------------- 
| frame ptr | 
------------- 
| ret val | 
------------- 
| ret addr | 
------------- 
| args | 
------------- 

私の質問は、より良い動詞の欠如のためにローカルアレイが流れ落ちる理由はありますか？代わりに、配列が流れ上がった場合、リターンアドレスを上書きするバッファオーバーフローエラーの数を大幅に減らすことはできませんか？

スレッドを使用することによって、現在のものが呼び出した関数の戻りアドレスを上書きすることができます。しかし、今は無視しましょう。

Answer 1

スタック上の配列は、ヒープ上の配列と同じように機能します。つまり、メモリアドレスが増加するとインデックスが増加します。

スタックは、上向きではなく下向きに成長します。これは、スタックがスタックの反対方向に進む理由です。おそらくコード、ヒープ、スタックが同じメモリ領域にある時からヒープとスタックがメモリの各端から成長していたという歴史的な理由があります。

Answer 2

私はこの問題の原因を挙げることはできませんが、私はそれがあなたの記憶を突き抜けることができると信じています。 while *p++かその行に沿ったものを考えてみましょう。

さて、あなたは同じように簡単にwhile *p--を言うことができるが、私は、彼らは選択肢を持っていたならば、彼らはむしろ自分自身の戻り値よりも誰か他の人のデータを上書きしたいと思います:)「貪欲法」について話す（HARのHAR）

Answer 3

サブアレイを使用するには、通常、ポインタを渡します。すべての索引付け操作では、メモリー索引をすべて逆向きにしたい場合を除いて、配列のサイズを知る必要がありますが、そうであれば、同じ状況になります。