【ITニュース解説】Hidden Classes: The JavaScript performance secret that changed everything

JavaScriptは、WebブラウザやNode.jsといった環境で広く使われるプログラミング言語である。その柔軟性から、開発者はオブジェクトに対していつでもプロパティを追加したり削除したりできる。しかし、この柔軟性が思わぬ形でプログラムの実行速度に影響を与えることがある。実は、V8エンジンというJavaScriptを実行する高性能な仕組みが、内部で「Hidden Class（隠されたクラス）」という技術を使って、JavaScriptのオブジェクトを効率的に処理している。この仕組みを理解することは、システムエンジニアを目指す上で非常に重要であり、コードのパフォーマンスを劇的に改善する秘訣となる。

Hidden Classとは、V8エンジンがJavaScriptオブジェクトの「形」、つまりどのようなプロパティをどのような順序で持っているかを内部的に管理するための情報のことだ。C++のような静的なプログラミング言語では、構造体（struct）を定義する際に、どのプロパティがどこにメモリ上で配置されるかがコンパイル時に決まっている。そのため、プロパティにアクセスする際には、メモリのどこを見るべきかがすぐに分かり、非常に高速に処理できる。しかし、JavaScriptでは以下のようなコードのように、オブジェクトのプロパティは実行中に自由に追加、削除、変更が可能だ。

const user = {}; user.name = "Alice"; user.age = 28; delete user.age;

このように、オブジェクトの形が頻繁に変わる状況で、V8エンジンはどのようにして高速なアクセスを実現しているのか。その答えがHidden Classである。V8は、JavaScriptオブジェクトが作られるたびに、そのオブジェクトの現在のプロパティ構成とメモリ上の配置を示すHidden Classを内部的に割り当てる。このHidden Classは、オブジェクトがどのようなプロパティを「オフセット」（メモリ上の相対位置）のどこに持っているかを記録している。

Hidden Classの賢い点は、オブジェクトの形が変化する際に、新しいHidden Classを作成し、それまでのHidden Classから新しいHidden Classへの「遷移」を記録する点にある。例えば、空のオブジェクトにプロパティxを追加すると新しいHidden Classが作られ、さらにプロパティyを追加すると、また別の新しいHidden Classが作られる。重要なのは、V8はこの遷移情報を記憶していることだ。もし、別のオブジェクトが全く同じ順序で同じプロパティを追加した場合、V8は新しいHidden Classを毎回作成するのではなく、既存の遷移チェーンを再利用する。これにより、V8はオブジェクトの形が同じであれば、そのプロパティのメモリ位置を高速に特定できるようになる。

このHidden Classの仕組みは、JavaScriptのコードのパフォーマンスに直接影響する。もし、ある関数が常に同じ形のオブジェクト、つまり同じHidden Classを持つオブジェクトを処理する場合、V8はその関数の処理を「単一形（Monomorphic）」として最適化する。単一形の場合、V8は「プロパティxは常にオフセット0にある」といった情報を「インラインキャッシュ」という場所に記憶し、高速なメモリ読み出しを行うことができる。これは、処理速度が劇的に向上する状態だ。

しかし、もし関数が異なる形のオブジェクト、つまり異なるHidden Classを持つオブジェクトを処理する場合、V8はその関数の処理を「多形（Polymorphic）」と判断する。多形の場合、V8はプロパティにアクセスするたびに、どのHidden Classのオブジェクトなのかをチェックし、それに合わせてメモリ位置を特定する必要があるため、処理速度が低下する。さらに、あまりにも多くの異なる形のオブジェクトが現れると、「超多形（Megamorphic）」と判断され、V8は最適化を諦めて、遅い「辞書ルックアップ」方式（ハッシュテーブルのような仕組み）に切り替えてしまう。実際に、全く同じ論理的な処理を行うコードでも、オブジェクトの形が異なるだけで、単一形の場合と比べて50倍以上の実行速度の差が出ることが確認されている。

