Подтвердить что ты не робот

Унифицированная инициализация ссылок

В настоящее время я пытаюсь понять новую унифицированную инициализацию С++ 0x. К сожалению, я набрался, используя единую инициализацию ссылок. Пример:

int main() {
   int a;
   int &ref{a};
}

Этот пример отлично работает:

% LANG=C g++ uniform_init_of_ref.cpp -std=c++0x -o uni -Wall -Wextra
uniform_init_of_ref.cpp: In function `int main()':
uniform_init_of_ref.cpp:3:10: warning: unused variable `ref' [-Wunused-variable]

( Обновить. Комо выбрал ошибку для этого примера, поэтому, возможно, gcc также не должен ее компилировать)

Теперь, если я использую пользовательский тип данных вместо целого числа, он больше не работает:

class Y
{};

int main()
{
    Y y;
    Y &ref{y};
}

% LANG=C g++ initialization.cpp -std=c++0x -o initialization -Wall -Wextra
initialization.cpp: In function `int main()':
initialization.cpp:9:13: error: invalid initialization of non-const reference of type `Y&' from an rvalue of type `<brace-enclosed initializer list>'
initialization.cpp:9:8: warning: unused variable `ref' [-Wunused-variable]

К сожалению, я не нашел соответствующий раздел в стандартном проекте. Я предполагаю, что я неправильно понимаю использование равномерной инициализации, поскольку Комо жалуется на это сообщение:

ComeauTest.c(9): error: reference variable "ref" requires an initializer
      Y &ref{y};

Итак, может кто-то из вас указать мне в правильном направлении?


Если вы хотите знать, почему этот вопрос имеет значение и почему я не просто использую Y &ref(y): я хотел бы иметь возможность использовать единую инициализацию в списке инициализации конструктора:

class X { };

class Y {
    const X& x;

    public:
        Y (const X& xx):
            x{xx}
        {}
};

int main () {
    X x;
    Y y{x};
}

Это происходит с тем же сообщением об ошибке, что и выше.

Примечание:

  • Я использую LANG=C для включения английских сообщений об ошибках.
  • версия gcc: 4.6.1
4b9b3361

Ответ 1

В соответствии с N2672 в пункте 8.5.4.4 следует сказать:

В противном случае, если T является ссылочным типом, временное значение rvalue типа, на которое ссылается T, инициализируется по списку, а ссылка привязана к этому временному. [Примечание. Как обычно, привязка завершится неудачно, и программа будет плохо сформирована, если ссылочный тип является ссылкой lvalue на неконстантный тип. ]

который (если я его правильно понимаю) означает, что равномерная инициализация ссылок связывает их с новыми анонимными экземплярами, поэтому мне кажется, что это бесполезно. Это все еще не объясняет, почему одно работает, а другое - нет; они должны вести себя одинаково (если Y не имеет явных конструкторов).