Usruser «Мог бы, вежливости ради, сразу и перевести» “Делай, что должен – и будь, что будет”. Девиз рыцарей Кадош. «Поэтому если тебе для создания диалога в стиле греческих философов потребуется … кастуй.» Кастую «Я когда-то был бестолковым миддлом, но уже лет 10 профессионально не писал на плюсах. Сейчас хочу вернуться в профессию, но… гхм.» Почему перестал писать? Зачем хочешь вернуться? ox55ff «Контравариантность и ковариантность в c++. Есть ли жизнь?» Стакан наполовину полон. 0. Поддержки (ко-,контр-)вариантности в самом языке нет. Потому что система типов… оставляет желать лучшего. Либо, вариантность просто было нельзя
нормально сделать, учитывая другие фишки языка (например, множественное наследование, тем более ромб?). Я не знаю точных причин 1. Встроенная ковариантность есть для указателей (в том числе “умных”) и ссылок. 2. Шаблонные контейнеры из STL не вариантны вообще, даже для тех случаев, где это можно было сделать. 3. Контрвариантности (по аргументам) для функций нет, но если пользоваться враппером std::function, то будет работать. Его специально ввели, чтобы обмазать всякими удобностями, при этом не меняя core language. 4. Композиция вариантности не работает вообще. Потому что опять же пункт 0. То есть, два ковариантных шаблонных типа скорее всего потеряют это свойство, если их друг в друга вложить. 5. Для своего класса вариантность можно впилить с помощью std::is_convertible Хороший вопрос, спасибо! Если я где напутал, поправляйте, дополняйте. JamesHolden Про микроконтроллеры я ничего не знаю…

А вот про CPU и GPU можно что-нибудь обсудить. Ну и про суперкомпьютерные кластеры.