C++ расширение жизни &&

Question

В следующем примере:

http://coliru.stacked-crooked.com/a/7a1df22bb73f6030

struct D{ 
    int i;  
    auto test2(int&& j){ 
     return [&](){  // captured by reference! 
      cout << i*(j); 
     }; 
    }  
}; 

int main() 
{ 
    D d{10}; 
    { 
     auto fn = d.test2(10); 
     fn();      // 1. wrong result here 

     d.test2(10)();   // 2. but ok here 
    } 
} 

Почему d.test2(10)(); работает?

Должно ли это действительно работать, или это только мое неопределенное поведение равно правильному результату?

P.S. После прочтения this Я вижу только одно объяснение: в (2) временное время жизни продлевается до конца выражения, а вызов происходит в том же выражении с & & crteation; в то время как (1) на самом деле состоит из 2-х выражений:

временной границы с опорным параметром при вызове функции существует до конца полного выражения, содержащего этот вызов функции: если функция возвращает ссылку, которая переживает полное выражение, становится болтливой ссылкой.

В этом случае?

Answer 1

Временный объект длится до конца строки (ну, полное выражение), где он создан, если не продлевается срок его службы.

Ваш код не продлевает срок службы любых временных рядов. Продление срока службы через привязку к ссылкам не «коммутирует», только первое связывание продлевает срок службы.

Таким образом, самый старый случай - это UB, поскольку у вас есть оборванная ссылка. Указанное временное уходит конец конца строки: на следующей строке вы следуете ссылке, а хаос hapens.

Во втором случае ваша ссылка не продлевает срок службы временного, но временное длится дольше, чем ссылка, которая связывается с ней! Они оба умирают в конце линии, в обратном порядке строительства.

Таким образом, звонок работает.

Answer 2

Должно ли это действительно работать, или это только мое неопределенное поведение равно правильному результату?

Похоже на это. В данном примере вы связаны, у вас есть эти предупреждения:

warning: '<anonymous>' is used uninitialized in this function [-Wuninitialized] 

Неинициализированные объекты имеют indetermine значения, и пытаются получить доступ к этим значению результатов в непредсказуемом поведении.