std :: arrayは安全に返すことができます

Question

以下のサンプル関数は呼び出し側の観点から安全ですか？

std::array<T, SIZE> foo() { 
    std::array<T, SIZE> bar; 
    // Initialization of bar members... 
    return bar; 
} 

私は、組み込み配列が安全に返却されないが、std::arrayが安全に返却された場合、私はわからないだということを認識しています。もしそうなら、これはどのように達成されますか？

Answer 1

これは問題ありません。 barをfoo()から返すとコピーが作成されます。

std::arrayは、配列メンバーを持つ構造体です。そのような構造体がコピーされると、配列もコピーされます。言い換えれば、ベア配列と構造体に含まれる配列のルールが異なります。

Answer 2

これは問題ありませんが、速度が遅くなる可能性があります。

C++ 17では、保証されたコピーエリジョンが導入されていますが、NRVOは含まれていません。

Answer 3

@Brianは、std::arrayは配列メンバーを持つ構造体であると述べています。あなたがmy_arrayをコピーする際に、そのarrayが深くコピーであることを

template<typename T, std::size_t N> 
struct my_array { 
    T array[N]; 
}; 

注：このような何か。そのような構造体を一時的なオブジェクトにコピーする関数から返すことは、問題を引き起こすことはありません。だから、存在の有無にかかわらず、RVO、それは常に問題がないことを保証します。

my_array<int, 5> foo = {1, 2, 3, 4, 5}; 
my_array<int, 5> bar; 

// Copy assignment here 
bar = foo; 

// Change bar's first element 
bar.array[0] = 12; 

// Print foo 
std::copy(std::begin(foo.array), 
      std::end(foo.array), 
      std::ostream_iterator<int>(std::cout, ", ")); 

結果：

1, 2, 3, 4, 5,