Avviso spuria sull'associazione temporanea al membro di riferimento nel costruttore

Question

Capisco che se un temporaneo è associato a un membro di riferimento nell'elenco di inizializzazione del costruttore, l'oggetto verrà distrutto al ritorno del costruttore.

Tuttavia, si consideri il seguente codice:

#include <functional> 
#include <iostream> 

using callback_func = std::function<int(void)>; 

int 
func(const callback_func& callback) 
{ 
    struct wrapper 
    { 
    const callback_func& w_cb; 
    wrapper(const callback_func& cb) : w_cb {cb} { } 
    int call() { return this->w_cb() + this->w_cb(); } 
    }; 
    wrapper wrp {callback}; 
    return wrp.call(); 
} 

int 
main() 
{ 
    std::cout << func([](){ return 21; }) << std::endl; 
    return 0; 
} 

questo sembra perfettamente valido per me. L'oggetto callback vivrà durante l'intera esecuzione della funzione func e non dovrebbe essere eseguita alcuna copia temporanea per il costruttore wrapper.

Infatti, GCC 4.9.0 compila bene con tutti gli avvisi abilitati.

Tuttavia, GCC 4.8.2 compilatore mi dà il seguente avviso:

$ g++ -std=c++11 -W main.cpp 
main.cpp: In constructor ‘func(const callback_func&)::wrapper::wrapper(const callback_func&)’: 
main.cpp:12:48: warning: a temporary bound to ‘func(const callback_func&)::wrapper::w_cb’ only persists until the constructor exits [-Wextra] 
    wrapper(const callback_func& cb) : w_cb {cb} { } 
              ^

Si tratta di un falso positivo o sto equivoco le vite degli oggetti?

Qui sono le mie versioni esatte del compilatore testati:

$ g++ --version 
g++ (GCC) 4.8.2 
Copyright (C) 2013 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 

$ g++ --version 
g++ (GCC) 4.9.0 20140604 (prerelease) 
Copyright (C) 2014 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 

Answer 1

Si tratta di un bug di gcc 4.8 che è stato fissato a 4,9. Ecco la segnalazione di bug:

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50025

Answer 2

Come sottolineato da Howard Hinnant e già indicato dal commento di R Sahu, si tratta di un bug (che ha usato per essere richiesto dalla norma poi spezzato; grazie a Tony D per indicarlo) nel modo in cui GCC 4.8 tratta gli elenchi di inizializzatori.

Cambiare il costruttore nel mio esempio originale dal

wrapper(const callback_func& cb) : w_cb {cb} { } 

a

wrapper(const callback_func& cb) : w_cb (cb) { } 

rende l'avvertimento con GCC 4.8.3 andare via e il creato eseguibile Valgrind pulita. Il diff dei due file assembly è enorme, quindi non lo metto qui. GCC 4.9.0 crea codice di assemblaggio identico per entrambe le versioni.

Successivamente, ho sostituito lo std::function con una struct definita dall'utente e una copia eliminata e spostato i costruttori e gli operatori di assegnazione. In effetti, con GCC 4.8.3, questo mantiene l'avviso ma ora dà anche un errore (leggermente più utile) che la riga di codice sopra chiama il costruttore di copie cancellato della struct. Come previsto, non vi è alcuna differenza con GCC 4.9.0.