Lý do thực thi một số toán tử là thành viên

Question

Có 4 toán tử trong C++ có thể bị quá tải nhưng không thể bị quá tải như các hàm freestanding (aka nonmember, standalone). Những nhà khai thác là:

• operator =
• operator()
• operator ->
• operator []

This thread giải thích rất rõ lý do đằng sau việc cấm operator = là một hàm thành viên. Có ý kiến ​​nào về ba người kia không?

Answer 1

Bốn nhà khai thác đề cập trong bài đăng ban đầu, =, (), -> và [], thực sự phải được thực hiện như chức năng thành viên không tĩnh (bằng cách lần lượt là C++ 98 §13.5.3/1, §13.5.4/1, §13.5.5/1 và §13.5.6/1).

Lý do của Bjarne Stroustrup, như tôi nhớ lại từ các cuộc tranh luận trước đó về chủ đề, để giữ lại một số sự tỉnh táo trong ngôn ngữ, tức là có ít nhất một số thứ bạn có thể tin cậy. các toán tử thành viên cho các lớp hiện có.

Tôi không chắc chắn rằng tôi hoàn toàn đồng ý rằng hạn chế thực sự hữu ích với điều đó, nhưng.

EDIT: Tôi đã tham khảo ý kiến ​​Bjarne Stroustrup về điều này (anh ấy luôn hữu ích) nhưng dường như sự mâu thuẫn rõ ràng của quy tắc không nhiều hơn trường hợp tai nạn lịch sử đông lạnh. Ông lưu ý rằng "Bây giờ nó trông tệ hơn bây giờ bởi vì quy tắc của chúng tôi về giá trị và tham chiếu đã thay đổi kể từ khi các quy tắc quá tải được xây dựng. Tôi đã cố gắng xem xét vấn đề này một lần nữa vài năm trước, nhưng đã hết thời gian trước khi sản xuất đề xuất hoàn chỉnh. "

Cheers & hth,

PS:. "Các thiết kế và Sự phát triển của C++" Cuốn sách là rất tốt cho các loại hình câu hỏi, nhưng tiếc là tôi không có nó.

Answer 2

Điều này thread trên comp.std.C++ thảo luận câu hỏi.

Francis Glassborow, người trong ủy ban, nói:

Các nhà thiết kế ngôn ngữ không muốn hỗ trợ chuyển đổi và chương trình khuyến mãi trên các toán hạng trái của toán tử =, cũng không phải như vậy trên toán hạng của() và [].

Đang cố gắng để tránh những tình huống mà:

class A {}; 

class B { B(A& a) {} }; 

int operator()(B const& b) { return 0; } 


int main(void) 
{ 
    A a; 

    // This works even though A doesn't have a() operator 
    // It creates a temporary B and calls operator()(B& b) 
    return a();     
}