此列表初始化C++ 0x中的未知大小數組有效嗎？

Question

此列表初始化C++ 0x中有效的未知大小數組嗎？

int main() { int x[]{0, 1,2,3,4}; return x[0]; } 

我相信這是有效的，但會很感激一些確認。

如果有人可以引用C++0x-FCD來支持他們的情況，將不勝感激。

謝謝！

Answer 1

這正好從8.5/16第一子彈8.5.4表初始化和從8.5.4/3第三子彈8.5.1集合初始化，然後8.5.1/4說

與含有N A大括號內的初始列表初始化未知大小的數組初始化子句，其中應大於零，被定義爲具有元素

唯一區別是如果對象是數組= { ... }和{ ... }是第一個被稱爲複製列表初始化第二個被稱爲直接列表初始化，所以這兩種都是列表初始化。在這兩種情況下，數組的元素都是從初始化程序列表的元素中複製初始化的。

注意到有這些形式之間的微妙區別，如果數組的大小和列表是空的，在這種情況下 8.5.4第二項適用：

struct A { 
    explicit A(); 
}; 

A a[1]{}; // OK: explicit constructor can be used by direct initialization 
A a[1] = {}; // ill-formed: copy initialization cannot use explicit constructor 

這種差異並不適用於列出了有內容在這種情況下，第三顆子彈再次應用，雖然

struct A { 
    explicit A(int); 
}; 

A a[1]{0}; // ill-formed: elements are copy initialized by 8.5.1 
A a[1] = {0}; // ill-formed: same. 

ŧ與前面的草案相比，他的FCD改變了這種情況，現在，即使使用顯式的默認構造函數，初始化的空白初始化列表也可以工作。這是因爲FCD聲明元素是值初始化的，並且值初始化不關心顯式性，因爲它沒有對默認構造函數進行重載解析（它無法找出更好或更差的匹配）。前面的草案對構造函數使用了正常的重載解析，因此在複製初始化過程中拒絕顯式的默認構造函數。 This defect report做了改變。

Answer 2

是的，它是有效的，並且已經有數十年了，甚至在C中。尺寸僅僅設置爲提供的元件的數量。不幸的是，我不知道這個參考。

（附加獎勵...）如果您需要的元素數使用sizeof(x)/sizeof(*x)。如果您添加或刪除條目，那麼編寫一個可能變得無效的常量會更安全。

編輯：正如在評論中指出的，有問題的代碼缺少=（我錯過了一個事實），沒有它，它在任何當前的C或C++標準中都是無效的。