C++ vectorで2次元配列を扱う方法：初期化・操作・効率的な実装パターン

C++を用いたソフトウェア開発において、多次元データを管理する場面は非常に多く存在します。

行列計算、画像処理、グリッドベースのゲームアルゴリズムなど、その用途は多岐にわたります。

従来、C言語のスタイルを継承した「ポインタのポインタ」や固定長配列が利用されてきましたが、現代のC++開発では、安全かつ柔軟にメモリを管理できるstd::vectorを用いた2次元配列の構築が一般的です。

本記事では、std::vector<std::vector<T>>による基本的な2次元配列の実装から、実行速度を重視した高度な最適化パターンまで、実務で役立つ知識を詳しく解説します。

2次元配列としてのstd::vectorの基本構造

C++の標準ライブラリであるstd::vectorは、動的配列を提供するコンテナです。

これを「入れ子」の状態、すなわち「vectorの要素としてvectorを持つ」構造にすることで、2次元配列を実現します。

ネストされた構造の理解

std::vector<std::vector<int>> matrix;という宣言は、概念的には「int型の動的配列を要素として持つ、動的配列」を意味します。

この構造の最大の特徴は、各行の長さを個別に変更できる点にあります。

一般的な静的配列 int arr[3][4]; では、メモリ上の連続した領域にすべての要素が配置されますが、std::vector<std::vector<int>>の場合は異なります。

外側のvectorは、内側のvectorオブジェクトを管理するメモリ領域を確保し、内側の各vectorはそれぞれ個別にヒープ領域からメモリを確保します。

メモリ配置の特徴

この「ベクトルの中のベクトル」という構造は、以下のメリットとデメリットを持ちます。

• メリット：実行時に行数や列数を柔軟に変更できる。各行が異なる長さを持つ「ジャグ配列（Jagged Array）」を作成できる。
• デメリット：メモリが不連続になりやすいため、キャッシュ効率が低下する場合がある。また、行ごとにメモリアロケーションが発生するため、オーバーヘッドが生じる。

初期化のバリエーションと使い分け

2次元配列を使用する際、あらかじめサイズが決まっている場合と、後から動的に追加していく場合があります。

状況に応じた最適な初期化方法を選択することが、コードの可読性とパフォーマンスの向上に繋がります。

サイズを指定した初期化

最も基本的な方法は、コンストラクタで「行数」と「列の初期状態」を指定する方法です。

#include <iostream>
#include <vector>

int main() {
    // 3行4列の2次元配列を0で初期化
    int rows = 3;
    int cols = 4;
    std::vector<std::vector<int>> matrix(rows, std::vector<int>(cols, 0));

    // 値の確認
    for (int i = 0; i < rows; ++i) {
        for (int j = 0; j < cols; ++j) {
            std::cout << matrix[i][j] << " ";
        }
        std::cout << std::endl;
    }

    return 0;
}

0 0 0 0 
0 0 0 0 
0 0 0 0

このコードでは、std::vector<int>(cols, 0) という一時オブジェクトが、rows個分コピーされる形で初期化が行われます。

初期化リストを用いた記述

C++11以降、初期化リストを用いることで、特定の値を直接記述して初期化することが可能になりました。

小規模な行列やテストデータを作成する際に非常に便利です。

#include <iostream>
#include <vector>

int main() {
    // 初期化リストによる定義
    std::vector<std::vector<int>> matrix = {
        {1, 2, 3},
        {4, 5, 6},
        {7, 8, 9}
    };

    std::cout << "2行目の3列目: " << matrix[1][2] << std::endl;

    return 0;
}

2行目の3列目: 6

構造に応じた初期化方法の比較

要素へのアクセスと操作

2次元配列の操作において、要素へのアクセス方法や行の追加・削除は頻繁に行われます。

安全性を重視するか、速度を重視するかで使い分ける必要があります。

インデックスによるアクセス

通常、要素へのアクセスには [] 演算子を使用します。

matrix[i][j] = 100; // i行j列への代入
int value = matrix[i][j]; // 値の取得

ここで注意が必要なのは、[] 演算子は境界チェックを行わない点です。

もしインデックスが範囲外になった場合、未定義の動作を引き起こします。

開発中やデバッグ時には、境界チェックを行う .at() メソッドを使用することを検討してください。

try {
    int value = matrix.at(i).at(j);
} catch (const std::out_of_range& e) {
    std::cerr << "インデックスが範囲外です: " << e.what() << std::endl;
}

行の追加と削除

std::vector のメンバ関数を使用することで、動的に行全体を操作できます。

// 新しい行を追加
std::vector<int> new_row = {10, 20, 30};
matrix.push_back(new_row);

// 最後の行を削除
matrix.pop_back();

// 特定の行の特定の列に要素を追加（その行のサイズが変わる）
matrix[0].push_back(99);

このように、「行ごとにサイズが異なっても良い」という柔軟性は、静的配列にはない大きな利点です。

パフォーマンスを意識した2次元データの管理手法

std::vector<std::vector<T>> は非常に便利ですが、大規模なデータを扱う場合や、数値計算のように高いパフォーマンスが要求される場面では、いくつかの課題が生じます。

キャッシュミスとオーバーヘッドの課題

前述した通り、std::vector<std::vector<T>> は「ポインタの配列」に近い構造をしています。

