Rustの標準ライブラリにおいて、もっとも頻繁に利用されるデータ構造の一つがVec(ベクタ)です。

Vecは実行時にサイズを変更できる動的配列ですが、その背後では効率的なメモリ管理のための仕組みが備わっています。

Rustで高いパフォーマンスを発揮するコードを書くためには、Vecが持つ「長さ(length)」と「容量(capacity)」の違いを正しく理解することが欠かせません。

この記事では、Vecの内部構造から再割り当ての仕組み、そしてメモリ効率を最大化するための具体的な最適化手法について詳しく解説します。

目次 [ close ]
  1. Vecの内部構造と2つの重要な指標
    1. length(長さ)とは何か
    2. capacity(容量)とは何か
  2. 再割り当て(Reallocation)のコストと挙動
    1. 再割り当てのステップ
    2. 成長戦略(Growth Strategy)
  3. メモリ効率を高める最適化手法
    1. Vec::with_capacity による事前確保
    2. reserve メソッドの活用
    3. reserve_exact による厳密な確保
    4. shrink_to_fit によるメモリの解放
  4. メソッドによる容量への影響まとめ
  5. イテレータと収集(collect)の最適化
  6. String型における同一の仕組み
  7. まとめ

Vecの内部構造と2つの重要な指標

RustのVecは、スタック領域に保持される固定サイズのメタデータと、ヒープ領域に確保される実際のデータ領域で構成されています。

スタック領域には、ヒープ上のデータへのポインタ、現在の要素数、そして確保済みのメモリサイズの3つの情報が格納されています。

ここで重要になるのが、length(長さ)とcapacity(容量)という2つの概念です。

length(長さ)とは何か

lengthは、そのVecに現在実際に格納されている要素の数を表します。

len()メソッドを使用して取得できる値であり、プログラマが直接操作するデータの数を意味します。

例えば、空のVecに要素を3つ追加した場合、lengthは3になります。

capacity(容量)とは何か

capacityは、新しいメモリ再割り当てを行わずにVecが格納できる要素の最大数を表します。

これは、ヒープ領域にどれだけのメモリが確保されているかを示す指標です。

capacity()メソッドで確認することができ、常に length以上の値 になります。

以下のコードで、実際にどのように値が変化するか確認してみましょう。

Rust
fn main() {
    // 空のVecを作成
    let mut v = Vec::new();
    
    // 初期状態の表示
    println!("初期状態: len = {}, cap = {}", v.len(), v.capacity());

    // 要素を3つ追加
    for i in 0..3 {
        v.push(i);
        println!("追加後 ({}): len = {}, cap = {}", i, v.len(), v.capacity());
    }
}
実行結果
初期状態: len = 0, cap = 0
追加後 (0): len = 1, cap = 4
追加後 (1): len = 2, cap = 4
追加後 (2): len = 3, cap = 4

この実行結果から、要素を1つ追加した瞬間に、メモリが4要素分確保されていることがわかります。

RustのVecは、要素が追加されるたびにメモリを確保するのではなく、将来の追加に備えてあらかじめ多めにメモリを確保する戦略をとっています。

再割り当て(Reallocation)のコストと挙動

Vecのlengthがcapacityに達した状態でさらに要素を追加しようとすると、Rustはより大きなメモリ領域を新たに確保します。

このプロセスを「再割り当て(Reallocation)」と呼びます。

再割り当てのステップ

再割り当てが発生すると、内部では以下の処理が実行されます。

  1. 現在の容量よりも大きな新しいメモリ領域をヒープ上に確保する。
  2. 古いメモリ領域から新しいメモリ領域へ、既存の要素をすべてコピー(または移動)する。
  3. 古いメモリ領域を解放する。
  4. スタック上のポインタを新しいアドレスに更新し、capacityの値を書き換える。

この処理は、データ量が多くなるほど無視できないコストになります。

特に、要素のコピーが発生するため、計算量はO(n)となります。

頻繁に再割り当てが発生するようなコードは、実行速度を大きく低下させる要因となります。

成長戦略(Growth Strategy)

Rustの標準ライブラリにおけるVecの成長戦略は、通常、現在の容量の2倍のサイズを確保しようとします。

これにより、要素を追加していく際の「償却計算量」をO(1)に抑えることができます。

しかし、非常に大きなデータを扱う場合、2倍の確保はメモリ不足(Out of Memory)を引き起こすリスクもあるため注意が必要です。

メモリ効率を高める最適化手法

Vecの仕組みを理解したところで、パフォーマンスを最適化するための具体的な手法を見ていきましょう。

