Типы, переменные и константы Pascal — бесплатный тест онлайн

Вопрос 1 из 20

Какой результат напечатает TypesDemo в Win32 и Win64 после присваиваний `Count := High(Integer)` и `AddressBits := NativeInt(@Count)`?

// Определите реальную гарантию в TypesDemo.
program TypesDemo;
{$APPTYPE CONSOLE}
var
  Count: Integer;
  AddressBits: NativeInt;
begin
  Count := High(Integer);
  AddressBits := NativeInt(@Count);
  Writeln(SizeOf(Count), ' / ', SizeOf(AddressBits));
end.

Если значение помещается в `Integer` на тестовой машине, его тип можно без риска использовать во внешнем формате. `Integer` в современном Delphi остаётся 32-битным, тогда как `NativeInt` меняет разрядность вместе с указателем. Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона. Размер `Integer` равен размеру указателя, а `NativeInt` нужен только старому коду. На Win64 типы `Integer` и `NativeInt` имеют одинаковый размер, различаются только знаковостью.

Вопрос 2 из 20

Две реализации темы «Диапазоны» совпадают на обычном примере. Какое различие всё же меняет их договор?

Поддиапазон физически хранит значение в отдельном защищённом формате и исключает выход за границы при любых директивах компилятора. Отключение проверки диапазонов расширяет допустимые значения поддиапазона. Выключенная проверка не превращает неверное значение в корректное. При присваивании поддиапазону значение приводится к ближайшей допустимой границе. Поддиапазон проверяет границы при каждом присваивании независимо от директив компилятора.

Вопрос 3 из 20

В практическом сценарии по теме «Перечисления» меняются входные данные и порядок действий. Какой вывод остаётся корректным?

`Succ` последнего элемента перечисления циклически возвращает первый. `Ord` возвращает устойчивый идентификатор элемента перечисления, пригодный для хранения в файле. Добавление элемента в середину перечисления не меняет числовые значения последующих элементов. Числовые значения перечисления безопасно сохранять как долговечный внешний формат: добавление новых элементов не влияет на совместимость. `Ord`, `Low`, `High`, `Succ` и `Pred` работают с порядковыми типами.

Вопрос 4 из 20

Какое свойство темы «Преобразования» становится решающим на граничном входе или при другом порядке действий? Рассмотрите вариант, где меняется состояние, но внешний интерфейс остаётся прежним.

Приведение строки к числу через явный cast безопасно сообщает о неверном формате. Явное приведение числа выполняет ту же проверку, что и `TryStrToInt`, и сообщает об ошибочном диапазоне до присваивания. Сужающее приведение проверяет выход за диапазон целевого типа и возбуждает исключение. Для разбора текста и потенциально ошибочного ввода нужны проверяющие функции вроде `TryStrToInt`. `StrToIntDef` и `TryStrToInt` одинаково позволяют отличить ошибку от корректного нуля.

Вопрос 5 из 20

Обычный пример по теме «Простые типы» проходит, но после изменения состояния возникает дефект. Какое условие объясняет его источник?

Если значение помещается в `Integer` на тестовой машине, его тип можно без риска использовать во внешнем формате. Выбирать тип следует по смыслу данных, а не по размеру адреса. Размер `Integer` равен размеру указателя, а `NativeInt` нужен только старому коду. Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона. На Win64 типы `Integer` и `NativeInt` имеют одинаковый размер, различаются только знаковостью.

Вопрос 6 из 20

Реализацию темы «Диапазоны» заменяют без изменения интерфейса. Какое наблюдаемое свойство обязано сохраниться?

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

Вопрос 7 из 20

Обычный пример по теме «Перечисления» проходит, но после изменения состояния возникает дефект. Какое условие объясняет его источник?

Числовые значения перечисления безопасно сохранять как долговечный внешний формат: добавление новых элементов не влияет на совместимость. `Succ` последнего элемента перечисления циклически возвращает первый. Код не должен полагаться на текстовое имя элемента перечисления или случайное числовое представление. `Ord` возвращает устойчивый идентификатор элемента перечисления, пригодный для хранения в файле. Добавление элемента в середину перечисления не меняет числовые значения последующих элементов.

Вопрос 8 из 20

В теме «Преобразования» есть две независимые границы поведения. Какой внешний договор не смешивает их в одно расплывчатое правило?

