C++ - Vorlage Covariance

Question

Können Sie die Covarianz-Eigenschaft für die generischen Typen (über die Vorlagen) in C++ verwenden?

Ich habe bereits this question gefunden, die meine Frage beantwortet, aber ich frage es wieder, da es schon zwei Jahre her ist! In der Sucht, obwohl es erklärt wird, dass es in C++ in Vorlagen keine Kovarianz geben kann, gibt es keine Erklärung dafür!

Können Sie mir bei Neuigkeiten/Erklärungen zu diesem Thema helfen?

Answer 1

Angesichts der Verweis auf eine frühere Frage als Klärung Gerät, es scheint, Sie fragen, warum T<Derived> ist in der Regel nicht von T<Base> abgeleitet.

Betrachten Sie T = std::shared_ptr.

Sie wollen nicht in der Lage sein, dies zu tun:

void foo(shared_ptr<Base>& p) { p.reset(new Derived2); } 

auto main() -> int 
{ 
    shared_ptr<Derived1> p; 
    foo(p); // Oops, p now points to unrelated Derived2 
}