AV
Я не понимаю почему реально компилятор эту рантайм проверку не может сам воткнуть до цикла
Size: a a a
2021 June 10
DA
так проще, внутри цикла кто нибудь может менять s к примеру.
DA
что бы определить что s и i не меняется внутри цикла, надо дополнительные усилия.
LB
так-то конечно, если проверить на этапе компиляции, что:
1. внутри цикла не может измениться размер того, по чему бегаем
2. внутри цикла не может измениться индекс, которым бегаем
3. если внутри цикла не вызывается то, что может изменить 1 или 2
4. если мы обращаемся только по индексу без арифметики
5. ??? (прибавьте сюда ещё чего-нибудь)
... то можно оптимизировать )
1. внутри цикла не может измениться размер того, по чему бегаем
2. внутри цикла не может измениться индекс, которым бегаем
3. если внутри цикла не вызывается то, что может изменить 1 или 2
4. если мы обращаемся только по индексу без арифметики
5. ??? (прибавьте сюда ещё чего-нибудь)
... то можно оптимизировать )
LB
(мне на самом деле удивителен тот факт, что однажды проверив индекс, он потом не парится и уоптимизирует. или гошка в рантайме проверила, что вот по такому индексу я посмотрела и всё было ок, а потом в последующих обращениях к слайсу сверяет пришедший индекс с максимально прочеканным? но тогда почему просто не чекать по границам? в общем моя понимай нету)
DA
если цикл получил указатель на массив нет нужды проверть увеличился он или нет. потому что увеличиться он может только путем перераспределения памяти. а перераспределение памяти во время обхода массива, это неадекватный программист, от этого ничего не спасет.
DA
хотя, может быть я мысль @Gourytch не понял
AV
Дак а как тут поможет этот ручной чек тогда?
DA
этот чек работает при каждом обращении к массиву.
DA
и вероятно в массиве где то хранится его настоящая граница. или хотя бы размер распределенной памяти.
DA
именно в момент взятия елемента из массива сравнивается адрес элемента с последним возможным адресом в массиве.
DA
самая простая проверка
E
если у массива есть инфа о его размере, нафига этот размер передаётся отдельным параметром s?
AV
это не размер
AV
это до куда циклу бежать
E
так если это не массив, а слайс, нельзя что ли было сделать слайс нужного размера?
AV
а зачем? на каждый частичный проход по слайсу новый слайс городить?
E
что бы был простой компактный код!