C/C++の関数からローカル配列を返す方法をわかりやすく解説

C++では、関数内で宣言したローカル配列をそのまま返すことができません。ローカル変数は関数の終了とともに破棄されるためです。この問題を解決するには、new演算子による動的メモリ確保を利用します。ここでは、関数から動的に確保した配列を返すC++プログラムを紹介します。

ローカル配列を直接返せない理由

関数内で宣言された通常のローカル配列は、スタック領域に格納されます。関数が終了するとスタックフレームが解放され、配列へのポインタは無効なメモリ(ダングリングポインタ)を指すことになります。そのため、ローカル配列をそのまま返すのは未定義動作となり、プログラムのクラッシュや予期しない動作を引き起こす可能性があります。

解決策:動的メモリ確保

new演算子を使ってヒープ領域に配列を確保すれば、関数が終了してもメモリは保持され続けるため、安全に配列を返すことができます。

アルゴリズム

Begin
   関数Array()内で、new演算子により動的に確保した配列を使用して
   配列を返す。
   配列の各要素を出力する。
End

サンプルコード

#include <iostream>
using namespace std;
int* Array() {
   int* a = new int[100];
   a[0] = 7;
   a[1] = 6;
   a[2] = 4;
   a[3] = 5;
   return a;
}
int main() {
   int* p = Array();
   cout << "要素:" << p[0] << " " << p[1] << " " << p[2] << " " << p[3];
   return 0;
}

実行結果

要素:7 6 4 5

注意点:メモリリークを防ぐ

newで確保したメモリは自動的に解放されません。使用後は必ずdelete[]を呼び出してメモリを解放しましょう。そうしないとメモリリークが発生します。

int main() {
   int* p = Array();
   // 配列の使用処理
   delete[] p;  // メモリの解放
   return 0;
}

よりモダンな代替手段

現代のC++では、std::vectorやstd::arrayといった標準コンテナ、あるいはstd::unique_ptrなどのスマートポインタを活用することで、手動のメモリ管理を避け、より安全かつ簡潔に関数からデータを返すことが推奨されています。