std::vector 和多态性

Question

#include <iostream>
#include <vector>

using namespace std;

class Base {
  public:
    virtual ~Base(){}
};

class Deriv : public Base {
  public:
    virtual ~Deriv(){}
};

void f(Base *){
  cout << "f(Base *)" << endl;
}

void f(vector<Base *>){
  cout << "f(vector<Base *>)" << endl;
}

int main(int argc, const char *argv[])
{
  Deriv *d = new Deriv;
  vector<Deriv *> v;
  v.push_back(d);

  f(d); // works
  //f(v); // does not compile
  return 0;
}

第一个 f() 有效，但第二个给出编译时错误：

f(vector) 未找到。

我的问题：有没有办法让它工作：某种向量多态性？

Answer 1

您想要的属性称为协方差。答案是否定的，你不能这样做：向量不是协变的。

为什么不允许这样做的典型示例如下：

class Deriv2 : public Base {
  public:
    virtual ~Deriv2(){}
};

void f(vector<Base *>& v){
  v.push_back(new Deriv2); // oops, just pushed a Deriv2 into a vector of Deriv
}

如果您不向向量添加元素，则可以仅传递一对输入迭代器。传递输出迭代器也不起作用。

template <typename InputIterator>
void f(InputIterator first, InputIterator last);

f(v.begin(), v.end());

Answer 2

AFAIK 不是您想要的方式（vector 与 vector 是根本不同的类型）。

这是一种替代方法 - 这当然是一种通用

template <typename Iterator>
void f(Iterator begin, Iterator end)
{
  // now do stuff...
}

算法

f(v.begin(), v.end());

Answer 3

您应该在 main 中编写此代码

  Deriv *d = new Deriv;
  vector<Base *> v;  // Correction
  v.push_back(d);

您仍然可以将 Derived 对象推送到容器中，并且 f() 工作正常。

模板解决方案也很好：

template <typename T>
void f(std::vector<T>);

Answer 4

Base 和 Deriv 是协变类型，但 std::vector 和 std::vector; 不是协变类型。

当 X 是协变类型 B 的对象时，您可以分配从 B 派生的任何类型 D 的对象，到X。这就是你的第一个案例中发生的情况。