Sovraccarico dell'operatore C++: nessuna conversione nota da oggetto a riferimento?

Question

Quando provo a compilare il seguente (g ++ 4.6.3)

class A {}; 

A& operator*=(A& a, const A& b) 
{ 
    return a; 
} 

A operator*(const A& a, const A& b) 
{ 
    return A(a) *= b; 
} 

int main(int, char*[]) 
{ 
    A a, b; 

    a = a*b; 

    return 0; 
} 

ottengo l'errore

/tmp/test.cxx: In function ‘A operator*(const A&, const A&)’: 
/tmp/test.cxx:14:20: error: no match for ‘operator*=’ in ‘(* & a) *= b’ 
/tmp/test.cxx:14:20: note: candidate is: 
/tmp/test.cxx:6:1: note: A& operator*=(A&, const A&) 
/tmp/test.cxx:6:1: note: no known conversion for argument 1 from ‘A’ to ‘A&’ 

Questo mi lascia perplesso - come può una conversione da una classe a un riferimento a quella classe non essere conosciuto?

Modifica della dichiarazione di classe A come segue non ha alcun effetto:

class A 
{ 
public: 
    A() {} 
    A(const A&) {} 
}; 

stesso errore.

Sarei estremamente grato per suggerimenti su cosa sta succedendo qui.

Answer 1

Come ha detto Lucian, non è possibile associare un oggetto temporaneo a un riferimento non const. L'aspettativa del compilatore è che l'oggetto cesserà di esistere dopo l'espressione, quindi non ha senso modificarlo.

per risolvere il tuo codice, rimuovere il temporaneo (rendendo l'argomento const& non ha senso in operator *=):

A operator*(A a, const A& b) 
{ 
    return a *= b; 
} 

Answer 2

Quando si scrive A(a), si crea un temporanea di tipo A (a rvalue) che si copia -costruzione con a. C++ afferma che nessun valore può essere passato come riferimento non const. Visual Studio è un po 'trascurato su questa regola, ma gcc e simili lo rafforzano.

Per risolvere, provare questo (che è esattamente lo stesso, ma si crea un lvalue denominando tale variabile). Altro su L e R-valore here

A operator*(A a, const A& b) 
{ 
    return a *= b; 
}