Quá tải toán tử C++: không biết chuyển đổi từ đối tượng sang tham chiếu?

Question

Khi tôi cố gắng biên dịch như sau (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; 
} 

tôi nhận được lỗi

/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&’ 

này câu đố tôi - làm thế nào có thể chuyển đổi từ một lớp học để một tham chiếu đến lớp không được biết?

Thay đổi việc kê khai của lớp A như sau không có bất kỳ tác dụng:

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

Cùng một lỗi.

Tôi sẽ vô cùng biết ơn vì những gợi ý về những gì đang xảy ra ở đây.

Answer 1

Giống như Lucian đã nói, bạn không thể liên kết đối tượng tạm thời với tham chiếu không phải const. Sự mong đợi của trình biên dịch là đối tượng sẽ ngừng tồn tại sau biểu thức để nó không có ý nghĩa để sửa đổi nó.

Để khắc phục mã của bạn, loại bỏ tạm thời (làm đối số const& làm cho không có ý nghĩa trong operator *=):

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

Answer 2

Khi bạn viết A(a), bạn tạo một tạm thời loại A (một rvalue) mà bạn sao chép -construct với a. C++ nói rằng không có giá trị rvalue nào có thể được chuyển thành tham chiếu không const. Visual Studio là một chút cẩu thả về quy tắc này, nhưng gcc và tương tự thi hành nó.

Để khắc phục, hãy thử điều này (giống hệt nhau, nhưng bạn tạo một giá trị bằng cách đặt tên biến đó). Thông tin thêm về giá trị l và r here

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