C++ mô hình khách truy cập: Tại sao mọi truy xuất có nguồn gốc đều được truy cập Accept()?

Question

Tôi đã nhìn thấy một vài ví dụ minh họa mẫu khách truy cập. Trong tất cả chúng, mỗi phần tử truy cập có nguồn gốc thực hiện những gì thường được gọi là phương thức Accept().

Trong một hệ thống các màu sắc, phương pháp này có thể trông giống như:

void Red::accept(Visitor *v) 
{ 
    v->visit(*this); 
} 

void Blue::accept(Visitor *v) 
{ 
    v->visit(*this); 
} 

Khi khách, cũng như những người thừa kế của nó, có những phương pháp:

visit(Red red); 
visit(Blue blue) 

Câu hỏi của tôi là tại sao không thực hiện điều này trong cùng một cách chỉ trong lớp cơ sở (trong ví dụ này: Color) và đa hình sẽ thực hiện công việc, cụ thể là, lượt truy cập chính xác sẽ được gọi kể từ khi đối tượng là Red loại động này là Red để dereferencing nó sẽ mang lại một số Red do đó sẽ làm cho chuyến thăm (đỏ) được gọi?

Tôi đang thiếu gì?

Answer 1

Đa hình thừa kế (công văn động) không áp dụng cho đối số hàm. Nói cách khác, chức năng quá tải được chọn trên kiểu tĩnh của các đối số được truyền. Nếu được triển khai trong lớp cơ sở Color, thì v->visit(*this) sẽ luôn gọi visit(Color c).

Answer 2

Nếu chỉ accept bạn có là ...

void Color::accept(Visitor* v) 
{ 
    v->visit(*this); 
} 

visit sẽ chỉ được gọi với một lớp cơ sở. Để gọi visit với lớp dẫn xuất chính xác bạn cần mỗi Color để triển khai nó để chúng có thể vượt qua một cách chính xác được nhập this, do đó, quá tải chính xác visit được gọi.

Answer 3

Sự hiểu biết của tôi là trong các phương thức lớp cơ sở con trỏ this là loại cơ sở, không phải của bất kỳ lớp dẫn xuất nào, do đó nó chỉ có thể truy cập các phương thức lớp cơ sở và được chuyển thành loại Color* this. Khi được chuyển sang phương thức truy cập, nó sẽ thử và chạy visit(Color* color), vì hành vi đa hình chỉ áp dụng cho các phương thức của chính lớp đó (không phải các lớp khác).