Является ли 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 - это структура, содержащая элемент массива. Что-то вроде этого:

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

Обратите внимание, что при копировании my_array, его array является глубоко скопирована. Поэтому возвращение таких структур из функции, которая делает копию временного объекта, никогда не вызовет проблем. Таким образом, с или без наличия 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,