आधार विधि से आभासी या संदर्भ

Question

बिना कॉल बच्चे विधि कोड पर विचार करें।

मैं हमेशा से समझ में आ "आभासी" उपयोगी है जब हम बहुरूपता अनुमति देने के लिए एक इंटरफ़ेस चाहते हैं, A *a = new B(); a->f() कहते हैं, लेकिन इस उदाहरण इंगित करता है कि virtual भी इस स्थिति में आवश्यक है। इस उदाहरण की मेरी समझ यह है कि पर A::f पर औपचारिक रूप से this->g() के बराबर है, और यह एक सूचक है।

बहरहाल, यह नहीं है क्या मैं वास्तव में चाहता था: मेरा असली उदाहरण में, मैं एक सामान्य विधि A::simulate (माना A::f) के साथ एक सामान्य टेम्पलेट वर्ग एक है, जो अलग-अलग तरीकों का उपयोग करता (माना A::g()), जिनमें से कुछ अधिलेखित सबक्लास द्वारा (B कहें)। मैं चाहता था कि विधि A::simulate विधि इस तरह से हो कि कोड ए के उप-वर्गों में संकलित किया जाएगा जैसे कि इसे उप-वर्गों पर परिभाषित किया गया है, इसलिए मेरे पास एक ही तर्क को कई बार कोडित नहीं किया गया है। मैं यह कैसे कर सकता हूँ?

ऐसा इसलिए है क्योंकि मेरे इंटरफ़ेस को बहुरूपता की आवश्यकता नहीं होगी क्योंकि उपयोगकर्ता को हमेशा कोड को संकलित करने की आवश्यकता होगी (यानी यह केवल शीर्षलेख है)।

Answer 1

आप बस अपनी आधार वर्ग बना सकते हैं एक CRTP (आप उल्लेख किया है के रूप में यह पहले से ही एक टेम्प्लेटेड वर्ग वैसे भी):

#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" 
}