配列という「闇」からの脱却：HackのTuple型で実現する、堅牢な複数値リターン
こんにちは。Hackの深淵へようこそ。
日々HHVMのパフォーマンスと格闘していると、コードの「匂い」だけでその品質が判別できるようになります。
特に、多くの開発者が最初につまずく、あるいは「なんとなく」使い続けているのが配列（array/vec）による戻り値の乱用です。
// 悪い例：中身が何かわからない配列を返す
function get_user_status(): vec
return vec[true, “Active”, 1024];
}
このコード、何が問題かわかりますか？
呼び出し側は `vec[0]` が何なのか、型チェッカーに聞くまで確証を持てません。「0番目はboolで…1番目はstringだよね？」という推測は、大規模開発ではバグの温床になります。
今日は、Hackの厳格な静的型システムを味方につけ、Tuple型（タプル型）を使って、この不確実な世界から抜け出す方法を伝授します。
—
1. Tuple型とは何か？：型安全の「小箱」
Tuple型は、あらかじめ「何番目に」「どんな型の値が入っているか」を定義した固定長のリストです。配列が「同じ型の値を詰め込む箱」なら、Tupleは「決まった型を順序立てて収める設計図付きの箱」と言えます。
Tupleの宣言と分解（Destructuring）
まずは、最も基本的な使い方を見てみましょう。
// 関数から (bool, string, int) という型を定義して返す
function get_user_info(): (bool, string, int) {
return tuple(true, “Active”, 1024);
}
<<__EntryPoint>>
function main(): void {
// 分解代入：タプルを受け取って変数に割り当てる
// 型推論が働くため、型を書かなくても安全！
list($is_active, $status_name, $id) = get_user_info();
if ($is_active) {
echo “User {$id} is {$status_name}”;
}
}
なぜこれが「配列」より優れているのか？
1. 型チェッカーが守ってくれる: もし戻り値の順序を間違えたり、型が一致しなければ、HHVMの型チェッカー（`hh_client`）が即座にエラーを吐きます。
2. 可読性の向上: 戻り値の定義を見るだけで、何が返ってくるのかが一目瞭然です。
3. IDEの恩恵: 戻り値の変数に対して、IDEが正しいメソッドやプロパティを提案してくれます。
—
2. 陥りやすい罠：Tupleと配列の境界線
よくあるエラーとして、「Tupleだと思って配列操作をしてしまう」ケースがあります。
エラー例：動的なアクセス
function get_data(): (int, string) {
return tuple(1, “hello”);
}
function bad_usage(): void {
$data = get_data();
// ❌ エラー！ Tupleは配列のように動的なインデックスアクセスを許さない
// $data[2] などと書こうものなら、コンパイル時に型チェッカーが怒ります。
// ✅ 正しいアプローチ：分解（Destructuring）する
list($id, $msg) = $data;
}
ここがポイント：
Tupleは「不変（Immutable）」な構造を前提としています。配列のように `push` したり要素を削除したりすることはできません。「値を返すための専用の構造」と割り切るのが、Hackを使いこなすコツです。
—
3. 実践：現場で役立つ「エラーハンドリング」の定石
Tuple型が最も輝くのは、エラーハンドリングの設計です。よくある「失敗したらnullを返す」という設計をTupleに置き換えてみましょう。
// 成功時と失敗時で型を明確に分ける設計
type UserResult = (bool, ?string);
function find_user(int $id): UserResult {
if ($id <= 0) {
return tuple(false, "Invalid ID");
}
return tuple(true, "Found!");
}
<<__EntryPoint>>
function run(): void {
list($success, $message) = find_user(0);
if (!$success) {
// エラー時のロジックも明確
echo “Error: ” . ($message ?? “Unknown”);
return;
}
// 成功時…
}
—
最後に：Hackの厳格さは「武器」になる
HackのStrict Modeで開発をしていると、最初は型チェッカーの厳しさに息苦しさを感じるかもしれません。しかし、それは「実行時に発生するはずだったバグを、コンパイル時に消し去っている」という証拠です。
Tuple型を活用することは、自分自身やチームのメンバーに「この関数の戻り値はこれだ！」と明示的な契約（Contract）を結ぶ行為です。
ここをクリアすれば、あなたの書くコードはより堅牢に、そして誰が見ても意図が伝わる美しいものになります。さあ、次はどんな型パズルを解きましょうか？
また次回、より深いHHVMの世界でお会いしましょう。Happy Hacking!