爲什麼std :: array <int, 10> x不是零初始化的，而是std :: array <int, 10> x = std :: array <int, 10>（）似乎是？

Question

我剛纔問了關於數組和值初始化的兩個問題here和here。 但有了這個代碼，我迷路了：

#include <iostream> 
#include <iomanip> 
#include <array> 

template <class T, class U = decltype(std::declval<T>().at(0))> 
inline U f1(const unsigned int i) 
{T x; return x.at(i);} 

template <class T, class U = decltype(std::declval<T>().at(0))> 
inline U f2(const unsigned int i) 
{T x = T(); return x.at(i);} 

int main() 
{ 
    static const unsigned int n = 10; 
    static const unsigned int w = 20; 
    for (unsigned int i = 0; i < n; ++i) { 
     std::cout<<std::setw(w)<<i; 
     std::cout<<std::setw(w)<<f1<std::array<int, n>>(i); 
     std::cout<<std::setw(w)<<f2<std::array<int, n>>(i); 
     std::cout<<std::setw(w)<<std::endl; 
    } 
    return 0; 
} 

正如預期的那樣，f1返回任意值作爲其值不爲0初始化。但f2似乎返回獨家零值：

    0     0     0 
        1     61     0 
        2     0     0 
        3     0     0 
        4   297887440     0 
        5    32767     0 
        6    4196848     0 
        7     0     0 
        8   297887664     0 
        9    32767     0 

我個人認爲f2將創建一個任意值和複製的數組/它移到x。但似乎並非如此。

所以，我有兩個問題：

• 爲什麼？
• C++ 11 std::array<T, N>和C風格T[N]在這種情況下有相同的行爲嗎？

Answer 1

使用{}或()爲初始化，我們沒有=，結果值初始化。對於具有隱式聲明構造函數的類型，值初始化實現了零初始化，正如其名稱所示，它將每個基本元素設置爲0。這發生在構造函數可能運行之前，但在這種情況下，構造函數什麼都不做。

因爲構造函數什麼都不做（它是微不足道的），所以可以看到未初始化的數據。

至於C風格的陣列，如果您使用= {}而不是= T()，因爲後者是非法的行爲是相似的。 T()會要求將臨時數組對象分配給指定對象，但不能分配數組。另一方面，= {}爲數組指定了一個braced-initializer-list，而一個braced-initializer-list是一個特殊的句法結構，既不是表達也不是對象。