1. 導入
C++で関数に配列やコンテナを渡す際、何を引数にすべきか悩んだことはありませんか？従来は `std::vector
C++20で導入された std::span は、これらの課題を解決する「連続的なメモリ領域への軽量なビュー」です。所有権を持たずにデータへアクセスできるため、関数の汎用性と安全性を劇的に向上させます。
2. 基礎知識
std::span とは、一言で言えば「ポインタと要素数」をカプセル化したクラスです。
最大の特徴は「所有権がない」ことです。メモリの確保や解放は行わず、既存のコンテナ（`std::vector`、`std::array`、C言語スタイルの配列など）を指すだけなので、コピーのオーバーヘッドがありません。
内部的にはポインタとサイズの2つのデータしか持たないため、関数の引数として渡す際も非常に軽量です。
3. 実装/解決策
関数の引数を特定のコンテナ型（`std::vector` など）に固定せず、std::span に置き換えることで、インターフェースを抽象化できます。これにより、呼び出し側はコンテナの種類を気にすることなく、データを渡すことが可能になります。また、デバッグビルド時には範囲外アクセスに対するアサーションが行われるため、安全性が大幅に高まります。
4. サンプルプログラム
以下のコードは、様々なコンテナを一つの関数で受け取り、処理する例です。
include
include
include
include
// std::span を引数に取ることで、vectorや配列を区別せず受け取れる
void print_data(std::span
// 範囲外アクセスをチェックする安全なアクセス
for (size_t i = 0; i < data.size(); ++i) {
std::cout << data[i] << " ";
}
std::cout << std::endl;
}
int main() {
std::vector
std::array
int c_arr[] = {7, 8, 9};
// いずれも std::span に自動変換される
print_data(vec);
print_data(arr);
print_data(c_arr);
return 0;
}
5. 応用・注意点
現場で活用する際の注意点は以下の3点です。
・生存期間の管理： std::span は所有権を持たないため、参照先のコンテナが破棄された後に std::span を使用すると、ダングリングポインタ（未定義動作）が発生します。関数の引数として一時的に渡す用途に限定するのが最も安全です。
・constの付与： 読み取り専用の関数であれば、必ず `std::span
・効率性： コンパイラは std::span を介したアクセスを、通常のポインタ演算や `memcpy` と同等の命令に最適化します。パフォーマンスを犠牲にすることなく、コードの保守性を高められるため、ライブラリ設計やAPI設計において積極的に採用することをお勧めします。
コメント