通过抽象模板基类接口指针访问派生类方法，而无需在接口中显式类型

这是我的第一篇文章。我花了几个小时检查我的问题的解决方案，在 SO 上搜索一个又一个链接，但没有一个准确地描述我的问题（我能得到的最接近的是这个和这个）。所以，让我们开始工作吧！

描述：我必须实现一个专用类的集合，每个类都能够存储其类型的链表。另外（棘手的部分），我必须实现一个集合管理器，以便向集合添加更多专用类不会影响其代码。

让我解释一下到目前为止我所拥有的。

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 相关的返回类型的模板化函数。如何解决此问题以使我的经理真正多态？