Разумно ли игнорировать gcc / clang’s -Wmissing-braces & quot; предупреждение?

Я получаю то же предупреждение в Xcode 6.1.1 (текущая версия от 9 марта 2015 года). Когда я добавляю дополнительные скобки вокруг каждого подобъекта, я получаю ошибку. Когда я добавляю дополнительный набор скобок по всему списку инициализации, предупреждение исчезает. Согласно стандартной спецификации 14882: 2011 23.3.2.1 [array.overview] подраздел 2 прямо заявляет

array<T, N> a = { initializer-list };

где initializer-list — разделенный запятыми список до N элементов
чьи типы могут быть преобразованы в T

результат кода в Xcode 6.1.1 (ниже)

array<int, 2> key1 = {1, 2}; // warning: suggest braces around initialization of subobject

array<int, 2> key2 = { {1}, {2} }; // error: no viable overload =

array<int, 2> key3 = array<int, 2> { {1}, {2} }; // error: excess elements in struct initializer

array<int, 2> key4 = { {1, 2} }; // no warning and no error

Если мы посмотрим на подраздел 1 14882: 2011 8.5 [dcl.init], то увидим, что «initializer-list» может дополнительно содержать «initializer-clause», который сам по себе может быть «braced-init-list». Так что в любом случае должно быть правильно. Хотя, исходя из спецификации, я лично считаю, что одиночные скобки не должны выводить предупреждение компилятора для списка инициализаторов std :: array, а двойные скобки — это перебор.

При игнорировании предупреждения Clang с -Wno-missing-bracesЯ бы порекомендовал включить -Wmissing-field-initializers (или использовать -Wextra, который также включает это). В противном случае вы пропустите полезное предупреждение, как в этом примере:

#include <cstdio>

struct A
{
int i;
int arr[2];
int j;
};

void print(const A& a)
{
printf("i=%d, arr={%d,%d}, j=%d\n", a.i, a.arr[0], a.arr[1], a.j);
}

int main() {
A a = {1, 2, 3}; // this is the critical line
print(a); // output: i=1, arr={2,3}, j=0

A b = {1, {2}, 3};
print(b); // output: i=1, arr={2,0}, j=3

A c = {1, {2,0}, 3};
print(c); // output: i=1, arr={2,0}, j=3

return 0;
}

$ clang++ -Wall example.cpp
example.cpp:16:13: warning: suggest braces around initialization of
subobject [-Wmissing-braces]
A a = {1, 2, 3};
^~~~
{   }
1 warning generated.

$ clang++ -Wall -Wno-missing-braces example.cpp
(no warnings)

$ clang++ -Wall -Wno-missing-braces -Wmissing-field-initializers example.cpp
example.cpp:16:17: warning: missing field 'j' initializer
[-Wmissing-field-initializers]
A a = {1, 2, 3};
^
1 warning generated.

$ clang++ --version
clang version 3.8.1 (tags/RELEASE_381/final)

Для сравнения, вот что делает GCC:

$ g++ -Wall -Wextra example.cpp
(no warning)

$ g++ -Wall -Wmissing-field-initializers example.cpp
example.cpp: In function ‘int main()’
example.cpp:16:17: warning: missing initializer for member ‘A::j’ [-Wmissing-field-initializers]
A a = {1, 2, 3};
^

В итоге:

• Для Clang я бы порекомендовал -Wno-missing-braces -Wmissing-field-initializers заставить замолчать предупреждение без потери других полезных предупреждений
• GCC не жалуется в оригинале std::array<int, 1> x = { 0 }; Например, нет необходимости отключать какие-либо предупреждения. Тем не менее, я бы рекомендовал включить -Wmissing-field-initializers (или использовать -Wextra), так как он не включен -Wall,

Clang 6.0 подавляет предупреждение о пропавших скобках. Журнал SVN говорит:

Подавлять -Wmissing-braces предупреждение, когда агрегат-инициализирует структуру с одним полем, которое само является агрегатом. В C ++ такая инициализация типов std :: array гарантированно работает по стандарту, полностью идиоматична, и «предложенная» альтернатива
Clang был технически недействительным.

Так что я бы опустить скобки и отключить -Wmissing-braces для Clang до 6.0, если это необходимо поддерживать.