Code Correctness: Function Returns Stack Address

スタック変数のアドレスを戻すと、通常クラッシュという形で、想定外の動作がプログラムで発生します。

ローカル変数はスタックに割り当てられているため、プログラムでローカル変数にポインタが戻されると、スタックアドレスが返されます。続いての関数コールではこの同じスタックアドレスを再利用する可能性が高く、このためポインタの値が上書きされます。関数のスタックフレームは戻されるときには無効であるため、上書きされたポインタは同一の変数に対応しなくなりますうまくいくと、ポインタの値が予期せず変更されます。多くの場合、ポインタが次に間接参照されるときにプログラムがクラッシュします。この問題は、原因がすっかり取り除かれていることが多いため、デバッグが困難な場合があります。

例 1: 次の関数ではスタックアドレスを戻します。

char* getName() {
  char name[STR_MAX];
  fillInName(name);
  return name;
}