【入門編】Hackの『Shape』型における構造的部分型（Structural Typing）の落とし穴：名前付き型との使い分け戦略 – Hack言語コア・静的型システムとHHVMのアーキテクチャ解析バイブル

こんにちは！Hack言語の世界へようこそ。フルスタックエンジニアの先輩として、今日は皆さんがHackの静型システムで最初に直面する「大きな壁」であり、同時にマスターすれば最強の武器になるテーマについてお話ししますね。

それが、Shape（シェイプ）型における構造的部分型（Structural Typing）の落とし穴と、名前付き型（Class / Record）との使い分け戦略です。

「他の言語から来たけれど、連想配列やオブジェクトの扱いでモヤモヤしている…」
「Shapeって便利そうだけど、なんだか型安全性がすり抜けていく気がする…」

そんな疑問を持っていませんか？
大丈夫です。ここをクリアすれば、あなたのHackのコードは一気にプロダクションクオリティになりますよ。一緒にしっかりと紐解いていきましょう！

—

HackのStrict Mode（厳格モード）では、データの構造をガチガチに固めるのが基本です。しかし、世の中には「データベースから取ってきた動的なJSONデータ」や「APIのリクエストパラメータ」のように、ちょっとした連想配列の形をサクッと型安全に扱いたい場面がありますよね。

そこで登場するのが Shape型 です。

<>
namespace HackGuide;

type UserShape = shape(
‘id’ => int,
‘name’ => string,
‘is_active’ => bool,
);

function print_user(UserShape $user): void {
echo “User: ” . $user[‘name’] . “\n”;
}

このコードでは、`UserShape` という「特定のキーと値の型を持つ連想配列（Map）」を定義しています。ここまでは、他の言語の構造体やTypeScriptのオブジェクト型に似ていて直感的ですよね。

—

さて、ここからが本題です。HackのShape型は「構造的部分型」という性質を持っています。

これはどういうことかと言うと、「要求されているキーと型の組み合わせさえ満たしていれば、余計なキーが含まれていても型チェックをパスする」というルールです。

イメージ図で見てみましょう。

<>
namespace HackGuide;

type Point2D = shape(‘x’ => int, ‘y’ => int);
type Point3D = shape(‘x’ => int, ‘y’ => int, ‘z’ => int);

function render_2d_point(Point2D $p): void {
echo “X: {$p[‘x’]}, Y: {$p[‘y’]}\n”;
}

function run(): void {
// 3次元の座標データを定義
$p3d = shape(‘x’ => 10, ‘y’ => 20, ‘z’ => 30);

// おっと！ Point2D を要求する関数に Point3D のデータを渡せてしまいます
render_2d_point($p3d);
}

えっ、エラーにならないの？ と驚きませんでしたか？
なりますせん。これが構造的部分型の仕様です。`render_2d_point` は「`x` と `y` さえあればいいよ」と言っているので、`z` が余分に含まれていても、型チェッカーは文句を言いません。

小規模なうちは便利ですが、これが大規模なアプリケーションになると、「意図しない余分なデータが関数内部に持ち込まれ、バグの温床になる」という問題を引き起こします。データがどこでどう拡張されたのか、追跡が難しくなってしまうのですね。

—

では、私たちはどのようにコードを設計すべきなのでしょうか？
ここには明確な使い分けの戦略があります。

1. 一時的なデータ構造・APIの境界線・スキーマが流動的なもの
👉 Shape型 を使う
2. ビジネスロジックの中心にあるエンティティ・振る舞い（メソッド）を持つもの
👉 名前付き型（Class） を使う

実際に名前付き型（Class）を使った書き換えを見てみましょう。

<>
namespace HackGuide;

// クラスによる名前付き型の定義
final class Point3DClass {
public function __init__(
public int $x,
public int $y,
public int $z,
) {}
}

final class Point2DClass {
public function __init__(
public int $x,
public int $y,
) {}
}

function render_strict_2d(Point2DClass $p): void {
echo “X: {$p->x}, Y: {$p->y}\n”;
}

function run_safe(): void {
$p3d = new Point3DClass(10, 20, 30);

// コンパイルエラー！
// 完全に別の型として扱われるため、不意のデータの混入を防げます
// render_strict_2d($p3d);
}

クラス（名前付き型）を使うと、「名前の厳格さ（Nominal Typingに近い挙動）」が強制されます。先ほどのShape型で起きたような、「余分なプロパティを持つ別物がすり抜けてくる」という事故を、型チェッカーが未然に防いでくれるのです。

—

Hack言語とHHVM（HipHop Virtual Machine）の最大の特徴は、この強力な静的型チェックを実行時オーバーヘッドなしで実現している点にあります。

Shape型は、データの「形状」に注目した軽量な構造が必要な場所（外部APIとのやり取りなど）で最高のパフォーマンスを発揮します。しかし、構造的部分型ゆえの「意図しない拡張」に注意してください。
名前付き型（Class）は、アプリケーションのドメインモデルや、厳格にスコープを区切りたいビジネスロジックの要塞です。

「データのやり取りの境界線はShapeで軽やかに、ドメインの中心はClassで堅牢に」

この使い分けの哲学を頭に置いておけば、Hackの静的型システムはあなたの最高の味方になってくれます。ここをクリアできれば、もうHackの基本はバッチリマスターできていますよ！

それでは、次のコードレビューでお会いしましょう。Happy Coding!