2013-10-13 8 views
11

Chiunque sa perché il seguente codice non viene compilato:espressione ternario attribuito dal rvalue non usa mossa operatore asssignment

[hidden]$ g++ -v |& tail -n 1 
gcc version 4.8.1 20130603 (Red Hat 4.8.1-1) (GCC) 
[hidden]$ cat c.cpp 
struct X { 
    X() = default; 
    X(const X&) = default; 
    X(X&&) = default; 
    X& operator=(const X&) = delete; 
    X& operator=(X&&) = default; 
}; 

void f(bool t) { 
    X a, b; 
    (t ? a : b) = X(); 
} 

[hidden]$ g++ -std=c++11 -c c.cpp 
c.cpp: In function ‘void f(bool)’: 
c.cpp:11:15: error: use of deleted function ‘X& X::operator=(const X&)’ 
    (t ? a : b) = X(); 
      ^
c.cpp:5:6: error: declared here 
    X& operator=(const X&) = delete; 
    ^
c.cpp:11:15: error: use of deleted function ‘X& X::operator=(const X&)’ 
    (t ? a : b) = X(); 
      ^
c.cpp:5:6: error: declared here 
    X& operator=(const X&) = delete; 
    ^

Non è che X() rvalue così l'operatore di assegnazione mossa dovrebbe essere chiamato in questo caso ? Quale sezione dello standard C++ 11 parla dell'espressione ternaria del caso assegnata da rvalue?

Nota: l'espressione ternaria è lvalue in questo caso perché se cambio il = delete in = default, esso viene compilato.

+7

Questo potrebbe effettivamente essere un bug gcc che si compila bene su clang – aaronman

+0

Does '* (t? & A: & b) = X();' lavoro? –

+0

@ JonathanPotter, sì, questo funziona. –

risposta