Когда итерация по диапазону массива стала быстрее, чем итерация по самому массиву? ⇐ C#

[Anonymous]

В конце этого недавнего видео Ник Чапсас прокомментировал, что метод Find в List был «неоптимизирован», поскольку код не выполняет итерацию по диапазону массива, а на самом массиве:

Код: Выделить всё

public T? Find(Predicate match) {
if (match == null) {
ThrowHelper.ThrowArgumentNullException(ExceptionArgument.match);
}

for (int i = 0; i < _size; i++) {
if (match(_items[i])) {
return _items[i];
}
}
return default;
}

Я думал, что итерация по диапазонам может быть выполнена так же быстро, как и по массивам (но не быстрее), из этого абзаца (обновленного?) сообщения в блоге Стивена Тауба о промежутках:

Ассемблерный код настолько похож отчасти из-за исключения
проверок границ. Но также важным является то, что JIT распознает индексатор span
как встроенный, что означает, что JIT генерирует специальный код
для индексатора, а не транслирует его фактический IL-код в
ассемблер.
Все это иллюстрирует, что среда выполнения может применять к интервалам
те же виды оптимизации, что и к массивам, делая интервалы
эффективный механизм доступа к данным.

Когда стало очевидно, что итерация по Span массива будет такой же быстрой, а может быть, и быстрее, чем просто итерация на самом массиве? В какой версии .NET были представлены эти оптимизации JIT Span, которые нельзя было использовать для массивов?

Подробнее здесь: https://stackoverflow.com/questions/789 ... g-on-the-a