सी ++ में टाइप एरर क्या है?

Question

तो मैं this article about type erasure पढ़ रहा था। लेकिन उस लेख में कोड आंशिक रूप से गलत लगता है, उदाहरण के लिए:

template <typename T> 
class AnimalWrapper : public MyAnimal 
{ 
    const T &m_animal; 

public: 
    AnimalWrapper(const T &animal) 
     : m_animal(animal) 
    { } 

    const char *see() const { return m_animal.see(); } 
    const char *say() const { return m_animal.say(); } 
}; 

द्वारा

void pullTheString() 
{ 
    MyAnimal *animals[] = 
    { 
     new AnimalWrapper(Cow()), /* oO , isn't template argument missing? */ 
     .... 
    }; 
} 

पीछा इन गलतियों मुझे किसी भी लेख में आगे पढ़ने से हतोत्साहित किया।

वैसे भी; क्या कोई भी सिखा सकता है कि सरल उदाहरणों के साथ सी ++ में किस तरह का मिटाना है?

मैं यह समझने के लिए जानना चाहता था कि कैसे std::function काम करता है, लेकिन मेरे सिर को इसके आसपास नहीं मिल सका।

Answer 1

यहाँ कार्रवाई में प्रकार विलोपन की एक बहुत ही सरल उदाहरण है:

// Type erasure side of things 

class TypeErasedHolder 
{ 
    struct TypeKeeperBase 
    { 
    virtual ~TypeKeeperBase() {} 
    }; 

    template <class ErasedType> 
    struct TypeKeeper : TypeKeeperBase 
    { 
    ErasedType storedObject; 

    TypeKeeper(ErasedType&& object) : storedObject(std::move(object)) {} 
    }; 

    std::unique_ptr<TypeKeeperBase> held; 

public: 
    template <class ErasedType> 
    TypeErasedHolder(ErasedType objectToStore) : held(new TypeKeeper<ErasedType>(std::move(objectToStore))) 
    {} 
}; 

// Client code side of things 

struct A 
{ 
    ~A() { std::cout << "Destroyed an A\n"; } 
}; 

struct B 
{ 
    ~B() { std::cout << "Destroyed a B\n"; } 
}; 

int main() 
{ 
    TypeErasedHolder holders[] = { A(), A(), B(), A() }; 
} 

[Live example]

आप देख सकते हैं, TypeErasedHolder एक मनमाना प्रकार की वस्तुओं स्टोर कर सकते हैं, और उन्हें सही ढंग से संहार। महत्वपूर्ण बात यह है कि यह ⁽¹⁾ समर्थित प्रकारों पर किसी भी प्रतिबंध को लागू नहीं करता है: उदाहरण के लिए, उन्हें सामान्य आधार से प्राप्त नहीं करना है।

---

⁽¹⁾ चल जा रहा है, निश्चित रूप से के अलावा।