JM
Раст такое не позволяет
Вот-вот
Size: a a a
2020 October 17
JM
Это как-то не зиро-кост
MB
Я кидал выше зирокостный вариант
li
Спасибо большое. Никак не пойму как оно работает. Функции знакомые, но как с ними обращаться и что "зирокост" - не понимаю
*Оно - паттерн матчинг, деструктуризация
*Оно - паттерн матчинг, деструктуризация
IB
Это как-то не зиро-кост
Зиро-кост означает, что если ты не используешь фичу, она не замедляет остальной код. А в данном случае ты фичу используешь, а раз тип известен (слайс или массив), то компилятор может это сделать зиро-костным.
Не надо путать зиро-кост с дешевизной.
Не надо путать зиро-кост с дешевизной.
JC
Я слышал от Страуструпа, что зирокост абстракции это такие абстракции с которыми ты не можешь написать более быстрый код лишившись абстракции.
JC
Поэтому это не про "не используешь - не платишь", это про "используешь - не платишь"
JC
Хотя может у Нико свои понятия зирокоста)
MB
Это как-то не зиро-кост
Но кстати, вариант с try_into().unwrap() вполне бесплатный, LLVM достаточно умна для этого
IB
Поэтому это не про "не используешь - не платишь", это про "используешь - не платишь"
Но ведь так не бывает. :)
What you don’t use, you don’t pay for. И в данном случае действительно невозможно сделать быстрее, не лишившись абстракции.
What you don’t use, you don’t pay for. И в данном случае действительно невозможно сделать быстрее, не лишившись абстракции.
JC
Но ведь так не бывает. :)
What you don’t use, you don’t pay for. И в данном случае действительно невозможно сделать быстрее, не лишившись абстракции.
What you don’t use, you don’t pay for. И в данном случае действительно невозможно сделать быстрее, не лишившись абстракции.
Бывает
IB
Бывают дешёвые фичи, но нет бесплатных.
JC
Мономорфизация это платная фича?
JC
Она конечно бьет по компайл тайму, но для рантайма это абстракция с отрицательной стоимостью.
MB
Спасибо большое. Никак не пойму как оно работает. Функции знакомые, но как с ними обращаться и что "зирокост" - не понимаю
*Оно - паттерн матчинг, деструктуризация
*Оно - паттерн матчинг, деструктуризация
Мы заводим два итератора - итератор по массиву и итератор по массиву, сдвинутый на 1. Далее они zip-уются и тогда получившийся итератор бегает по парам соседних элементов.
IB
Мономорфизация это платная фича?
Да, ты платишь за неё увеличением размера кода, который неожиданно перестаёт влезать в кэши.
JC
Да, ты платишь за неё увеличением размера кода, который неожиданно перестаёт влезать в кэши.
То есть если ты скопипастишь код руками он магически влезет в кэши?
li
Мы заводим два итератора - итератор по массиву и итератор по массиву, сдвинутый на 1. Далее они zip-уются и тогда получившийся итератор бегает по парам соседних элементов.
Это я понимаю. Но я не понимаю как понять что оно "зиро-кост" и почему с window не "зиро-кост"?
Зачем тогда window?
Зачем тогда window?
IB
То есть если ты скопипастишь код руками он магически влезет в кэши?
Нет, я не копипастю код. ;)
JC
Нет, я не копипастю код. ;)
Тогда тебе и мономорфизация не нужна, твои функции всегда работают с одним типом и никакого раздувательства нет.