phpのセッションがheader遷移のリダイレクトで引き継げない場合

こんな感じでログインのセッションを発行する処理がありまして。
login.php

$_SESSION['user'] = $_POST['user'];
header("Location: toppage.php");
exit;

POSTでユーザーIDを受け取って、それをセッションに入れてログイン後のトップページに遷移する、という処理ですな。
でtoppage.phpでは、セッションの有無を判定して、なければこのログインページに差し戻す、という寸法。

ところがこれが、どうにもうまく行かない。ログイン情報は合っているのに、ログイン後のページに進めない。var_dumpしてよく見てみると、遷移後のページではSESSIONがNULLになってしまっている。うーむ困った。

解決した方法

$_SESSION['user'] = $_POST['user'];
session_write_close();
header("Location: toppage.php");
exit;

セッションを書き込んだら、「session_write_close」関数を使って、明示的に「セッションの書き込みはこれでおしまい」と指定してあげるとうまく行った。

追記：もう一つの方法

「この方法ではうまくいかなかった」という方から、コメント欄で情報提供いただきました。

やることは簡単で、リダイレクトする次のファイルの先頭でsession_start();と書いてセッションを開始することを明示したら僕はいけました👍

うまくいかなかった方はお試しあれ。