chiamato prima del temporaneo deve essere fuori dall'ambito

Question

Ho un po 'di codice che non funziona con VS2015, ma funziona con GCC. Sono abbastanza sicuro che il bug sia con Visual Studio ma voglio essere sicuro che la mia comprensione di decltype (auto) sia corretta.

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

In Visual Studio la stringa restituita da zero_params viene dedotta come riferimento di rvalue. Inoltre il distruttore di quell'oggetto è chiamato all'interno di test1() dove avviene il ritorno dalla chiamata a f (che sembra un luogo ragionevole per distruggere un oggetto & &).

In GCC la stringa restituita non viene dedotta come riferimento di rvalore. Il distruttore è chiamato dopo l'uso nella dichiarazione cout come mi aspetterei.

Specificare il tipo di restituzione come "stringa" anziché decltype (auto) in Visual Studio lo corregge, così come con remove_reference_t sul ritorno di f() all'interno di test1.

La mia aspettativa sarebbe che GCC è corretto come la firma della funzione per zero_params() è stringa, non stringa & & quindi mi aspetto che il non-riferimento a 'bolla' per il tipo di ritorno di test1 se utilizza decltype (auto).

Questa è una valutazione corretta?

---

EDIT IN RITARDO:

Un altro modo che ho trovato per aggirare il problema con VS2015 è quello di avvolgere la funzione data a TEST1 in un lambda:

cout << test1(zero_params) << endl; 

a:

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

Answer 1

Quindi based on the comments possiamo concludere:

• Questo è un bug in VS2015 anteprima
• Ci sono soluzioni alternative
• Il bug has been reported

Il bug è che:

• Il compilatore avrebbe dovuto dedurre il tipo di ritorno per essere stringa
• Lo ha effettivamente dedotto come stringa & &
• Così distrutto il valore prematuramente

Le soluzioni alternative sono:

• Non utilizzare decltype (auto) per della funzione tipo di ritorno
• Avvolgere la funzione in un'espressione lambda prima di passare in