Блог

Это общий вопрос, который задает, как прочитать и понять стандартный документ C . То, что я хочу знать, это не синтаксис инициализатора конструктора. На самом деле я это знаю.

Я читаю N3092. В разделе 12.6.2 синтаксис инициализатора конструктора объясняется следующим образом.

ctor-инициализатор:
: mem-initializer-list

mem-initializer-list:
mem-initializer … _opt
mem-инициализатор, mem-инициализатор-список … _opt

mem-инициализатор:
mem-инициализатор-идентификатор (выражение-список выбора )
mem-инициализатор-идентификатор, связанный с init-списком

mem-initializer-id:
идентификатор класса или типа decltype

Теперь, размышляя о

mem-инициализатор … _opt

как вы можете узнать диапазон, в котором нижний индекс «_opt» имеет эффект? Только три точки «…» или «mem-инициализатор …» в целом?

Поскольку приведенный ниже код не может быть скомпилирован, вы можете «подтвердить», что нижний индекс действует на три точки «…».

 class Example {
    public:
        Example() : { } //=> Error: colon should be omitted.
};
  

Таким образом, вы можете переписать как это, где скобка () является группировкой.

mem-инициализатор ((…) _opt)

Затем подумайте об альтернативном выражении.

mem-инициализатор, mem-инициализатор-список … _opt

Простая проверка показывает вам, что вы должны прочитать это как это.

mem-инициализатор ((, mem-инициализатор-список … )_opt)

Например, этот код не может быть скомпилирован.

 class Example {
    private:
        int x;
    public:
        Example() : x(3), { } //=> Error: comma should be omitted.
};
  

Тогда как определяется диапазон? (НЕОБЯЗАТЕЛЬНО: Также я думаю, что значение трех точек неоднозначно. На какой странице документа определено значение с тремя точками?)

Хотя в разделе 1.6-1 говорится

Дополнительный терминальный или нетерминальный символ обозначается нижним индексом «_opt«

, но я не думаю, что это решает мой вопрос (или, возможно, я не понимаю терминальный / нетерминальный символ).