Tầm quan trọng của toán tử quá tải -() là hàm miễn phí và không phải là hàm thành viên?

Question

Tôi đã đọc the C++ FAQ. Ở đó tôi đã tìm thấy một điểm trong hướng dẫn sử dụng toán tử quá tải:

Nếu bạn cung cấp toán tử xây dựng, chúng sẽ cho phép quảng bá toán hạng bên trái (ít nhất là trong trường hợp lớp đó có một tham số đơn không được đánh dấu bằng từ khóa rõ ràng). Ví dụ, nếu phân lớp của bạn hỗ trợ khuyến mãi từ int đến Fraction (thông qua ctor không rõ ràng Fraction :: Fraction (int)), và nếu bạn cho phép x - y cho hai đối tượng Fraction, bạn cũng nên cho phép 42 - y. Trong thực tế, điều đó đơn giản có nghĩa là toán tử() của bạn không phải là một hàm thành viên của Phân số. Thông thường bạn sẽ làm cho nó trở thành một người bạn, nếu không có lý do nào khác hơn là ép nó vào công chúng: một phần của lớp, nhưng ngay cả khi nó không phải là một người bạn, nó không phải là một thành viên.

Tại sao tác giả viết rằng toán tử-() không nên là thành viên?

Hậu quả xấu nếu tôi đặt toán tử-() làm hàm thành viên và hậu quả khác là gì?

Answer 1

Đây là Fraction với các nhà điều hành như một hàm thành viên:

class Fraction 
{ 
    Fraction(int){...} 

    Fraction operator -(Fraction const& right) const { ... } 
}; 

Với nó, đây là mã hợp lệ:

Fraction x; 
Fraction y = x - 42; 

và tương đương để x.operator-(Fraction(42)); nhưng đây không phải là:

Fraction z = 42 - x; 

Vì 42 không có hàm thành viên operator - trong đó (tất nhiên, nó thậm chí không một lớp).

Tuy nhiên, nếu bạn tuyên bố toán tử của mình là một hàm miễn phí thay vào đó, các hoạt động chuyển đổi sẽ áp dụng cho cả hai đối số của nó. Vì vậy, đây

Fraction z = 42 - x; 

biến thành này

Fraction z = Fraction(42) - x; 

tương đương với operator-(Fraction(42), x).