Tôi hiểu hầu hết các nhà khai thác quá tải, với ngoại lệ của các nhà khai thác truy cập thành viên ->, .*, ->*, vv

Cụ thể, những gì được truyền cho các hàm toán tử này và những gì cần được trả về?

Làm thế nào để hàm toán tử (ví dụ operator->(...)) biết thành viên nào đang được giới thiệu? Nó có thể biết không? Nó thậm chí cần phải biết?

Cuối cùng, có bất kỳ cân nhắc const cần phải được tính đến? Ví dụ, khi quá tải một cái gì đó như operator[], nói chung, bạn sẽ cần cả phiên bản const và không const. Các nhà khai thác truy cập thành viên yêu cầu các phiên bản const và không const?

->

Đây là một trong những thực sự khó khăn duy nhất. Nó phải là một hàm thành viên nonstatic và không cần đối số. Giá trị trả về được sử dụng để thực hiện tra cứu thành viên.

Nếu giá trị trả về là một đối tượng khác của loại lớp, không phải là một con trỏ, thì việc tra cứu thành viên tiếp theo cũng được xử lý bởi một operator->hàm. Điều này được gọi là "hành vi đi sâu." Các ngôn ngữ kết hợp các operator->cuộc gọi cho đến khi cuộc gọi cuối cùng trả về một con trỏ.

struct client
    { int a; };

struct proxy {
    client *target;
    client *operator->() const
        { return target; }
};

struct proxy2 {
    proxy *target;
    proxy &operator->() const
        { return * target; }
};

void f() {
    client x = { 3 };
    proxy y = { & x };
    proxy2 z = { & y };

    std::cout << x.a << y->a << z->a; // print "333"
}

->*

Điều này chỉ khó khăn ở chỗ không có gì đặc biệt về nó. Các phi quá tải phiên bản đòi hỏi một đối tượng của con trỏ đến kiểu lớp ở phía bên tay trái và một đối tượng của con trỏ đến loại thành viên ở bên phải. Nhưng khi bạn quá tải nó, bạn có thể lấy bất kỳ đối số nào bạn thích và trả lại bất cứ điều gì bạn muốn. Nó thậm chí không phải là một thành viên nonstatic.

Nói cách khác, một trong những điều này chỉ là một nhà điều hành nhị phân bình thường như +, -, và /. Xem thêm: Có phải nhà điều hành miễn phí -> * quá tải ác?

.* và .

Chúng không thể bị quá tải. Đã có một ý nghĩa tích hợp khi phía bên trái là loại lớp. Có lẽ sẽ có một chút ý nghĩa khi có thể định nghĩa chúng cho một con trỏ ở phía bên trái, nhưng ủy ban thiết kế ngôn ngữ đã quyết định rằng điều đó sẽ gây nhầm lẫn hơn là hữu ích.

Quá tải ->, ->*, ., và .*chỉ có thể điền vào trường hợp một biểu thức sẽ được undefined, nó có thể không bao giờ thay đổi ý nghĩa của một biểu thức đó sẽ là hợp lệ khi không quá tải.

Toán tử -> là đặc biệt.

"Nó có các ràng buộc bổ sung, không điển hình: Nó phải trả về một đối tượng (hoặc tham chiếu đến một đối tượng) cũng có toán tử quy định con trỏ hoặc nó phải trả về một con trỏ có thể được sử dụng để chọn mũi tên của toán tử điều khiển con trỏ trỏ tới. " Bruce Eckel: Suy nghĩ CPP Vol-one: nhà điều hành->

Các chức năng bổ sung được cung cấp để thuận tiện, vì vậy bạn không phải gọi

a->->func();

Bạn chỉ có thể làm:

a->func();

Điều đó làm cho toán tử -> khác với các toán tử khác quá tải.

Bạn không thể quá tải quyền truy cập của thành viên .(tức là phần thứ hai của những gì ->). Tuy nhiên bạn có thể quá tải unary dereferencing điều hành *(tức là phần đầu tiên của những gì ->không).

->Toán tử C ++ về cơ bản là sự kết hợp của hai bước và điều này là rõ ràng nếu bạn nghĩ rằng điều đó x->ytương đương với (*x).y. C ++ cho phép bạn tùy chỉnh những việc cần làm với (*x)phần khi đó xlà một thể hiện của lớp bạn.

Ngữ nghĩa cho ->quá tải là hơi lạ vì C ++ cho phép bạn trả về một con trỏ thông thường (nó sẽ được sử dụng để tìm đối tượng nhọn) hoặc trả về một thể hiện của một lớp khác nếu lớp này cũng cung cấp một ->toán tử. Khi trong trường hợp thứ hai này, việc tìm kiếm đối tượng bị hủy bỏ tiếp tục từ trường hợp mới này.

Các ->nhà điều hành không biết những gì thành viên đã được chỉ ra, nó chỉ cung cấp một đối tượng để thực hiện các truy cập thành viên thực tế trên.

Ngoài ra, tôi thấy không có lý do tại sao bạn không thể cung cấp các phiên bản const và không const.

Khi bạn quá tải toán tử -> () (không có đối số nào được truyền vào đây), cái mà trình biên dịch thực sự đang gọi -> đệ quy cho đến khi nó trả về một con trỏ thực cho một kiểu. Sau đó, nó sử dụng đúng thành viên / phương pháp.

Điều này rất hữu ích, ví dụ, để tạo một lớp con trỏ thông minh, đóng gói con trỏ thực. Toán tử bị quá tải-> được gọi, thực hiện bất cứ điều gì nó làm (ví dụ: khóa để đảm bảo an toàn luồng), trả về con trỏ bên trong và sau đó trình biên dịch gọi -> cho con trỏ bên trong này.

Đối với constness - nó đã được trả lời trong các bình luận và các câu trả lời khác (bạn có thể, và nên, cung cấp cả hai).