先生と生徒の会話形式で理解しよう

生徒

「先生、PushBuilderを使っているときに、セッションIDって確認できるんですか？」

先生

「PushBuilderでは、getSessionIdメソッドを使えば、プッシュリクエストに含めるセッションIDを確認できますよ。」

生徒

「それは、ログイン中のユーザーのセッションと関連付けてリソースを送る時に使えるんですね？」

先生

「そのとおりです。それでは実際にgetSessionIdの使い方を見ていきましょう！」

1. getSessionIdメソッドとは？

javax.servlet.http.PushBuilderのgetSessionId()メソッドは、現在PushBuilderインスタンスに設定されているセッションIDを取得するためのメソッドです。戻り値は文字列（String）で、設定がなければnullを返します。

2. getSessionIdの基本的な使い方

以下は、PushBuilderにセッションIDを設定してから取得する基本的なサンプルです。


PushBuilder pushBuilder = request.newPushBuilder();

if (pushBuilder != null) {
    pushBuilder.sessionId("ABC123XYZ");
    String sessionId = pushBuilder.getSessionId();
    System.out.println("設定されたセッションID: " + sessionId);
}

3. セッションIDがnullの場合

PushBuilderにセッションIDを設定していない状態でgetSessionId()を呼び出すと、戻り値はnullになります。セッションIDを利用する前にnullチェックするのが安全です。

4. セッション情報の活用例

セッションIDを使うことで、特定のユーザーに関連するリソースをPushすることができます。たとえば、ログインユーザー専用のデータや個別設定されたCSS、JSなどをプッシュする用途で活用できます。

5. push()と組み合わせて使う

getSessionId()で取得したIDを確認してから、push()でリソースを送ると、より安全で効率的なHTTP/2サーバープッシュが可能になります。


if (pushBuilder != null) {
    pushBuilder.sessionId("ABC123XYZ")
               .path("/user/dashboard")
               .push();
    System.out.println("Pushに使われたセッションID: " + pushBuilder.getSessionId());
}

6. HTML側とPushBuilderの連携

PushBuilderでセッションごとのコンテンツをプッシュする場合は、HTMLでも動的に切り替える要素にクエリやセッションに紐づいた情報を含めておくと、ユーザー体験が向上します。


<script src="scripts/dashboard.js?session=ABC123XYZ"></script>
<link rel="stylesheet" href="styles/user-theme.css?session=ABC123XYZ">

7. 他のメソッドとの組み合わせ

getSessionId()は、path、queryString、method、setHeaderなどのPushBuilderメソッドと組み合わせて使うことで、柔軟で効果的なプッシュ処理を実現できます。


pushBuilder.path("/api/userinfo")
           .method("GET")
           .sessionId("ABC123XYZ")
           .setHeader("Accept", "application/json");

System.out.println("確認用セッションID: " + pushBuilder.getSessionId());