скобка огороженного списка инициализатора

Question

при условии, у меня есть объект, похожий на этот:

struct MenuDef 
{ 
    int titleResourceId; 

    struct MenuItemDef { 
     char*    name; 
     int     value; 
     SomeFunctionPtr  someFactory; 
    } menuItems[10]; 
}; 

Это инициализируется следующим образом:

const MenuDef m = { 
    1, 
    { 
     { 
      "zero", 
      0, 
      (SomeFunctionPtr) & MenuButton::factory, 
     }, 
     { 
      "one", 
      1, 
      (SomeFunctionPtr) & MenuButton::factory, 
     }, 
     { 
      "two", 
      2, 
      (SomeFunctionPtr) & MenuButton::factory, 
     }, 
    } 
}; 

Безопасно предположить, чтоm.menuItems[3].someFactory == 0?

, например, в цикле, как это:

for (int i = 0; m.menuItems[i].someFactory != 0; ++i) 

или я должен вставить последний элемент, чтобы отметить конец массива вручную на всякий случай?

... 
     { 
      "two", 
      2, 
      (SomeFunctionPtr) & MenuButton::factory, 
     }, 
     { 
      "", 
      0, 
      (SomeFunctionPtr) 0, 
     }, 
... 

Answer 1

Я считаю, что это безопасно в соответствии с 8.5.1/7:

Если меньше Инициализаторы в списке, чем входящие в совокупности, то каждый член не явно инициализировано должно быть инициализировано значение (8.5).

В качестве напоминания:

Для того, чтобы значение инициализации объекта типа Т означает:

• , если Т представляет собой тип класса (пункт 9) с пользователем объявлено конструктором (12.1), , тогда конструктор по умолчанию для T называется (и инициализация плохо сформирована, если T не имеет доступного конструктора по умолчанию );
• если Т не является объединением типа класса без пользовательской объявленной конструкторы, то каждый нестатический член данных и базового класс компонента Т значения инициализировано;
• если T - тип массива, то каждый элемент инициализируется значением;
• в противном случае, объект нулевой инициализируется

Answer 2

Ответ на ваш вопрос зависит от версии языка (C++ 98 или C++ 03), и в C++ 98, о некоторых деталях, которые вы не смогли предоставить. А именно, что такое SomeFuncPtr? Является ли это обычным указателем функции или указателем на функцию-член?

Если это указатель на функцию-член, то в версии языка C++ 98 внутренний класс не является POD. Поскольку это не-POD-класс, остальные члены массива будут инициализироваться по умолчанию, вызвав их конструкторы по умолчанию. Предоставляемый компилятором конструктор по умолчанию для внутреннего класса ничего не делает, поэтому остальные члены массива будут содержать мусор.

В версии языка C++ 03 оставшиеся элементы массива инициализируются инициализацией по значению, что в действительности инициализирует остальную часть массива независимо от того, что такое SomeFuncPtr.

Итак, если вы используете компилятор, совместимый с C++ 03, вы в порядке. Если вам интересно переносить исходные тексты на компиляторы C++ 98, вы можете включить этот явный завершающий инициализатор (в зависимости от того, что такое SomeFuncPtr).