destruktor wywołany przed tymczasowym powinien być poza zakresem

Question

Mam trochę kodu, który nie działa pod VS2015, ale działa pod GCC. Jestem prawie pewien, że błąd dotyczy Visual Studio, ale chcę mieć pewność, że moje rozumienie decltype (auto) jest poprawne.

#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; 
} 

W Visual Studio ciąg zwracany przez zero_parametrów jest wydedukowany jako referencja rwartości. Ponadto destruktor tego obiektu jest wywoływany wewnątrz test1(), gdzie następuje powrót z wywołania f (co wydaje się rozsądnym miejscem do zniszczenia obiektu & &).

Pod GCC zwracany ciąg nie jest wydedukowany jako referencja rwartości. Destruktor jest wywoływany po użyciu w instrukcji cout, jak się spodziewałam.

Określenie typu zwracanego jako 'string' zamiast decltype (auto) w Visual Studio naprawia go, podobnie jak przy użyciu remove_reference_t przy powrocie f() wewnątrz test1.

Moje oczekiwanie byłoby, że GCC jest poprawny jako podpis funkcja zero_params() jest łańcuch, a nie ciąg & & więc spodziewałbym się bez odniesienia do „bańki się” do typu zwracanej test1 jeśli używa decltype (automatyczny).

Czy to jest poprawna ocena?

---

LATE EDIT:

Innym sposobem znalazłem się obejść ten problem z VS2015 jest zawinąć funkcję nadane test1 w lambda:

cout << test1(zero_params) << endl; 

do:

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

Answer 1

Tak więc based on the comments możemy wywnioskować:

• Jest to błąd w podglądzie VS2015
• Istnieje obejścia
• bug has been reported

błąd jest, że:

• Kompilator powinien wywnioskować typ zwracany będzie ciąg
• Rzeczywiście wydedukował go jako ciąg & &
• W ten sposób zniszczona wartość przedwcześnie

Do obejścia to:

• Nie używaj decltype (automatyczny) dla funkcji za typ zwracany
• Wrap funkcja w wyrażeniu lambda przed przekazaniem to w