STD:STAT::矢量<派生> STD::向量< BASE >:

首先,标题可能不能反映当前的问题,所以请随意更改。假设我有以下课程;

#include <iostream>
#include <vector>

template <typename K, class V>
class A {
public:
  K x;
  V y;
  A(K x, V y):x(x), y(y) {}
  void print(A<K, V>& z) {
    std::cout << x + z.x << "-" << y + z.y << std::endl;
  }
  void print(std::vector<A<K,V>> z) {
    for(auto& i:z) {
      print(i);
    }
  }
};

class B:public A<int, std::string> {
public:
  B():A(0, "zero") {}
  B(int x, std::string y):A(x, y) {}
};

void test() {
  B b1(1, "one");
  B b2(2, "two");
  B b3(3, "three");
  B b4(4, "four");
  B b5(5, "five");
  b5.print(b1);
  //
  std::vector<B> c;
  c.push_back(b1);
  c.push_back(b2);
  c.push_back(b3);
  c.push_back(b4);
  b5.print(c);
}

最后一行我得到了以下错误( b5.print(c) ;

test_class.cpp:40:6: error: no matching member function for call to 'print'
  b5.print(c);
  ~~~^~~~~
test_class.cpp:10:8: note: candidate function not viable: no known conversion from 'std::vector<B>' to 'A<int, std::__1::basic_string<char> > &' for 1st argument
  void print(A<K, V>& z) {
       ^
test_class.cpp:13:8: note: candidate function not viable: no known conversion from 'vector<B>' to 'vector<A<int, std::__1::basic_string<char> >>' for 1st argument
  void print(std::vector<A<K,V>> z) {
       ^
1 error generated.

我基本上希望 vector<B> 到 std::vector<A<int,std::string>> 但事实并非如此。因此,我提出了两个解决问题的办法。

1. 定义 typedef std::vector<A<int,std::string>> MyWeirdVector; 在A级使用SE B::MyWeirdVector c; 而不是 std::vector<B> c; .
2. 将每个打印功能定义为 template <typename U> 在类中接受类型名u作为参数。

这两种解决方案都有自己的缺点。首先,我必须将c实例化为b::myweirdvector,其次,我(感觉)没有类型安全性。第二种解决方案即使我没有定义类型 <> .

所以,对于这个问题是否有一个很好的解决方案,比如让隐式类型转换 std::vector<B> 到 STD::向量& lt;a & lt;int,STD::String & Gt; ?

--编辑--

感谢@max66和@caleth以及其他同事。我只想分享完整的工作示例。请注意,没有 void 之前 print 如果你不想发疯,@max66的答案。(1)。所有打印函数参数都是 const ,2。合并@max66和@caleth的答案。)

#include <iostream>
#include <vector>
#include <type_traits>

template <typename K, class V>
class A {
public:
  K x;
  V y;
  A(K x, V y):x(x), y(y) {}
  void print(const A<K, V>& z) {
    std::cout << x + z.x << "-" << y + z.y << std::endl;
  }

  // for C++11, thanks to @Caleth
  // template <typename Container, typename = typename std::enable_if<!std::is_base_of< A<K,V>, typename std::remove_reference<Container>::type >::value>::type>
  // void print(Container&& z) {
  //   for(auto& i:z) {
  //     print(i);
  //   }
  // }

  // thanks to @max66
  template <typename T>
  typename std::enable_if<std::is_base_of<A<K, V>, T>::value>::type
    print(std::vector<T> const & z) {
      for(auto const & i:z) print(i);
    }    
  };

class B:public A<int, std::string> {
public:
  B():A(0, "zero") {}
  B(int x, std::string y):A(x, y) {}
};

void test() {
  B b1(1, "one");
  B b2(2, "two");
  B b3(3, "three");
  B b4(4, "four");
  B b5(5, "five");
  b5.print(b1);
  //
  std::vector<B> c;
  c.push_back(b1);
  c.push_back(b2);
  c.push_back(b3);
  c.push_back(b4);
  b5.print(c);
}