Gọi phương pháp trẻ từ phương pháp cơ bản mà không cần tham khảo ảo hoặc

Question

xem xét mã:

#include <iostream> 

class A { 
public: 
    void g() {std::cout << "Call from A" << std::endl;} 
    void f() {g();} 
}; 

class B : public A { 
public: 
    void g() {std::cout << "Call from B" << std::endl;} 
}; 

int main() { 
    B b; 
    b.f(); // "Call from A" 
} 

Nếu tôi làm A::g() ảo, nó sẽ tạo ra "Gọi từ B".

tôi luôn luôn hiểu "ảo" hữu ích khi chúng ta muốn một giao diện để cho phép đa hình, nói A *a = new B(); a->f(), nhưng ví dụ này chỉ ra rằng virtual cũng được yêu cầu trong tình huống này. Sự hiểu biết của tôi về ví dụ này là cuộc gọi g() trên A::f chính thức tương đương với this->g() và đây là con trỏ.

Tuy nhiên, đây không phải là những gì tôi thực sự muốn: trong ví dụ thật của tôi, tôi có một mẫu chung lớp A với một phương pháp chung A::simulate (nói A::f), có sử dụng phương pháp khác nhau (nói A::g()), một số trong đó được ghi đè theo phân lớp (giả sử B). Những gì tôi muốn là có phương thức A::simulate theo cách mà mã sẽ được biên dịch trong các lớp con của A như thể nó đã được định nghĩa trên các lớp con sao cho tôi không có cùng một mã logic được mã hóa nhiều lần. Tôi có thể làm cái này như thế nào?

Điều này là do giao diện của tôi sẽ không yêu cầu đa hình bởi vì người dùng sẽ luôn cần phải biên dịch mã (tức là chỉ là tiêu đề).

Answer 1

Bạn chỉ có thể làm cho lớp cơ sở của bạn một CRTP (như bạn đã đề cập đến nó đã là một lớp templated anyway):

#include <iostream> 

template<class Derived> 
class A { 
public: 
    void g() {std::cout << "Call from A" << std::endl;} 
    void f() { static_cast<Derived*>(this)->g();} 
      // ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Call g() from Derived 
}; 

class B : public A<B> { 
public: 
    void g() {std::cout << "Call from B" << std::endl;} 
}; 

int main() { 
    B b; 
    b.f(); // "Call from B" 
}