Vec::with_capacity による事前確保

最も効果的な最適化手法は、あらかじめ必要なサイズがわかっている場合に Vec::with_capacity を使用することです。

これにより、ループ内での再割り当てを完全に防ぐことができます。

Rust
// 悪い例: 繰り返し再割り当てが発生する可能性がある
let mut v = Vec::new();
for i in 0..1000 {
    v.push(i);
}

// 良い例: 最初に1000個分のメモリを確保する
let mut v = Vec::with_capacity(1000);
for i in 0..1000 {
    v.push(i);
}

この「良い例」では、メモリの確保は最初の1回だけで済み、実行効率が劇的に向上します。

reserve メソッドの活用

Vecを作成した後でも、大量のデータを追加することが判明した時点で reserve メソッドを呼び出すことができます。

reserve(n) は、少なくともあと n 個の要素を追加できるだけの空き容量を確保するよう指示します。

すでにデータが入っているVecに対して、動的に追加要件が発生した場合に有効です。

reserve_exact による厳密な確保

通常の reserve は、将来の成長を見越して多めに確保する可能性があります。

一方で、reserve_exact を使用すると、指定した数にできるだけ近い容量のみを確保します。

これ以上要素が増えないことが確定している場合に、無駄なメモリ消費を抑えるために利用されます。

shrink_to_fit によるメモリの解放

大量のデータを処理した後に、Vecから多くの要素を削除した場合、capacityだけが大きなまま残ってしまいます。

この未使用のメモリをシステムに返却したいときは、shrink_to_fit() を呼び出します。

Rust
let mut v = Vec::with_capacity(1000);
v.extend([1, 2, 3]);

// 不要な997要素分のメモリを解放しようと試みる
v.shrink_to_fit();

ただし、このメソッドも「再割り当てとコピー」を伴うため、頻繁に呼び出すのは避けるべきです。

メモリ使用量とパフォーマンスのトレードオフを考慮して使用を判断してください。

メソッドによる容量への影響まとめ

Vecの操作メソッドが、lengthとcapacityにどのような影響を与えるかを以下の表にまとめました。

メソッドlengthの変化capacityの変化主な用途
push(e)+1不足時に増加(約2倍)要素の末尾追加
pop()-1変化なし末尾要素の取り出し
clear()0になる変化なし要素の全削除(メモリ保持)
truncate(n)nになる変化なし指定サイズへの切り詰め
shrink_to_fit()変化なしlenに近づく不要なメモリの解放

この表からわかるように、clear() や truncate() を行っても、確保されたメモリ領域は解放されません。

同じVecを再利用して別のデータを詰め込む場合、この挙動は非常に効率的です。

イテレータと収集(collect)の最適化

Rustでは collect() を使用してイテレータからVecを生成することがよくあります。

驚くべきことに、多くの場合 collect() は手動で push するよりも効率的です。

イテレータが size_hint() を通じて自身の正確なサイズを知っている場合、collect() は内部的に 適切な capacity を最初から確保する ためです。

Rust
// rangeイテレータはサイズが既知
let v: Vec<i32> = (0..1000).collect();
// この時点でcapacityは1000として確保される

複雑なフィルタリングを行う場合はサイズが不明になるため、その場合は Vec::with_capacity と extend を組み合わせるなどの検討が必要になります。

String型における同一の仕組み

Rustの String 型は、内部的には Vec<u8> のラッパーです。

したがって、今回解説した length と capacity の概念、および with_capacity などの最適化手法はすべて String にも適用されます。

大きな文字列をループ内で構築する場合は、String::with_capacity を使うことで、Vecと同様のパフォーマンス向上が期待できます。

まとめ

RustのVecにおけるメモリ管理の肝は、lengthとcapacityを分離して管理している点にあります。

length(長さ)は現在入っているデータの数を指し、capacity(容量)は確保済みのメモリ領域の大きさを指します。

再割り当てによるパフォーマンス低下を防ぐためには、以下のポイントを意識しましょう。

  • サイズが予測可能な場合は Vec::with_capacity で事前確保を行う。
  • 大量追加の前には reserve メソッドでメモリを準備する。
  • 一度確保したメモリを再利用したい場合は clear で要素だけを消去する。
  • 極端にメモリ使用量を抑えたい場合のみ shrink_to_fit を検討する。

これらの最適化手法を適切に使い分けることで、Rustの強みである「ゼロコスト抽象化」を最大限に引き出した、高速で効率的なプログラムを記述することが可能になります。

低レイヤのメモリ挙動を意識しつつ、安全で強力なVecを活用していきましょう。