解説

〔aについて〕
getBlockSize は、ブロックのサイズをバイト数で返すメソッドです。〔プログラム 2〕で変数 blocks は、
と定義されており、2次元配列を使って512バイトの領域を100ブロック分確保しています。各ブロックのサイズは512ですので、100ブロックのうちの1つの要素に対してlengthを呼び出せば、ブロックのサイズを取得できます。blocks[0]～blocks[99]のどれでも結果は同じです。

「ア」はブロックのサイズ（大きさ）ではなくブロックの数（要素数）が返されてしまうので誤り、角括弧"[ ]"内を空にしてよいのは宣言または配列生成式だけであり、配列へアクセスする際にはインデックスを指定しなければならないので他の選択肢も誤りです。

∴a＝ウ：blocks[0]

〔bについて〕
空欄部分にはメソッド createCache の戻り値の型が入ります。実際に createCache を呼び出している〔プログラム1〕を確認すると、戻り値を受け取る変数 cache はCache型として定義されています。したがって正解の候補は、戻り値の型として Cache を指定している「ア」「イ」に絞られます。「イ」の"<>"(ダイアモンド演算子)と"?"を用いた宣言はジェネリクス（総称型）を指定する際に渡せるクラスに制限を付けるときに使いますが、クラス Cache はジェネリクスではないので、不適切な指定です。したがって「ア」が適切です。

実際にreturn文で返しているのは、クラス ListBasedCache の子クラスですが、クラス Cache はこれらのクラスの上位クラスですので、どちらも Cache として扱うことができます。

∴b＝ア：Cache

〔cについて〕
〔プログラムの説明〕(3)③に以下の説明があります。

「抽象メソッド getCachedBlockData は，引数で指定されたインデックス値のブロックデータがキャッシュされていれば，それを返す。キャッシュされていなければ，null を返す」

IF文内では当該キャッシュエントリのブロックデータを返しているため、IF文の条件式は、引数 index で与えられたインデックス値をもつキャッシュエントリが見つかったときにだけ真を返すようになっていなければなりません。

for文で操作対象となっている entries は入れ子クラス Entry を要素とするList型（ArrayList型）です。クラス Entry は index と blockData という2つのフィールドを持っているので、entries の構造は以下のようになっています。クラス Entry のメソッド getIndex は、自身が保持する index の値（ブロックのインデックス値）を返します。したがって、entry.getIndex() の値と引数 index の値が一致すれば求めるキャッシュエントリが見つかったと判断できます。よって、[c]には「==」が入ります。

※入れ子クラスは、一般的に内部クラスまたはインナークラスと言いますが、ここでは問題文の表現に合わせてあります。

∴c＝エ：==

〔dについて〕
〔プログラムの説明〕(3)④に以下の説明があります。

「抽象メソッド cacheBlockData は，引数で指定されたインデックス値及びその値に対応するブロックデータをキャッシュする。キャッシュできるブロックデータ数が上限に達している場合は，管理方針に従ってキャッシュされているブロックデータを削除してから，指定されたブロックデータをキャッシュする」

IF文内では remove によって要素を削除しているので、条件式としてはキャッシュできるブロックデータ数が上限に達している場合に真となる式が入ります。(4)の説明に「キャッシュできるブロックデータ数の上限値は，フィールド CACHE_SIZE で表す」とあるように、上限値は定数 CACHE_SIZE に格納されています。よって、entries.size() が返すリストの要素数と CACHE_SIZE が一致していれば、キャッシュ内のブロックデータ数が上限に達していると判断できます。よって、[d]には「entries.size() == CACHE_SIZE」が入ります。

∴d＝オ：entries.size() == CACHE_SIZE

• 「キャッシュしているブロックデータがある場合」という意味になるので不適切です。
• 「キャッシュしているブロックデータがない場合」という意味になるので不適切です。
• 「キャッシュしているブロックデータ数が上限と一致しない場合」という意味になり、まだ上限に達していないときでも削除することになってしまうので不適切です。
• 引数 index はブロックデータのインデックス値です。リストの要素数との比較に用いるのは不適切です。
• 正しい。
• 「エ」と同様の理由で不適切です。

〔eについて〕
[d]と関連しますが、「管理方針に従ってキャッシュされているブロックデータを削除」に相当する部分です。

remove の直後にある
の処理はリスト（キャッシュ）に要素（キャッシュエントリ）を追加する処理ですが、第1引数が0なので、要素の挿入は常にリストの先頭に対して行われることがわかります。add の仕様を見てみると、「指定された位置及びその後に既に要素がある場合は、それらの要素をシフトする」とあるので、要素を追加する度に既存要素が1つずつ後ろにシフトしていき、リストの中で最後に追加したデータが先頭、最初に追加した要素が末尾になっていることがわかります。

後の解説と関連しますが、FIFO、LRUのどちらの管理方針でも置換対象となるブロックデータはリストの末尾に位置しているので、リスト末尾のインデックス値である「CACHE_SIZE - 1」を指定して、当該要素を削除することになります（-1しているのはインデックス値は0始まりだからです）。

「ア」「ウ」は上限を超えるインデックスを指定していることになるので誤り、「エ」「オ」「カ」はキャッシュの削除が特定のインデックスではなく末尾に対して行われること、引数 index は追加しようとしているブロックデータのインデックスを表すことから誤りです。

∴e＝イ：CACHE_SIZE - 1

〔fについて〕
空欄を含む入れ子クラス Fifo および Lru は、〔プログラム3〕で以下のように呼び出されています。[b]に入る戻り値の型は Cache でしたから、return している Fifo および Lru のインスタンスは Cache の下位クラスでなければなりません。よって、正解の候補は「ウ」と「カ」に絞られます。このうち、「ウ」の Cache は抽象クラスなので、継承するためには抽象メソッド getCachedBlockData と cacheBlockData を実装する必要がありますが、クラス Fifo および Lru にはその記述がありません。したがって[f]に入るのは「ListBasedCache」しかありません。

∴f＝カ：ListBasedCache

〔gについて〕
〔プログラムの説明〕(7)①には「メソッド hit は，指定されたキャッシュエントリをリストの先頭に移動する」とあります。LRU（Least Recently Used）は、置換対象の中で最も長い時間参照されていないものを置換対象とするアルゴリズムなので、キャッシュエントリが参照されたとき、そのキャッシュエントリを置換と最も遠い位置であるリストの先頭に移動させる必要があります。この移動のため、hit が呼ばれたときに参照された要素を削除し、先頭に追加する操作があります。

Java APIの説明を見ると、List型のメソッド remove は2種類あり引数の型によって動作が変わります。1つはリスト内でのインデックス値を指定するもの、もう一つはオブジェクト自体を指定して削除するものです。
メソッド hit は、読込みが行われた entry を引数に呼び出されるので、remove の引数として entry を渡せば、当該キャッシュエントリの削除が可能です。

∴g＝ウ：entry

• 常にリストの先頭の要素が削除されてしまうので不適切です。
• 常にリストの末尾の要素が削除されてしまうので不適切です。
• 正しい。
• ブロックデータのインデックス値とリスト内の位置は一致していないので、entry.getIndex() を値を削除位置として使うのは不適切です。
• 「エ」と同様の理由で不適切です。
• 「エ」と同様の理由で不適です。