为什么说该代码中哪些类型是远不足的？

Question

Tarrayint是Tarray的孩子，为什么我不能在polymorph函数中返回它？

template <class T>
class TArray {
public:
    virtual T& operator[](int index) = 0;
    virtual void push_back(T num) = 0;
    virtual TArray operator+=(T num) = 0;
    virtual TArray operator+(T num) = 0;
    int size();
    void print();
};

class TArrayInt :public TArray<int> {
    vector<int> array;
public:
    int& operator[](int index);
    void push_back(int num);
    TArrayInt operator+=(int num); //here is an error
    TArrayInt operator+(int num); //and here too
};

Answer 1

协方差返回类型必须是指示器或参考。您可能希望这些操作员返回参考：

template <class T>
class TArray {
public:
  // ...
  virtual TArray& operator+=(T num) = 0;
  virtual TArray& operator+(T num) = 0;
};

class TArrayInt : public TArray<int> {
public:
  // ...
  TArrayInt& operator+=(int num);
  TArrayInt& operator+(int num);
};