Tại sao GoF khuyến cáo sử dụng các phương thức ảo được bảo vệ (như trái ngược với tư nhân) trong việc thực hiện Mẫu Phương thức Mẫu C++?

Question

Từ Bè lũ bốn tên trên mẫu Template Method:

Ba vấn đề thực hiện là đáng chú ý:

1. Sử dụng kiểm soát truy cập C++. Trong C++, các hoạt động nguyên thủy mà một cuộc gọi phương thức mẫu có thể được khai báo thành viên được bảo vệ. Điều này đảm bảo rằng chúng chỉ được gọi theo phương thức mẫu. Các hoạt động nguyên thủy phải được ghi đè được khai báo là thuần ảo. Phương thức mẫu không được ghi đè; do đó bạn có thể làm cho phương thức mẫu là một hàm thành viên không ảo.

"Điều này đảm bảo rằng chúng chỉ được gọi theo phương pháp mẫu". không đúng, phải không? Như các phương thức nguyên thủy (nếu một số là ảo thay vì ảo thuần túy chẳng hạn) cũng có thể được gọi từ một lớp dẫn xuất. Có đúng là chỉ khai báo các phương thức nguyên thủy riêng tư đảm bảo chúng chỉ được gọi bởi phương thức mẫu? Các phương thức ảo nguyên thủy riêng tư sau đó có thể vẫn được thực thi (hoặc reimplemented) trong các lớp con để cung cấp hành vi chuyên biệt được yêu cầu trong thuật toán được định nghĩa trong phương thức khuôn mẫu trong lớp cha.

Xem "tính ảo" từ Herb Sutter:

http://www.gotw.ca/publications/mill18.htm

đâu ông nói rằng:

Hướng dẫn # 2: thích làm cho các chức năng ảo tư nhân. Hướng dẫn # 3: Chỉ khi các lớp dẫn xuất cần phải gọi triển khai cơ sở của hàm ảo , hãy bảo vệ chức năng ảo.

Tôi không thấy bất kỳ yêu cầu nào trong mẫu Phương thức mẫu của GoF cho các lớp dẫn xuất để gọi triển khai lớp cơ sở của các hàm ảo, vậy tại sao Gang of Four khuyên bạn nên thực hiện các chức năng này chứ không phải riêng tư?

Answer 1

Câu trả lời khá đơn giản:

Design Patterns dates from 1994. Tại thời điểm này C++ vẫn đang phát triển mạnh mẽ vào ngôn ngữ mà chúng ta biết ngày nay - tiêu chuẩn trước đó đã được hoàn thành vào năm 1998! Các trình biên dịch bị lỗi và không hỗ trợ các tính năng quan trọng mà chúng tôi hiện đang cho phép.

Nhưng quan trọng hơn, nhiều điều chưa được phát hiện (đặc biệt là bởi các lập trình viên chính thống). Lập trình siêu lập trình mẫu, toàn bộ chỉ được “vấp” around the same time.

Tôi rất nghi ngờ rằng điều này cũng đúng với các chức năng ảo riêng tư: GoF đơn giản là không biết rằng đây là C++ hợp pháp. Hoặc nếu có, nó đã không tự thiết lập như một quy ước. Trên thực tế, hầu hết mã C++ được coi là "tốt" vào năm 1994 sẽ được coi là quá phức tạp và dễ bị lỗi ngày nay, thậm chí không cần tính đến C++ 11.