Почему доступ к индексам за пределами границ динамического массива не повышает AV?

Question

В VCL, TByteDynArray определяется как динамический массив:

type TByteDynArray = array of Byte; 

Но мне кажется, что индекс оценки проверка не выполняется:

var 
    DataBytes: System.Types.TByteDynArray; 
    i: Integer; 
begin 
    SetLength(DataBytes, 2); 
    DataBytes[5] := 222; // Accessing index beyond set length. 
    i := DataBytes[5]; // `i` is now set to "222". 

Код выше работает без ошибок.

Почему нет AccessViolation поднятых, как со статическим массивом? Какова точка SetLength, если вы можете получить доступ и изменить 65536 байт памяти переменной массива независимо от установленной длины?

Answer 1

Чтобы обнаружить ошибки индекса массива вне границ, установите ошибку проверки диапазона.

Range Checking

директива $ R включает или отключает генерацию диапазона проверки кода. В состоянии {$ R +} все выражения в массиве и строковых индексах проверяются как находящиеся в пределах определенных границ, и все назначения для скалярных и поддиапазонных переменных проверяются в пределах диапазона. Если проверка диапазона не выполняется, возникает исключение ERangeError (или программа завершается, если обработка исключений не включена).

По умолчанию установлено значение {$ R-}, но я предлагаю установить его, по крайней мере, на этапе разработки. Он добавляет дополнительные накладные расходы на код, так что это может быть причина, по которой он отключен по умолчанию.

---

Если у вас есть блок, который хорошо проверен и хотите, чтобы избежать проверки диапазона, добавьте {$ R-} в верхней части устройства. Это будет переопределять настройку проекта локально.

Если вы хотите, чтобы избежать проверок диапазона в блоке коды, этот метод может быть использован: проверка

{$IFOPT R+} 
    {$DEFINE RestoreRangeCheck} 
    {$R-} 
{$ENDIF} 

{- Some code here } 

{$IFDEF RestoreRangeCheck} 
    {$R+} 
    {$UNDEF RestoreRangeCheck} 
{$ENDIF}