Многократное использование len() или кеширование в переменную?

Question

[Роман Сарваров]

IDE во многих других языках типа PHP подсказывает, что не стоит использовать len() (или аналогичные функции) в конструкции for, так как при каждой итерации будет заново вычисляться длина массива.

Я проверил, что если вместо len вставить свою функцию, которая что-то выводит, то она выполнится при каждом цикле:

kek := func() int {
    fmt.Prinln("CALL")
    return 10
}

for i := 0; i < kek(); i++ {
    //
}

В примере выше строка "CALL" будет выведена на экран 10 раз.

В Go тоже лучше переносить такие вещи в переменные?

Данный код идентичен по производительности или второй вариант предпочтительнее?

// 1:
for i := 0; i < len(data); i++ {
    //
}

// 2:
dataLength := len(data)
for i := 0; i < dataLength; i++ {
    //
}

На самом деле, вроде как ни разу не видел (даже в официальной песочнице) чтобы это переносили в переменную выше цикла, len() что - кешируется?

Answer 1

[Василий Банников]

С помощью этой штуки можно посмотреть, во что это компилируется: https://github.com/badamczewski/PowerUp

Но вообще len должен просто возвращать длину слайса, которая записана в поле, по тому большой разницы не будет.
Если у тебя действительно, внутри цикла не может измениться слайс - можно закэшировать.
Если может измениться - кэшировать не следует.

Comments

[Александр Павлюк]

Этот PowerUp только для Windows, получается?

[Станислав Макаров]

Александр Павлюк
Да вроде нет:
https://github.com/badamczewski/PowerUp/blob/main/...
<TargetFramework>net5.0</TargetFramework>

[Василий Банников]

Александр Павлюк, в теории можно везде запустить, но не првоерял

Answer 2

[WinPooh32]

Дескриптор у слайса имеет такую структуру:

type SliceHeader struct {
        Pointer uintptr
        Len  int
        Cap  int
}

len(...) - это ключевое слово языка и в контексте компилятора не является функцией, вместо которой он может подставить что угодно.

Выше мы выяснили, что у слайса есть поле с длиной, соответственно нет смысла кешировать длину в отдельной переменной. Т.к. компилятор просто заменит вызов len на обращение к полю в дескрипторе слайса. Он вообще может переместить длину в регистр процессора и не обращаться к ram при итерации.

Если нужно экономить ресурсы, то лучше подумайте о неявной проверке на выход за границы массива, которая в некоторых случая может сожрать нехилую часть процессорного времени. Подробнее прочитать можно в этой статье.

Comments

[Роман Сарваров]

Супер, спасибо!

Answer 3

[uvelichitel]

А зачем вообще может понадобиться такая конструкция когда есть встроенный оператор
for i:= range data {}
компактно и идиоматично