【C++学習｜豆知識】C++20のstd::spanでメモリレイアウトを最適化するテクニック

導入：なぜstd::spanのextentを使い分けるのか

C++20で導入されたstd::spanは、配列やベクタといった連続したメモリ領域を安全に扱うための「ビュー」です。しかし、ただ便利だからと全ての引数にstd::spanを使うのは少し待ってください。実は、テンプレート引数で要素数を指定するか否かで、メモリレイアウトやコンパイル後の機械語の効率が大きく変わります。この違いを知ることは、特にメモリ制約の厳しい組み込み開発や、性能が求められるライブラリ設計において極めて重要です。

基礎知識：静的extentと動的extent

std::spanには、テンプレート引数でサイズを指定する「静的extent」と、指定しない「動的extent」の2種類があります。
静的extent：std::span のようにサイズNを指定します。コンパイル時にサイズが確定するため、オブジェクト自体はポインタ1つ分（通常8バイト）のサイズになります。
動的extent：std::span のようにサイズを省略します。実行時にサイズが決まるため、オブジェクトはポインタとサイズ情報の2つ分（通常16バイト）を保持します。

実装と解決策

コンパイル時にサイズが判明している固定長配列（例えば行列演算のベクトルや、通信プロトコルのパケットなど）を扱う場合は、積極的に静的extentを使用すべきです。これにより、オブジェクトのサイズが削減されるだけでなく、コンパイラがループの境界チェックを定数として最適化できるため、実行速度の向上が期待できます。

サンプルプログラム

以下のコードで、静的と動的それぞれの振る舞いを確認してみましょう。

include
include
include
include

void process_data() {
int arr[] = {1, 2, 3, 4, 5};

// 1. 静的extent: コンパイル時にサイズが5と固定されている
// sizeof(static_span) はポインタサイズ(8バイト)のみとなる
std::span static_span(arr);

// 2. 動的extent: 実行時にサイズが決定される
// sizeof(dynamic_span) はポインタとサイズの合計(16バイト)となる
std::vector vec = {1, 2, 3};
std::span dynamic_span(vec);

std::cout << "静的spanのサイズ: " << sizeof(static_span) << "バイト" << std::endl; std::cout << "動的spanのサイズ: " << sizeof(dynamic_span) << "バイト" << std::endl; // 静的extentはコンパイラがサイズを把握しているため、最適化が効きやすい for (int& val : static_span) { val = 2; } } int main() { process_data(); return 0; }

応用・注意点

現場での設計において注意すべき点は、汎用性と最適化のトレードオフです。
静的extent（std::span）を関数の引数にすると、サイズが異なる配列を渡すことができなくなり、関数の汎用性が失われます。そのため、ライブラリの内部実装や、特定のサイズが前提となる計算処理には静的extentを使い、ユーザーインターフェースとなる公開APIには動的extent（std::span）を使うといった使い分けが推奨されます。

また、静的extentで指定したサイズと実際の配列サイズが異なるとコンパイルエラーになるため、安全性の面でも静的extentは非常に強力です。要件に合わせて適切な型を選択し、効率的なコードを目指しましょう。