1. 導入
C++11から導入された範囲ベースfor（range-based for loop）は、コンテナや配列の要素を簡潔に反復処理できる非常に便利な機能です。しかし、実務でポインタを扱う際に「なぜか範囲ベースforで回せない」という壁にぶつかった経験はないでしょうか。本稿では、なぜポインタに対して範囲ベースforが使えないのか、その根本的な理由と、現場で推奨される代替策について解説します。
2. 基礎知識
範囲ベースforループは、構文糖衣（シンタックスシュガー）の一種です。コンパイラはコードを生成する際、対象のオブジェクトに対して「begin()」と「end()」という関数（あるいはメンバ）が存在するか、あるいはそれが配列であることを確認します。
配列（int arr[]など）の場合、コンパイラはコンパイル時にその配列のサイズを把握できるため、ポインタの「先頭アドレス」と「サイズ」から正しいループ回数を推論できます。一方、単なるポインタ（int p）は、メモリ上の「どこを指しているか」という情報しか持たず、その先に「いくつ要素が並んでいるか」という情報を保持していません。これが、ポインタに対して範囲ベースforが使えない根本的な原因です。
3. 実装/解決策
ポインタに対して範囲ベースforを利用したい場合、何らかの方法で「要素数」をコンパイラに伝える必要があります。実務で最も安全な解決策は、std::span（C++20以降）を使用することです。std::spanは、ポインタとサイズをセットで扱うためのクラスであり、範囲ベースforに対応しています。C++20以前の環境であれば、std::vectorへのコピーや、イテレータを用いた従来のfor文を使用するのが一般的です。
4. サンプルプログラム
以下に、C++20のstd::spanを用いた安全な実装例を示します。
#include
include
include // C++20から利用可能
void print_array(std::span
// std::spanを使うことで、ポインタとサイズがセットになり
// 範囲ベースforが正しく機能します
for (int value : data) {
std::cout << value << " ";
}
std::cout << std::endl;
}
int main() {
int arr[] = {10, 20, 30, 40, 50};
// 配列の先頭ポインタとサイズをspanに渡すことで解決
print_array({arr, 5});
return 0;
}
5. 応用・注意点
現場での開発において注意すべき点は、「ポインタだけで渡された配列のサイズを推論することは不可能である」という事実です。
・std::spanの活用: C++20環境であれば、ポインタを渡すインターフェースを極力減らし、std::spanに置き換えることを強く推奨します。これにより、バッファオーバーランのリスクを大幅に低減できます。
・従来のfor文の妥協: レガシーなコードベースでstd::spanが使えない場合は、安易にポインタで範囲ベースforを回そうとせず、サイズ引数を別途受け取る従来のfor文を使用してください。
・バグの回避: よくある誤りとして、ポインタに対してsizeof演算子を使って要素数を求めようとすることがありますが、ポインタに対してsizeofを使うと「ポインタそのもののサイズ（8バイトなど）」が返ってくるだけで、配列のサイズは取得できません。配列のサイズ取得は、必ずその配列が定義されたスコープで行うように徹底してください。
コメント