プログラミングする人へ、基本って大事だよねって言うお話｜株式会社エン・ＰＣサービス - 東京都台東区蔵前のウェブアプリ・システム開発、ウェブサイト制作会社

とあるお客様ECサイトで、「購入後に再購入しようとすると、変なエラーが出て買い物出来なくなる」で困っている。
担当しているシステム会社が対応してくれないから代わりに解決してほしい、と言われた事がありまして。
原因となるコード(PHP)をみつけたときに、「ああ、この書き方ね・・」と思うところがありましたので、そのシェアです。

問題となった内容

まず、問題となったコードのサンプルです。
問題のエッセンスだけ示しています。

foreach ( $_SESSION as $key => $value ) {
    if ( 条件 ) unset ( $_SESSION[$key] );
}

処理後の値は一見問題無いのですが、このセッション変数をストレージ等に保存する時に保存されなかった。
要は次にアクセスした時にセッション変数が直前の状態になっていなかった。
という事象が発生したのです。

どう直したか

何が問題か、はさておき。
次の様に直したらその問題は解決しました。

$tmp_session_keyname = array();
foreach ( $_SESSION as $key => $val ) {
    if ( 条件 ) $tmp_session_keyname[$key] = $key;
}

foreach ( $tmp_session_keyname as $key ) {
    unset( $_SESSION[$key] );
}

何が問題なのか

foreach 文は PHP言語独自の機能で、配列を順番に繰り返し処理してくれるという便利なものです。
配列ですから、配列のキーを見ながら次はこのキー、というように処理するのでしょう。
最初の問題となったコードでは、今正に処理している配列の要素を unset、つまり消している事を行っています。

配列のデータ構造を、メモリ上にどう表現してどう処理するかイメージ出来る人であれば。
この書き方が「問題となる可能性がある」、と思う事が出来るのではないか、と思っています。

ちなみに、私が冒頭のコードを見て「ああ、この書き方ね・・」と思ったセンスはですね。
「今ループで回している値を消さないで！次に見る先は保証されるの？」
という不安感です。

問題となる例

配列のキーをメモリ上に順番に格納している
配列のキー領域には
(1)「配列の次のキーが格納されているメモリのアドレス」①が記録されている
(2) 配列の値が格納されているメモリのアドレス②が記録されている

と配列のデータ構造を定義している場合
unset時は、データ以外にキーもメモリから解放するが、その前に以下を行う。
データをメモリから解放した時に、データのガベージコレクションを行う
（データ領域の再配置を行うからメモリ位置も変わるので②も更新する）
unsetするキーの①を、unsetする１つ前に存在するキーの①にセットする。
foreachループ時は、$_SESSION配列のキー領域をforeach用にコピーしたうえで、コピーに対しループ処理（アドレスの移動）を行っている。

こういう想像をした場合です。
あくまで例ですよ！本当にそうなっているわけではありません！

unsetをすると、$_SESSIONのキー情報は更新され、アドレスも変わります。
一方、foreachループ用キー領域は更新されないので、foreachループで次の配列の値を得る時に、今の$_SESSION変数とアドレスが変わっているため不整合が起きる。

もちろん、これは悪い作りをした場合の例であり、実際のPHP言語はそのあたりは問題ないでしょう。

実際に起きた事

実際には、$_SESSION変数の値を var_dump()しても期待した値に見えましたから、それ自体は問題がなかったです。
何が起きたかと言うと、その$_SESSION変数を保存する時に動く処理、session_set_save_handler()で定義された write()がコールされなかった、という事です。
セッション変数のシリアライズ化が上手くいかなかったのか、セッション変数が更新された、と認識してくれなかったのか、どちらかでしょう。

くどいですが。
PHPのソースコードを見て調べたわけではないので、あくまで推測です。

そして、全ての環境で再現する内容でもありませんでした。
特定のPHPバージョン、それに付随する環境でのみ起きた事でしょう。