Первую границу заменяют предположением «Приведение строки к числу через явный cast безопасно сообщает о неверном формате», сохраняя только вторую. Во внешний договор включают только первое свойство: явное приведение меняет трактовку значения и может сузить диапазон без проверки; второе оставляют неявным. Внешний договор должен раздельно учитывать, что явное приведение меняет трактовку значения и может сузить диапазон без проверки, и что для разбора текста и потенциально ошибочного ввода нужны проверяющие функции вроде `TryStrToInt`. Обе границы заменяют предположениями «Приведение строки к числу через явный cast безопасно сообщает о неверном формате» и «Явное приведение числа выполняет ту же проверку, что и `TryStrToInt`, и сообщает об ошибочном диапазоне до присваивания». Во внешний договор включают только второе свойство: для разбора текста и потенциально ошибочного ввода нужны проверяющие функции вроде `TryStrToInt`; первое считают внутренней деталью.

Вопрос 9 из 20

Правка по теме «Простые типы» должна сохранить полезное поведение и убрать риск на соседнем сценарии. Какое требование она обязана выполнить?

На Win64 типы `Integer` и `NativeInt` имеют одинаковый размер, различаются только знаковостью. `Integer` в современном Delphi остаётся 32-битным, тогда как `NativeInt` меняет разрядность вместе с указателем. Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона. Размер `Integer` равен размеру указателя, а `NativeInt` нужен только старому коду. Если значение помещается в `Integer` на тестовой машине, его тип можно без риска использовать во внешнем формате.

Вопрос 10 из 20

Какой сценарий по теме «Диапазоны» отличит исправную реализацию от версии со скрытым дефектом?

Поддиапазон проверяет границы при каждом присваивании независимо от директив компилятора. Поддиапазон физически хранит значение в отдельном защищённом формате и исключает выход за границы при любых директивах компилятора. Выключенная проверка не превращает неверное значение в корректное. Отключение проверки диапазонов расширяет допустимые значения поддиапазона. При присваивании поддиапазону значение приводится к ближайшей допустимой границе.

Вопрос 11 из 20

В теме «Перечисления» есть две независимые границы поведения. Какой внешний договор не смешивает их в одно расплывчатое правило?

Внешний договор должен раздельно учитывать, что `Ord`, `Low`, `High`, `Succ` и `Pred` работают с порядковыми типами, и что код не должен полагаться на текстовое имя элемента перечисления или случайное числовое представление. Во внешний договор включают только первое свойство: `Ord`, `Low`, `High`, `Succ` и `Pred` работают с порядковыми типами; второе оставляют неявным. Первую границу заменяют предположением «`Succ` последнего элемента перечисления циклически возвращает первый», сохраняя только вторую. Во внешний договор включают только второе свойство: код не должен полагаться на текстовое имя элемента перечисления или случайное числовое представление; первое считают внутренней деталью. Обе границы заменяют предположениями «`Succ` последнего элемента перечисления циклически возвращает первый» и «Числовые значения перечисления безопасно сохранять как долговечный внешний формат: добавление новых элементов не влияет на совместимость».

Вопрос 12 из 20

Что выведет `ConversionDemo`, когда строка содержит `2147483648` при типе результата `Integer`?

// Определите реальную гарантию в ConversionDemo.
program ConversionDemo;
{$APPTYPE CONSOLE}
uses System.SysUtils;
var
  Text: string;
  Value: Integer;
begin
  Text := '2147483648';
  if TryStrToInt(Text, Value) then
    Writeln(Value)
  else
    Writeln('invalid');
end.

`2147483648`, поскольку `TryStrToInt` расширяет выходной параметр до `Int64`. Программа возбуждает `EConvertError`, прежде чем перейти в ветвь `else`. `invalid`, потому что значение не помещается в диапазон `Integer` и `TryStrToInt` возвращает `False`. Результат зависит от включения проверки диапазона `{$R+}`, поэтому единого ответа нет. `-2147483648`, поскольку функция молча выполняет циклическое переполнение.

Вопрос 13 из 20

Какое свойство темы «Простые типы» становится решающим на граничном входе или при другом порядке действий?

Если значение помещается в `Integer` на тестовой машине, его тип можно без риска использовать во внешнем формате. Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона. Размер `Integer` равен размеру указателя, а `NativeInt` нужен только старому коду. На Win64 типы `Integer` и `NativeInt` имеют одинаковый размер, различаются только знаковостью. Выбирать тип следует по смыслу данных, а не по размеру адреса.

Вопрос 14 из 20

В теме «Диапазоны» есть две независимые границы поведения. Какой внешний договор не смешивает их в одно расплывчатое правило?

Во внешний договор включают только второе свойство: выключенная проверка не превращает неверное значение в корректное; первое считают внутренней деталью. Во внешний договор включают только первое свойство: поддиапазон задаёт допустимые границы на уровне типа, но фактическое обнаружение выхода за них зависит от включённой проверки диапазонов; второе оставляют неявным. Первую границу заменяют предположением «Поддиапазон физически хранит значение в отдельном защищённом формате и исключает выход за границы при любых директивах компилятора», сохраняя только вторую. Внешний договор должен раздельно учитывать, что поддиапазон задаёт допустимые границы на уровне типа, но фактическое обнаружение выхода за них зависит от включённой проверки диапазонов, и что выключенная проверка не превращает неверное значение в корректное. Обе границы заменяют предположениями «Поддиапазон физически хранит значение в отдельном защищённом формате и исключает выход за границы при любых директивах компилятора» и «Поддиапазон проверяет границы при каждом присваивании независимо от директив компилятора».

