Деструктор, вызванный до временного, должен быть вне области действия

Question

У меня есть код, который не работает под VS2015, но работает под GCC. Я уверен, что ошибка связана с Visual Studio, но я хочу быть уверенным, что мое понимание decltype (auto) верное.

#include <iostream> 
using namespace std; 

string zero_params() 
{ 
    return "zero_params called."; 
} 

template< typename F > 
auto test1(F f) -> decltype(auto) 
{ 
    return f(); 
} 

int main() { 
    cout << std::is_rvalue_reference< decltype(test1(zero_params)) >::value << endl; 
    cout << test1(zero_params) << endl; 

    cout << "Done!" << endl; 
    return 0; 
} 

В Visual Studio строка, возвращаемая zero_params, является ссылкой на rvalue. Кроме того, деструктор этого объекта вызывается внутри test1(), где происходит возврат от вызова к f (что представляется разумным местом для уничтожения объекта).

Под GCC возвращаемая строка не выводится как ссылка rvalue. Деструктор вызывается после использования в инструкции cout, как я ожидал.

Задание типа возврата в качестве «строки» вместо decltype (auto) в Visual Studio исправляет его, также как и использование remove_reference_t при возврате f() внутри test1.

Мое ожидание будет то, что GCC является правильным, как функция подписи для zero_params() является строка, а не строка & &, так что я бы ожидать не-ссылку на «пузыриться» к типу возвращаемого test1, если он использует decltype (авто).

Правильная оценка?

---

КОНЦЕ EDIT:

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

cout << test1(zero_params) << endl; 

к:

cout << test1([](auto&&... ps) { return zero_params(std::forward<decltype(ps)>(ps)...); }) << endl; 

Answer 1

Таким образом, based on the comments можно сделать:

• Это ошибка в VS2015 просмотра
• Есть обходные
• bug has been reported

Исправлена ​​ошибка в том, что:

• Компилятор должен вывести тип возвращаемого быть строка
• На самом деле это вывел строку & &
• Таким образом, он уничтожил значение преждевременно

В обходных путях:

• Не используйте decltype (авто) для функции возвращаемого типа
• Wrap функции в лямбда-выражении перед передачей это в