Постоянный элемент справочных данных

Question

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

struct A {
    A() : i{5} {}
    const int& foo() const { return i; }
    const int& i;
};

Есть ли у вас какие-либо идеи, почему вывод для целочисленного литерала 5 отличается?

A a{};
std::cout << a.i << std::endl;
std::cout << a.foo() << std::endl;

5
-858993460

Answer 1

Использование значения constant не literal.

Это Class::Class() : member{arg1, arg2, ...} {... прямая инициализация списка после c++11.

Попробуйте это:

 struct A {
    const int t = 5;
    A() : i{ t } { }
    const int& foo() const { return i; }
    const int& i;
};

int main()
{
    A a{};
    std::cout << a.i << std::endl;
    std::cout << a.foo() << std::endl;

    return 0;
}

Answer 2

Код плохо сформирован.Вы инициализируете i из буквального 5, что требует создания временного объекта и привязки к i.Временный будет уничтожен при выходе из конструктора, затем i будет зависать, любое последующее обращение к нему приведет к UB, что означает, что все возможно.

Из стандарта [class.base.init] / 8

Временное выражение, привязанное к элементу ссылки в mem-инициализаторе, плохоформируется.[Пример:

struct A {
  A() : v(42) { }   // error
  const int& v;
};

- конец примера]

КСТАТИ: Так как в стандарте указано, что плохо сформирован , компиляторы должны выдавать диагностическую информациюдля этого.Как поведение gcc (выдает предупреждение), так и clang (выдает ошибку) соответствуют друг другу;если VS2017 не выдает никакой диагностики, то он не соответствует стандарту.