Kopiowanie wektor <shared_pt<T>> do wektora <shared_ptr <const T>> (różne przypadki) C++

Question

mam:

std::vector<std::shared_ptr<T>> 

której chciałbym skopiować do

std::vector<std::shared_ptr<const T>> 

Teraz zauważyłem, że jeśli to zrobić:

class A 
{ 
public: 
    A(const std::vector<std::shared_ptr<int>>& list) : internalList(list.begin(), list.end()) {} 
    std::vector<std::shared_ptr<const int>> internalList; 
}; 

kompiluje grzywny (szczęk ++ std == C++ 14), ale jeśli mam zrobić:

class A 
{ 
public: 
    A(const std::vector<std::shared_ptr<int>>& list) : internalList(list) {} 
    std::vector<std::shared_ptr<const int>> internalList; 
}; 

Uważam, że to dziwne, że kiedy używam konstruktora kopiowania, to nie działa, ponieważ nie może wymyślić konwersji z const do const?

xxxx.cpp:672:56: error: no matching constructor for initialization of 'std::vector<std::shared_ptr<const int> >' 

Może ktoś wyjaśnić, dlaczego proszę, a jeśli tak, jak to zrobić (za pomocą iteratora w konstruktorze) jest najlepszym rozwiązaniem?

Answer 1

Na początku szablon klasy utworzony za pomocą różnych typów jest zupełnie inny. Następnie są to zupełnie różne typy, a std::vector<std::shared_ptr<int>> i std::vector<std::shared_ptr<const int>> również są różnymi typami i nie mogą być konwertowane na siebie.

Zgodnie z constructors z std::vector, konstruktor kopiowania (piąty) pobiera std::vector z tego samego typu co jego parametr. Oznacza to, że w przypadku std::vector<std::shared_ptr<const int>> nie można uzyskać std::vector<std::shared_ptr<int>>, której nie można w domyśle przekształcić w std::vector<std::shared_ptr<const int>>. Z drugiej strony konstruktor przyjmujący zakres iteratora (czwarty) jest szablonem funkcji, typem iteratora jest parametr szablonu, który nie musi być iteratorem wskazującym na ten sam typ. Dozwolony jest iterator wskazujący na inny typ, jeśli ten typ może być użyty do konstrukcji wektora. std::shared_ptr<int> może być użyty do skonstruowania std::shared_ptr<const int>, to jest w porządku.

Należy pamiętać, że std::shared_ptr mają szablony konstruktorów kopiowania/przenoszenia, które mogą przyjmować std::shared_ptr z innym typem elementu jako jego argumentem. (Podczas gdy std::vector nie ma.)

Answer 2

Twój kod może działać, jeśli std::vector warunkiem konwersji konstruktora:

template<class T, class A = std::allocator<T>> 
class vector { 
public: 
    template<class T1, class A1> 
    explicit vector(const vector<T1, A1>& other) 
     : vector(other.begin(), other.end()) 
    {} 

    ... 
}; 

ale mając taką konstruktora w każdym pojemniku Biblioteka standardowa nie dodawać zbyt wiele wartości, ponieważ prawie taki sam efekt można osiągnąć poprzez wprowadzenie jeszcze bardziej ogólnego przeznaczenia narzędzie (patrz, na przykład, this answer). Wtedy możesz napisać:

class A 
{ 
public: 
    A(const std::vector<std::shared_ptr<int>>& list) : internalList(container_cast(list)) {} 
    std::vector<std::shared_ptr<const int>> internalList; 
};