Т8
Artöm Bakri Al-Sarmini
Не должен, vector::[] не создает объекты
если бы возвращал значение, то оптимизации отработают. Но могут и не сработать, конечно
Size: a a a
2020 May 20
AB
а тут нислова о том что с референсом надо быть осторожным(
Это относится к любому референсу, писать это в каждом operator[] нет смысла
Т8
а тут нислова о том что с референсом надо быть осторожным(
так это суть самого языка, а не класса vector
AB
Т-34 85
если бы возвращал значение, то оптимизации отработают. Но могут и не сработать, конечно
Если бы возвращал значение, при его вызове всегда была бы минимум одна копия
Т8
но это жестко что ты можешь взять значение и потом поменять вектор и получить UB
так на скриншоте ты записываешь ссылку - auto&. Если нужна копия, просто auto созавай
Т8
Artöm Bakri Al-Sarmini
Если бы возвращал значение, при его вызове всегда была бы минимум одна копия
а компилятор не может заменить копию ссылкой, если увидит, что можно так соптимизировать?
AB
Т-34 85
а компилятор не может заменить копию ссылкой, если увидит, что можно так соптимизировать?
Не может
Т8
Artöm Bakri Al-Sarmini
Не может
понял, спасибо
AZ
Т-34 85
тогда тем более - зачем это расту, системному языку? Хотите ФП - берите Хаскелл
никто не предлагает фп в расте
AZ
Т-34 85
@DogeShibu @Psilon утверждается, что можно сделать вполне нормальный ФП язык без GC и все абстракции будут zero-cost. Это реально, или мечты оптимиста?
upd. ну, хрен с ним, пускай не все будут zero-cost. Но вот то, что отказ от GC никак не скажется на стоимости ФП - это говорил
upd. ну, хрен с ним, пускай не все будут zero-cost. Но вот то, что отказ от GC никак не скажется на стоимости ФП - это говорил
я кажется говорил уже что куча дефолтных ФП абстракций полагаются на гц
EG
Почему кроссплатформенный гуй это такая сильная боль?
EG
Что настолько сложного в этой задаче, что её никто не умеет решать?
AZ
например
data List a = Nil | Cons a (List a)
data List a = Nil | Cons a (List a)
Т8
никто не предлагает фп в расте
всё развитие языка указывает на подражание ФП языкам
AZ
без индирекции тут бесконечный размер структуры
EG
без индирекции тут бесконечный размер структуры
Индирекция ≠ гц
AZ
может если юзать не наивные структуры данных
AZ
то чето можно придумать
AZ
но хз
AZ
монады те же