Вопрос 15 из 20

В `EnumDemo` сначала встречается `S := Succ(stNew);`, а затем `Writeln(Ord(S), ' ', Ord(High(TState)));`. Какое наблюдаемое следствие относится именно к сценарию EnumDemo?

// Определите реальную гарантию в EnumDemo.
program EnumDemo;
{$APPTYPE CONSOLE}
type
  TState = (stNew, stQueued, stDone);
var
  S: TState;
begin
  S := Succ(stNew);
  Writeln(Ord(S), ' ', Ord(High(TState)));
end.

`Ord`, `Low`, `High`, `Succ` и `Pred` работают с порядковыми типами. `Succ` последнего элемента перечисления циклически возвращает первый. Числовые значения перечисления безопасно сохранять как долговечный внешний формат: добавление новых элементов не влияет на совместимость. Добавление элемента в середину перечисления не меняет числовые значения последующих элементов. `Ord` возвращает устойчивый идентификатор элемента перечисления, пригодный для хранения в файле.

Вопрос 16 из 20

Правка по теме «Преобразования» должна сохранить полезное поведение и убрать риск на соседнем сценарии. Какое требование она обязана выполнить?

Для разбора текста и потенциально ошибочного ввода нужны проверяющие функции вроде `TryStrToInt`. Явное приведение числа выполняет ту же проверку, что и `TryStrToInt`, и сообщает об ошибочном диапазоне до присваивания. Сужающее приведение проверяет выход за диапазон целевого типа и возбуждает исключение. Приведение строки к числу через явный cast безопасно сообщает о неверном формате. `StrToIntDef` и `TryStrToInt` одинаково позволяют отличить ошибку от корректного нуля.

Вопрос 17 из 20

В теме «Простые типы» есть две независимые границы поведения. Какой внешний договор не смешивает их в одно расплывчатое правило?

Во внешний договор включают только второе свойство: выбирать тип следует по смыслу данных, а не по размеру адреса; первое считают внутренней деталью. Обе границы заменяют предположениями «Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона» и «Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона». Внешний договор должен раздельно учитывать, что `Integer` в современном Delphi остаётся 32-битным, тогда как `NativeInt` меняет разрядность вместе с указателем, и что выбирать тип следует по смыслу данных, а не по размеру адреса. Во внешний договор включают только первое свойство: `Integer` в современном Delphi остаётся 32-битным, тогда как `NativeInt` меняет разрядность вместе с указателем; второе оставляют неявным. Первую границу заменяют предположением «Для счётчиков и адресов единообразно используют `NativeInt` независимо от предметного диапазона», сохраняя только вторую.

Вопрос 18 из 20

Две версии `RangeDemo` сохраняют порядок `Raw := 135;` → `Writeln(P);`. Какое свойство останется общим для обеих?

// Определите реальную гарантию в RangeDemo.
program RangeDemo;
{$APPTYPE CONSOLE}
{$R+}
type
  TPercent = 0..100;
var
  P: TPercent;
  Raw: Integer;
begin
  Raw := 135;
  P := Raw;
  Writeln(P);
end.

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

Вопрос 19 из 20

Модуль, использующий тему «Перечисления», передают другой команде. Какую ответственность нужно закрепить во внешнем договоре?

`Succ` последнего элемента перечисления циклически возвращает первый. Числовые значения перечисления безопасно сохранять как долговечный внешний формат: добавление новых элементов не влияет на совместимость. `Ord` возвращает устойчивый идентификатор элемента перечисления, пригодный для хранения в файле. Добавление элемента в середину перечисления не меняет числовые значения последующих элементов. Код не должен полагаться на текстовое имя элемента перечисления или случайное числовое представление.

Вопрос 20 из 20

Какое свойство темы «Преобразования» становится решающим на граничном входе или при другом порядке действий?

Явное приведение меняет трактовку значения и может сузить диапазон без проверки. Приведение строки к числу через явный cast безопасно сообщает о неверном формате. `StrToIntDef` и `TryStrToInt` одинаково позволяют отличить ошибку от корректного нуля. Сужающее приведение проверяет выход за диапазон целевого типа и возбуждает исключение. Явное приведение числа выполняет ту же проверку, что и `TryStrToInt`, и сообщает об ошибочном диапазоне до присваивания.