【入門編】Dartのリストパターンにおける「可変長マッチング」：restパターン（…）の内部実装 – Dart コア文法・オブジェクト指向・Null安全解析バイブル

こんにちは！Dartの世界へようこそ。今日は、Dart 3で導入された非常に強力な機能である「パターンマッチング」、その中でも特にリスト操作を劇的に楽にしてくれる「rest（残余）パターン」について深掘りしていきましょう。

「リストの先頭だけ欲しい」「残りの要素をまとめて処理したい」といった場面は、アプリケーション開発で頻繁に登場しますよね。Dartの `…`（ドット3つ）を使いこなせると、コードが驚くほどスッキリし、かつ実行効率の良いプログラムが書けるようになります。

世界最高峰のエンジニアの視点から、その内部挙動まで優しく解説しますね。ここをマスターすれば、Dartのデータ操作はもう怖くありませんよ。

—

1. restパターン（…）とは何か？

まずは基本からおさらいしましょう。リストパターンにおける `…` は、「残りの要素すべて」にマッチする特殊な記法です。

void main() {
var numbers = [1, 2, 3, 4, 5];

// リストの先頭、中間、末尾を自由自在に抽出できます
if (numbers case [var head, …rest, var tail]) {
print(‘最初: $head’); // 1
print(‘途中: $rest’); // [2, 3, 4]
print(‘最後: $tail’); // 5
}
}

なぜこれが嬉しいのか？

これまでのDart（2.x以前）では、`numbers[0]` や `numbers.sublist(1, numbers.length – 1)` といったインデックス計算を自分で行う必要がありました。インデックスの計算ミスは、バグ（IndexOutOfBoundsException）の温床です。

restパターンを使えば、「データの形（構造）」を記述するだけで、Dartが安全に中身を分解してくれます。

—

2. 内部で何が起きている？（アーキテクトの視点）

「便利だけど、リストをコピーしてメモリを無駄遣いしていないかな？」と心配になったあなたは、非常に鋭いセンスを持っています。

実は、Dart VMはこのパターンマッチングを非常に効率的に処理しています。

長さの事前チェック

Dartのリストは「ランダムアクセス」が得意なデータ構造です。コンパイルされたコードでは、まずリストの `length` がチェックされます。
例えば `[var a, …rest, var b]` というパターンの場合、「要素が2個以上あるか？」を最初に確認します。

メモリコピーの最小化

ここが重要なポイントです。
1. 変数にバインドしない場合:
`if (list case [_, …, _])` のように、`…` の後に変数名を書かない場合、Dartは中間リストを一切作成しません。単にインデックスをスキップして要素の有無を確認するだけです。

2. 変数にバインドする場合 (`…rest`):
`…rest` と書いて変数として取り出す場合、Dartは内部的に `sublist()` メソッドを呼び出します。

> 知見ノート:
> Dartの `sublist()` は新しいリストを作成します。もし巨大なリストから頻繁に中間要素を抽出する場合は、メモリ消費に注意が必要です。しかし、近年のDart VM（AOTコンパイル時）は、このリストの生成が不要と判断すれば最適化を行うよう進化し続けています。

—

3. 実践的な使い方と文法ルール

restパターンを使いこなすための、いくつかのルールを確認しておきましょう。

① restパターンは1つのリストに1回だけ

どこからどこまでが「残り」なのかを明確にするため、1つのリストパターンの中に `…` は1回しか使えません。

// ❌ コンパイルエラーになります
// var [ …a, …b ] = [1, 2, 3, 4];

② 任意の位置に配置可能

最初でも、最後でも、中間でもOKです。

var colors = [‘red’, ‘green’, ‘blue’, ‘yellow’];

// 先頭2つ以外を抽出
if (colors case [_, _, …others]) {
print(others); // [blue, yellow]
}

—

4. 陥りやすいエラーと回避策

初心者が最初につまずきやすいポイントを紹介します。

「スプレッド演算子」との混同

同じ `…` を使いますが、役割は真逆です。

• スプレッド演算子: リストを「広げる」（作る時に使う）
• restパターン: リストを「分解する」（壊す時に使う）

型の不一致

リストの中身に型を指定することもできます。

var mixed = [1, ‘hello’, ‘world’, 42];

// 「最初がintで、最後もint」という条件を付け加えられます
if (mixed case [int start, …rest, int end]) {
print(‘数値で始まり数値で終わるリストです’);
}

このように書くと、`rest` 部分には自動的に `List