c – 通过抽象模板基类接口指针访问派生类方法,在接口中没有显式类型

这是我的第一篇文章.我花了几个小时检查我的问题的解决方案,搜索链接后SO上的链接,但没有一个完全描述我的问题(我可以得到的最接近的是 this和 this).那么,让我们开始工作吧！

描述：我必须实现一组专门的类,每个类都能够存储其类型的链表.另外(棘手的部分),我必须实现一个集合管理器,以便为集合添加更多专用类不会影响其代码.

让我解释一下到目前为止.

class IList {
    public:
    virtual IList& operator+( IList&) = 0;
    virtual void print() = 0;
    virtual int g_Size() const = 0;
//perfect till here

    virtual void Push(const int&) = 0;//needs to be upgraded
    virtual const int& operator[](int index) = 0;//needs to be upgraded
};

template<class T>
class Queue: public IList{
    //internal stuff
public:
    Queue();
    int g_Size() const;

    void print();

    void Push(const T& cv);

    const T& operator[](int index);

    ~Queue();
};//all implementation of Queue<T> is implemented and working,but removed for simplicity

class CIntList : public Queue<int>{
    //stuff here,specialized on int
};

class C_Manager{
    IList * classes[3];//notice the polymorphism,managing the class collection using a pointer to the common(base) interface
public:
    void testing()
    {
        for (int i = 0; i < 3; i++)
            classes[i] = new CIntList(i);
        classes[0]->Push(1); classes[0]->Push(2); classes[1]->Push(1121); classes[2]->Push(12);
        classes[0]->print();
        classes[2]->print();
        int a = classes[0]->operator[](1);
        classes[1]->Push(a + a);
    } //working fine
};

好的,所以你可能会问,问题是什么？

我不想重新声明Push和operator [](或任何其他使用模板作为参数的函数)来实现我的所有类特化.更确切地说,如果我想添加,让我们说,

class CFloatList: public Queue<float>
{
      //float stuff goes here
};

我还必须修改IList

class IList {
        public:
        virtual IList& operator+( IList&) = 0;
        virtual void print() = 0;
        virtual int g_Size() const = 0;
    //perfect till here

        virtual void Push(const int&) = 0;//used for int
        virtual const int& operator[](int index) = 0;//used for int

    //NEW DECLARATION FOR FLOAT
        virtual void Push(const float&) = 0;//used for float
        virtual const float& operator[](int index) = 0;//used for float

    };

我怎样才能避免这些重新声明？我需要一些“虚函数模板”,但C不支持.

我的方法有误吗？

很抱歉没有突出显示c语法,这是我的第一篇文章,我只是设法在代码块中格式化它.感谢您的时间！

编辑#1
一个更好的解决方案(由jaggedSpire建议 – 很多,非常感谢)

我修改了IList

class IList {
    public:
    virtual IList& operator+( IList&) = 0;
    virtual void afis() = 0;
    virtual int g_Size() const = 0;


    //templates
    template<typename T>
    void Push(const T& arg) //WORKS PERFECTLY
    {
        Queue<T>* cast = dynamic_cast<Queue<T>*>(this);
        cast->Push(arg);
    }
    template<typename T>
    const T& operator[](int index) //error
    {
        Queue<T>* cast = dynamic_cast<Queue<T>*>(this);
        return cast->operator[](index);
    }
};

和void C_Manager :: testing()到

class C_Manager{
    public:
        void testing()
        {
            IList * a = new CIntList(1);
            a->Push(200);//WORKS PERFECTLY
            int c = a->operator[](0); //ERROR
        }
    };

它会产生这些错误

Error   C2783   'const T &IList::operator [](int)': Could not deduce template argument for 'T'

Error   C2672   'IList::operator []': no matching overloaded function found

intellisense: no instance of function template "IList::operator[]" matches the argument list

基本上,它抱怨每个可能模板化的函数都有一个与T相关的返回类型.我怎样才能解决这个问题,让我的经理真正变成多态？

class Parent{
    public:
    template <typename T>
    void foo(const T& t);

    virtual ~Parent(){}
};

template <typename T>
class Child : public Parent{

    public:
    void foo(const T& t);
};

// must be after the deFinition of the Child template,// because dynamic_cast requires a complete type to target
template <typename T>
void Parent::foo(const T& t){
    // throws on bad conversion like we want
    auto castThis = dynamic_cast<Child<T>&>(*this); 
    // if execution reaches this point,this is a Child<T>
    castThis.foo(t);
}

template<typename T>
void Child<T>::foo(const T& t){
    std::cout << typeid(T).name() << ": " << t << '\n';
}


int main(){
    Parent&& handle = Child<int>();

    try{
        handle.foo<int>(3);
        handle.foo<char>(0);
        handle.foo<std::string>("Hello!");
    }
    catch(std::bad_cast e){
        std::cout << "bad cast caught\n";
    }
}

i: 3
bad cast caught