使容器協變

Question

我正在實現指針的自定義向量my_ptr_vector。

我有一個類Base和Derived派生Base。

我有一個方法，該方法應該在my_ptr_vector<Base>和my_ptr_vector<Derived>上都起作用（通過const引用！）。它只調用Base課程中的元素方法。

然而，編譯器會抱怨它沒有轉化成my_ptr_vector<Derived>的my_ptr_vector<Base>方式。

小例子，再現問題：

#include <vector> 
#include <memory> 

class Base {}; 
class Derived : public Base {}; 

template<typename Element> 
class my_ptr_vector : public std::vector< std::unique_ptr<Element> > {}; 

void funct(const my_ptr_vector<Base>& vect) {} 

int main() 
{ 
    my_ptr_vector<Derived> vect; 
    funct(vect); 
} 

錯誤：

no suitable user-defined conversion from "my_ptr_vector<Derived>" to "const my_ptr_vector<Base>" exists 

我發現here，我可以做，如果我從my_ptr_vector<U>提供一個構造函數和賦值運算符它的工作，用U通用的，這樣U*可以轉換爲T*。

事實上，如果在例子中，我改變類此，它的工作原理

template<typename Element> 
class my_ptr_vector : public std::vector< std::shared_ptr<Element> > { 
public: 
    my_ptr_vector() {} 

    ///copy constructor from vector of pointers to generic U 
template<typename DerivedElement> 
    my_ptr_vector(const my_ptr_vector<DerivedElement>& oth) 
    { 
     printf("Oh, noes!"); //we don't want this method executed! 

     resize(oth.size()); 

     for (std::shared_ptr<Element> ptr : oth) 
     { 
      push_back(ptr); 
     } 
    } 
}; 

然而，不中 - 它不只是一個暗示，它不應該擔心的構造函數執行print聲明;它實際上是在執行轉換！

有沒有辦法避免這種情況？

另一種可能的解決方法當然是做func模板：

template<typename T> 
    void funct(const my_ptr_vector<T>& vect) {} 

然而，這種方式我失去裏面func的vect元素是Base類型始終的信息。

Answer 1

這似乎是做你想做的。代碼的第二部分，copy ctor，不需要修改。

我不認爲你可以擺脫需要投到std::unique_ptr。它希望即使這是推動Base*。

#include <vector> 
#include <memory> 

class Base {}; 
class Derived : public Base {}; 

template<typename Element> 
class my_ptr_vector : public std::vector< std::unique_ptr<Element> > {}; 

void funct(const my_ptr_vector<Base>& vect) {} 

int main() 
{ 
    my_ptr_vector<Base> vect; 
    vect.push_back(std::unique_ptr<Base>(new Derived)); 

    funct(vect); 
}