爲什麼std :: array < T, 0 >不是空的？

Question

鑑於任何std::array< T, 0 >，它爲什麼不是空的？我的意思是 「空」，如下所示：

std::is_empty< std::array< int, 0 > >::value 

返回false和

#include <iostream> 
#include <tuple> 
#include <array> 

struct Empty {}; 

int main() 
{ 
    std::cout << sizeof(std::tuple<int>) << std::endl; 
    std::cout << sizeof(std::tuple<int,Empty>) << std::endl; 
    std::cout << sizeof(std::tuple<int,std::array<int,0>>) << std::endl; 
} 

產生

4 
4 
8 

，這意味着，對於std::array<int,0>，不應用空基地優化（EBO） 。

這似乎特別奇怪，我因爲std::tuple<>（注：無模板參數）爲空，即std::is_empty<std::tuple<>>::value確實產生true。

問題：爲什麼這樣，因爲尺寸0已經是std::array的特例？這是標準中的故意還是疏忽？

Answer 1

該標準並沒有說是否tuple或array應該是空的東西，你看到的是實施細節，但沒有理由讓tuple<>非空，而有一個很好的理由array<T, 0>是非-empty，考慮：

std::array<int, sizeof...(values)> = { { values... } }; 

當參數包是空的，你會得到：

std::array<int, 0> = { { } }; 

對於初始化爲有效的對象需要的會員，這不可能是int[0]，因爲你不能有零大小的數組作爲成員，因此，一個可能的實現是int[1]

的實現並不一定特例整個陣列，它可以這樣做：

T m_data[N == 0 ? 1 : N]; 

和所有其他成員的工作完全一樣的方式（假設end()被定義爲begin()+N）