このようなパフォーマンスの低下を引き起こす一般的なコーディングパターンがいくつかある。その一つがdelete演算子の使用である。オブジェクトからプロパティをdeleteで削除すると、V8はそのオブジェクトをHidden Classによる最適化の対象から外し、「辞書モード」という状態に変換してしまう。辞書モードでは、すべてのプロパティアクセスがハッシュテーブルでの検索となり、非常に遅くなる。このため、プロパティを削除したい場合は、deleteを使う代わりに、そのプロパティにnullやundefinedを代入して、オブジェクトの形を維持するべきだ。

次に、プロパティの追加順序が一定でない場合も問題となる。例えば、条件分岐によってオブジェクトにプロパティが追加されたりされなかったり、あるいは追加される順序が変わったりすると、V8はそれぞれ異なるHidden Classを生成する。これにより、オブジェクトの形が多形になり、最適化が難しくなる。このような状況を避けるためには、オブジェクトを作成する際に、すべてのプロパティを初期値（nullやundefinedを含む）と共に一度に宣言し、常に同じ形を保つことが重要だ。

また、繰り返し処理の中で、動的なプロパティ名（例: result[field] = obj[field];）を使ってオブジェクトにプロパティを追加することも、異なる形のオブジェクトを大量に生成し、パフォーマンスを大きく損なう原因となる。頻繁に実行されるコード（ホットパス）では、常に同じ形のオブジェクトを扱うように意識し、あらかじめプロパティの形を固定することが推奨される。

これらの問題を避け、パフォーマンスを最大化するためのコーディングパターンも存在する。例えば、「コンストラクタパターン」では、クラスのコンストラクタ内で、将来的に使用する可能性のあるものも含め、すべてのプロパティを初期化しておく。これにより、インスタンスが常に同じHidden Classを持つことを保証できる。また、「オブジェクトプールパターン」では、一度使われたオブジェクトを破棄するのではなく、再利用することで、新しいHidden Classの生成とそれに伴うオーバーヘッドを削減する。配列を処理する際にも、配列内のすべてのオブジェクトが同じ形を持つように初期化し、後でデータを書き換える際に形を変えないようにすることが重要である。

V8エンジンの内部動作をさらに深く理解したい場合は、Node.jsを実行する際に特定のデバッグフラグを使用すると、Hidden Classの遷移やインラインキャッシュの状態、非最適化の発生状況などを詳細に見ることができる。node --trace-mapsやnode --trace-ic、node --trace-deoptといったフラグを使うことで、コードがV8エンジンによってどのように解釈され、最適化されているかを具体的に観察することが可能だ。これは非常に専門的な情報ではあるが、エンジニアとしてパフォーマンスのボトルネックを特定し、解決する能力を高めるための貴重な学習機会となる。

実際に、このようなHidden Classに関する最適化を適用することで、プログラムのパフォーマンスは劇的に向上することが報告されている。あるNode.jsサービスでは、応答時間が340ミリ秒から28ミリ秒へと大幅に短縮され、メモリ使用量が40%削減され、CPU使用率も65%減少した。これは、プロパティの初期化方法の改善やdelete演算子の使用を避けるといった比較的単純な変更によって達成されたものだ。V8エンジンがオブジェクトにアクセスする際のインラインキャッシュのヒット率が、最適化前には12%だったものが、最適化後には94%にまで向上したことが、このパフォーマンス改善の直接的な証拠となっている。

まとめると、Hidden Classesは、JavaScriptの動的な性質と、V8エンジンの高性能な実行を両立させるための「秘密兵器」である。システムエンジニアを目指す上で、この内部的な仕組みを理解し、オブジェクトの「形」を意識したコードを書くことは、ただプログラムを高速化するだけでなく、より予測可能で保守しやすい、高品質なコードを書くことにもつながる。次にJavaScriptのコードを書く際や、パフォーマンスの問題に直面した際には、オブジェクトが内部でどのようなHidden Classを持っているのか、その形が変化していないかという視点を持つことが、大きな成果をもたらすだろう。