И насколько это корректно использовать понятие инвариантности в контексте шаблонов,

Question

supapro.cxx

Fake Dude

И насколько это корректно использовать понятие инвариантности в контексте шаблонов,

а не конечных инстансов?

#c #embedded #programming #russian

0

22.02.2021

5 ответов

5 просмотров

Mikhail Kalugin

Ofee Oficsu
Насколько я понял, в Scala вариантность описываетс...

Вообще, в Scala вариативность - способ определить отношения между конкретными типами контейнеров через отношения содержимого. Твое решение делает в точности то же самое (инструментами C++, конечно). Потратить всем несколько вечеров на причесывание и можно будет смело закидывать предложение в boost, а там глядишь, лет через десять джуны будут писать в начале файла using std::variance

0

22.02.2021

Constantine Drozdov

Mikhail Kalugin
Вообще, в Scala вариативность - способ определить ...

Все мутабельные контейнеры инвариантны.

0

22.02.2021

Mikhail Kalugin

Constantine Drozdov
Все мутабельные контейнеры инвариантны.

Да, понял в чем подвох... Контейнеры C++ мутабельные.

0

22.02.2021

Constantine Drozdov

Mikhail Kalugin
Да, понял в чем подвох... Контейнеры C++ мутабельн...

Немного больно от отсутствия ковариантности shared_ptr, но очень сложно понять, как это объяснять компилятору

0

22.02.2021

Ofee Oficsu · Accepted Answer

Насколько я понял, в Scala вариантность описывается в терминах (под)типов. Так или иначе, инстанс принадлежит одному из типов (аннотированных или нет), которые и определяют поведение между типами и подтипами Точнее, вместо подтипов я взял operator T, посчитав его более мощным инструментом

170 похожих чатов

И насколько это корректно использовать понятие инвариантности в контексте шаблонов,

5 ответов

Похожие вопросы