Błąd wywołanie zdefiniowanej przez użytkownika operatora + na tymczasowego obiektu, gdy istnieją dodatkowe wsporniki

Question

Jeśli mam zdefiniowana przez użytkownika operator+() jak w:

class A 
    { 
    public: 
     A operator+(A) 
     { 
      return A(); 
     } 
    }; 

wówczas następujących robót zgodnie z oczekiwaniami:

A a = A() + A(); 

ale g ++ - 4.7 wyświetla komunikat o błędzie:

A a = (A()) + A(); 

W szczególności komunikat o błędzie error: no match for ‘operator+’ in ‘+A()’.
Wygląda na to, że wyrażenie (A()) jest ignorowane.

Moje pytanie brzmi: czy A a = (A()) + A(); ma się skompilować, a jeśli nie, dlaczego nie?

Uwaga: przydarzyło mi się, gdy robiłem #define X (Identity()), a następnie próbowałem wykonać X + X.

Answer 1

To jest składnia obsada.

Powodem tego jest to, że rzucanie i jednoargumentowe dodawanie, odejmowanie i mnożenie (operator dereferencyjny) mają wyższy priorytet niż ich binarne odpowiedniki. Ponieważ białe przestrzenie tutaj nie ma znaczenia to można także odczytać jako:

A a = (A()) +A(); 

Obsada i unary+ mają wyższy priorytet niż binarny operator+ więc wyrażenie zajmuje dawny sens.

Może zastanawiasz się (tak jak ja), jak możesz rzucać, gdy rzecz wewnątrz nie jest typem. Wpisz THE MOST VEXING PARSE!, co oznacza, że ​​próbuję rzucić obiekt typu +A() do funkcji pobierającej 0 argumentów i zwracającej obiekt typu A.

Dla przypomnienia, składnia:

A a = ((A())) + A(); 

daje to, co chcesz, ponieważ podwójne wsporniki nie mogą być odlewane i wracamy do analizowania binarne operator+ wyraz.

To wyjaśnia również, dlaczego problem nie występuje z operatorem podziału zamiast dodawania, nie ma jednorzędnego odpowiednika.