Ковариантность и контравариантность (программирование): различия между версиями

<!-- [[Указатель (тип данных)|Указатели]] в C++ ковариантны: в качественапример, указателяуказателю на базовый класс в выражениях можно использоватьприсвоить указатель на дочерний класс.-->

[[Шаблоны C++]], вообще говоря, инвариантны, отношения наследования классов-параметров на шаблоны не переносится. Если бы, например, контейнер <code>vector</code> был ковариантен, то можно было бы, имея <code>vector<Cat></code>, присвоить ссылку на него переменной типа <code>vector<Animals>&</code> и записать туда объект типа <code>Dog</code>, поместив таким образом объект Dog в <code>vector<Cat></code> в обход контроля типов, что нежелательно. Однако при помощи параметризованных конструкторов копирования и операторов присваивания можно создать [[умный указатель]], ковариантный по своему параметру-типу, подобно обычному указателю<ref>{{cite web|url=http://blog.deliciousmuffins.net/on-covariance-and-c-templates.html|title=On covariance and C++ templates|date=2013-02-08|accessdate=2013-06-20}}</ref>.