こんにちは！HHVMの内部構造やHackの厳格な型システムに魅せられた皆さん、日々のコーディング楽しんでいますか？
他のプログラミング言語からHackの世界に飛び込んできた開発者の多くが、「配列（Array）の柔軟性」と「厳格な型安全性」の間で一度は頭を悩ませますよね。特に、複数の値を関数から返したいとき、なんとなく連想配列やベクター（Vector）を使ってしまい、後から「あれ、このキーの型なんだっけ？」と冷や汗をかいた経験はありませんか？
ここをクリアすれば、あなたの書くHackコードは一気に堅牢になり、型チェッカー（hhvm）が最高の相棒に変わります。今回は、Hackの『Tuple（タプル）』型を武器にして、複数戻り値を完全に型安全にハンドリングする極意を、優しく紐解いていきましょう！
—
1. なぜ「配列」ではなく「Tuple」なのか？
PHPの延長線上にある感覚だと、複数の戻り値を返すために配列を使いたくなりますよね。例えば、こんなコードです。
// 悪い例：配列で複数戻り値を返そうとした場合
function getUserData(): array
return tuple(“Alice”, 28, true); // 配列として返る
}
これ、一見動くように見えますが、Hackの厳格な静的型システム（Strict Mode）の観点からは「悪手」です。戻り値の型が `array
Tupleという名の「構造化された直方体」
Hackの Tuple（タプル） は、異なる型の要素を固定長で綺麗に詰め込める、いわば「オーダーメイドの小さな箱」です。
- 要素の数が完全に固定されている
- それぞれの位置（インデックス）ごとに厳密な型が決まっている
- ランタイムにおいて無駄なオーバーヘッドを生みにくい（HHVMのJITコンパイラにとっても最適化しやすい形状をしています）
これを使うことで、「1番目は文字列、2番目は整数、3番目は真偽値」という契約を、コードの静的解析レベルで完全に保証できるようになるんです。
—
2. Tupleの基本：定義と分解（Deconstruction）の作法
それでは、実際にコードを書いて感覚を掴んでいきましょう。
以下の例は、データベースからユーザーの「名前」「年齢」「アクティブ状態」を同時に取得して返す関数を想定したものです。
<<__Strict>>
namespace HackMasterclass;
// 1. 関数の戻り値にTuple型を定義する
// (string, int, bool) という厳格な並びを指定します
function fetchUserRecord(int $userId): (string, int, bool) {
// 擬似的なデータベース検索
if ($userId === 1) {
return tuple(“Alice”, 28, true);
}
return tuple(“Guest”, 0, false);
}
function main(): void {
// 2. 関数の呼び出しと「分解（Deconstruction）」
// 返ってきたTupleを、そのまま個別の変数にバインドします！
list($name, $age, $isActive) = fetchUserRecord(1);
// 出力テスト
echo “名前: ” . $name . “\n”; // string型として保証されている
echo “年齢: ” . (string)$age . “\n”; // int型として保証されている
if ($isActive) {
echo “ステータス: アクティブ\n”; // bool型として保証されている
}
}
ここがポイント！
`list($name, $age, $isActive) = fetchUserRecord(1);` の部分に注目してください。
Hackの型チェッカーは、`fetchUserRecord` が `(string, int, bool)` を返すことを完璧に把握しているため、分解された `$name` には自動的に `string` が、`$age` には `int` が割り当てられます。
もし、うっかり `$age` を文字列として扱おうとしたり、存在しない4番目の要素を取り出そうとしたりすると、実行するまでもなく、ビルド（型チェック）の段階で赤くエラーを吐いて教えてくれます。 これこそがStrict Modeの真骨頂ですね！
—
3. 陥りやすい文法エラーと、型チェッカーからのメッセージ
初心者の開発者がTupleを扱う際によくやってしまうミスと、その対策を確認しておきましょう。
トラップ1: `array` と `tuple` の混同
// ❌ やってしまいがちなエラー
function badExample(): (string, int) {
return [“Alice”, 28]; // 型エラー：配列構文はTupleの代わりにはなりません！
}
対策: Tupleを作る際は、必ず `tuple(要素1, 要素2, …)` という専用の構文を使用してください。型定義側も `array` ではなく `(TypeA, TypeB)` というカッコ書きの表現を使います。
トラップ2: 分割時の要素数の不一致
// ❌ 戻り値は2つの要素なのに、3つ受け取ろうとした場合
list($a, $b, $c) = fetchUserRecord(1); // 怒られます！
対策: 型チェッカーは厳格です。Tupleの要素数と、受け取る側の変数の数は完全に一致していなければなりません。もし使わない戻り値がある場合は、設計を見直して必要な要素だけのTupleを返すように関数を分割しましょう。
—
4. さらに先へ：複雑なロジックを美しく保つために
実務の現場では、「処理の成功・失敗」と「その結果（あるいはエラーメッセージ）」をセットで返したい場面によく遭遇します。例外（Exception）を投げるほどではない軽い分岐にも、Tupleは最高のパフォーマンスを発揮します。
<<__Strict>>
namespace HackMasterclass;
// 成功した場合は値、失敗した場合はエラー理由を返すTuple
function divide(int $numerator, int $denominator): (bool, ?int, string) {
if ($denominator === 0) {
// 失敗: 成功フラグ=false, 値=null, エラーメッセージ
return tuple(false, null, “ゼロによる除算エラーです”);
}
// 成功: 成功フラグ=true, 計算結果, 空のエラー
return tuple(true, intdiv($numerator, $denominator), “”);
}
このように、nullableな型（`?int`）と組み合わせることで、例外制御のコストを払わずに非常に安全でパフォーマンスの高いコードを書くことができます。HHVMの最適化エンジンも、こうした固定長の構造化データに対しては非常に効率的なメモリ配置を行ってくれます。
—
まとめ
いかがでしたか？今回はHackにおけるTuple型を活用した、型安全な複数戻り値のハンドリングについて解説しました。
- 配列の代わりに Tuple `(Type1, Type2, …)` を使うことで、要素の数と型を完全に固定できる。
- `list(…) = …` を使って、美しく安全に変数を分解・取得できる。
- 型チェッカーがコンパイル（静的解析）時にバグを未然に防いでくれるため、実行時エラーの恐怖から解放される。
ここをクリアできれば、あなたのHackマスターへの道はもう順調そのものです！ぜひ今日の開発から、無機質な配列の代わりに美しいTupleを取り入れてみてくださいね。それでは、また次回の極限の知見でお会いしましょう！