Zigにおけるメモリ効率の高い enum 配列

• ZigとRustにおける enum 配列のメモリ効率性に関する記事
• Rustでは可変サイズの enum（またはタグ付きユニオン）は最大のバリアントに十分なデータ割り当てが必要なため、かなりのメモリ断片化を引き起こす可能性がある
• このメモリ断片化は、Vec や HashMap に多数の enum を集める際に問題になることがある
• 著者は、Rustで特定の enum 向けに特化したデータ構造を作って断片化を減らすのは、ほぼ不可能だと示唆している
• Zigは、より柔軟で効率的なデータ構造変換を可能にする
• 著者は、特にコンパイラや構文木ノードの文脈において、メモリ断片化を減らす重要性を強調している
• 記事では、パッキング効率を改善する最も一般的な方法は、タグ付きインデックスを使って enum のバリアントを可能な限り小さく保つことだと提案している
• Zigの段階的コンパイルにより、任意の型に対して一般的に struct-of-arrays（SoA）変換を行うコンテナ型が可能になる
• 著者は、断片化をさらに減らすために、variant array of arrays（AoVA）という概念を紹介している
• 記事では、サイズ等価クラスという概念についても論じており、同じサイズのバリアントをまとめてグループ化することで、コンテナ内のベクタ総数を減らしている
• 著者はこのデータ構造のプロトタイプをZigで実装しており、フィールド型、バイト数・ビット数、判別子チェックに関するコンパイラ組み込み機能を利用している
• 記事は、Rustで非常に効率的な汎用データ構造を書くのは難しい場合がある一方、Zigの comptime はより構成可能なメモリレイアウトを可能にすると結論づけている