外側の配列の各要素が、異なるメモリ番地にある内側の配列を指しているため、メモリ上の連続性が保証されません。

近年のCPUはキャッシュメモリを効率的に利用するために、連続したメモリへのアクセスを高速に行う仕組み（空間局所性）を持っています。

メモリがバラバラに配置されていると、この恩恵を受けられず、実行速度が低下する原因となります。

1次元ベクトルによる2次元配列のシミュレーション

パフォーマンスを最適化する最も一般的な手法は、1次元のstd::vectorを2次元配列として扱うことです。

すべての要素を一列に並べることで、メモリの連続性を確保します。

#include <iostream>
#include <vector>

class Matrix2D {
private:
    int rows;
    int cols;
    std::vector<int> data;

public:
    Matrix2D(int r, int c) : rows(r), cols(c), data(r * c, 0) {}

    // インデックス計算により要素にアクセス (row, col)
    int& operator()(int r, int c) {
        return data[r * cols + c];
    }

    const int& operator()(int r, int c) const {
        return data[r * cols + c];
    }
};

int main() {
    Matrix2D mat(100, 100);
    mat(5, 10) = 42;
    std::cout << "値: " << mat(5, 10) << std::endl;
    return 0;
}

この方法の利点は以下の通りです。

1. メモリアロケーションが1回で済む：初期化のオーバーヘッドが減少します。
2. キャッシュ効率が向上する：全要素が連続しているため、順次アクセスが非常に高速になります。
3. データ転送が容易：GPU（CUDAなど）や外部のC言語ライブラリにデータを渡す際、単一のポインタを渡すだけで済みます。

モダンC++における多次元データの扱い

C++の標準化が進むにつれ、より洗練された多次元配列の扱い方が導入されています。

特にC++20以降、そしてC++23では多次元配列へのアクセスを簡略化する機能が追加されています。

C++23の std::mdspan

C++23からは、std::mdspan という機能が導入されました。

これは、「1次元的に並んだデータを、多次元配列として解釈するためのビュー（View）」を提供します。

これ自体はデータを所有しませんが、既存の std::vector や生配列に対して、2次元や3次元のインターフェースを被せることができます。

// C++23 形式のイメージ
std::vector<int> buffer(100);
auto matrix = std::mdspan(buffer.data(), 10, 10);

matrix[5, 2] = 10; // カンマ区切りでのアクセスが可能に

これにより、前述した「1次元ベクトルによるシミュレーション」を手動で行う必要がなくなり、標準的かつ安全な方法で高速な多次元配列操作が可能になります。

アルゴリズムとの連携

std::vector を使用する大きなメリットの一つは、標準アルゴリズム (<algorithm>) との親和性です。

#include <algorithm>
#include <vector>

// 2次元配列の各行をソートする
for (auto& row : matrix) {
    std::sort(row.begin(), row.end());
}

// 2次元配列全体の中から最大値を探す (1次元化手法の場合)
auto it = std::max_element(data.begin(), data.end());

このように、std::vector の機能を最大限活用することで、複雑なループ処理を簡潔に記述できるようになります。

よくあるエラーとデバッグのポイント

2次元配列を扱う際に、初心者が陥りやすいミスとその対策を整理します。

1. サイズの不一致によるセグメンテーションフォルト

行ごとにサイズを変更できる柔軟性は、裏を返せば「すべての行が同じ長さである保証がない」ことを意味します。

std::vector<std::vector<int>> matrix(3);
matrix[0].resize(5);
// matrix[1] は空のまま
std::cout << matrix[1][0]; // クラッシュの危険！

アクセス前に必ず内側のベクトルのサイズを確認するか、初期化時に確実に全行をリサイズする習慣をつけましょう。

2. resize() の挙動の誤解

matrix.resize(10); と呼び出した場合、外側のベクトル（行数）は10になりますが、新しく追加された行の列数は0です。

既存の全行に対して列数を変更したい場合は、ループを回して各要素をリサイズする必要があります。

// 全行を5列に揃える
for (auto& row : matrix) {
    row.resize(5);
}

3. パフォーマンス劣化（コピーの発生）

関数の引数として2次元配列を渡す際、値渡し（コピー）を避けることが重要です。

// NG: 巨大な配列がコピーされる
void process(std::vector<std::vector<int>> m);

// OK: 参照渡し
void process(const std::vector<std::vector<int>>& m);

まとめ

C++において std::vector を活用した2次元配列の構築は、安全性と柔軟性を両立させる標準的な手法です。

• 基本構造：std::vector<std::vector<T>> は動的なサイズ変更が可能だが、メモリは不連続。
• 初期化：コンストラクタによる一括確保や、初期化リストの活用が有効。
• パフォーマンス：速度が重要な場合は、1次元ベクトルを多次元的に扱う手法を検討する。
• モダンなアプローチ：C++23の std::mdspan など、新しい標準機能を活用してコードを簡素化する。

2次元配列は単なるデータの箱ではなく、その構造一つでプログラムの性能や保守性が大きく変わります。

用途に合わせて、今回紹介したパターンを適切に使い分けてみてください。

特に、将来的な拡張性やメモリ効率を考慮し、1次元シミュレーションとネストされたベクトルのどちらが適しているかを設計段階で判断することが、プロフェッショナルなC++開発への第一歩となります。