f
Из этого ещё вытекает, что, если шаблонные функции не используются, ты не можешь быть уверенным их корректности
или если используешь не всеми возможными способами?
Size: a a a
2021 February 12
А⚙
или если используешь не всеми возможными способами?
И это тоже
f
норм-норм
А⚙
и в чём проблема?
В том, что ты не можешь получить ссылку на элемент такого вектора
💮
Это специализация, она ортогональна шаблонам
Из-за неё и нельзя натайпчекать. Потому что у специализации другой тип может быть.
t
Из этого ещё вытекает, что, если шаблонные функции не используются, ты не можешь быть уверенным их корректности
Мне нравятся шаблоны, концепты, возможность построить стратегии на шаблонах, свой статический полиморфизм с блэкджеком и шлюхами.
t
В том, что ты не можешь получить ссылку на элемент такого вектора
А зачем?
А⚙
Из-за неё и нельзя натайпчекать. Потому что у специализации другой тип может быть.
Ой, хорош врать. Нормально это сочетается
А⚙
А зачем?
Затем, что ты можешь писать обобщённый шаблонный код, который куда-то наверх передаёт ссылку на элемент от
std::vector<T>, и словить висячую ссылку, если T = boolt
Меня доебали эти теоретики. Никто код не пишет.
SS
в голанге хорошо, вместе с аргументами передаётся информация о их типе, потои этот тип через switch проверять можно
t
Затем, что ты можешь писать обобщённый шаблонный код, который куда-то наверх передаёт ссылку на элемент от
std::vector<T>, и словить висячую ссылку, если T = boolЧто за висячая ссылка?)
t
ты о чём вообще?)))
А⚙
Sergiy Shatunov
в голанге хорошо, вместе с аргументами передаётся информация о их типе, потои этот тип через switch проверять можно
Это только для
interface{} работаетА⚙
ты о чём вообще?)))
О том, что
std::vector<bool> — это на самом деле битовый вектор, и операции индексации там возвращают не ссылки на булы, а прокси-типы с переопределёнными операторами присваиванияSS
Это только для
interface{} работаеткстати, нечто похожее есть и в плюсцах, ссылка на таблицу виртуальных функций
💮
Ой, хорош врать. Нормально это сочетается
Как это может хорошо сочетаться, если на момент объявления шаблона не известно, какие специализации могут быть объявлены позже и какие у них типы?
А⚙
Как это может хорошо сочетаться, если на момент объявления шаблона не известно, какие специализации могут быть объявлены позже и какие у них типы?
Ну так ты можешь обозначить, каким ограничениям эти типы должны удовлетворять, и эти ограничения специализации обязаны соблюдать
💮
Ну так ты можешь обозначить, каким ограничениям эти типы должны удовлетворять, и эти ограничения специализации обязаны соблюдать
Это можно сделать в C++?
O
зачем нужен ещё один язык, решающий только одну простую проблему