這個數組的拷貝是如何工作的？

Question

我隨機寫函數需要數組引用，並返回一個數組，並初始化從舊的新數組：

#include <iterator> 
#include <iostream> 

using namespace std; 

template <typename T> 
T& return_arr(T& arr) { 
    return arr; 
} 

int main(){ 
    double a[] = {1,2,4.5,9}; 
    auto x = return_arr(a); 
    a[2] = 5; 
    cout << x[2] << endl; 
    //x.dummy_error(); // If this one is uncommented, the compiler says x is a double* 
    auto&& y = return_arr(a); 
    a[3] = 10; 
    cout << y[3] << endl; 
    //y.dummy_error(); // If this one is uncommented, the compiler says y is a double[4] 

    return 0; 
} 

爲什麼x得到了腐朽的指針？該函數應該返回一個T&和auto應該初始化一個類型T權？

另外爲什麼y是double[4]？ auto&&應該完美地轉發類型，y應該是double [4] &對不對？

有人可以解釋爲什麼所有這些發生？

Answer 1

您不能在C++中按值傳遞或返回數組。對不起---你不能。

auto x = return_arr(a); 

在這個調用，T推導爲double [4]。所以return_arr需要參考數組，它也返回參考數組。所以這個電話確實同樣的事情

auto x = a; 

x推導爲double*。這是因爲auto使用與模板相同的類型推導規則，並且當參數是數組時，非參考模板類型參數被推斷爲指針。換句話說，衰變發生在這裏，正如你通常所期望的那樣。

auto&& y = return_arr(a); 

在這種情況下，由於參考，y推導作爲參考陣列和衰減不會發生。所以這與

double (&y)[4] = a; 

是一樣的，這是一個參考初始化。同樣，數組不會被複制。

如果要複製陣列，使用memset，std::copy，或容器如std::vector或std::array。