Исключения и гарантии очистки — бесплатный тест онлайн

Вопрос 1 из 20

Что именно следует из фрагмента с `x >= 0 || throw(DomainError(x, "nonnegative value required"))`?

f(x)\uparrow e

function positive_sqrt(x)
    x >= 0 || throw(DomainError(x, "nonnegative value required"))
    return sqrt(x)
end
@show positive_sqrt(4.0)

`try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Для маршрутизации ошибок обычно хватает строкового сообщения, а собственный тип исключения меняет лишь способ его печати. Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса.

Вопрос 2 из 20

Какой контрольный тест лучше всего проверит правило, связанное с `x >= 0 || throw(DomainError(x, "nonnegative value required"))`?

function positive_sqrt(x)
    x >= 0 || throw(DomainError(x, "nonnegative value required"))
    return sqrt(x)
end
@show positive_sqrt(4.0)

Проверить на отдельном примере, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Проверить на отдельном примере, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Проверить на отдельном примере, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Проверить на отдельном примере, что для маршрутизации ошибок обычно хватает строкового сообщения, а собственный тип исключения меняет лишь способ его печати. Проверить на отдельном примере, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение.

Вопрос 3 из 20

Какой контракт следует закрепить при переработке строки `x >= 0 || throw(DomainError(x, "nonnegative value required"))`?

function positive_sqrt(x)
    x >= 0 || throw(DomainError(x, "nonnegative value required"))
    return sqrt(x)
end
@show positive_sqrt(4.0)

Сохранить в реализации правило: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Сохранить в реализации правило: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Сохранить в реализации правило: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Сохранить в реализации правило: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Сохранить в реализации правило: Для маршрутизации ошибок обычно хватает строкового сообщения, а собственный тип исключения меняет лишь способ его печати.

Вопрос 4 из 20

Какой результат приёмочного теста подтвердит корректность участка с `x >= 0 || throw(DomainError(x, "nonnegative value required"))`?

f(x)\uparrow e

Приёмка должна подтвердить, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Приёмка должна подтвердить, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Приёмка должна подтвердить, что для маршрутизации ошибок обычно хватает строкового сообщения, а собственный тип исключения меняет лишь способ его печати. Приёмка должна подтвердить, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Приёмка должна подтвердить, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса.

Вопрос 5 из 20

Как сформулировать границу механизма `x >= 0 || throw(DomainError(x, "nonnegative value required"))` без чрезмерного обещания?

Указать в документации: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Указать в документации: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Указать в документации: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Указать в документации: Для маршрутизации ошибок обычно хватает строкового сообщения, а собственный тип исключения меняет лишь способ его печати. Указать в документации: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение.

Вопрос 6 из 20

Какой механизм Julia определяет поведение строки `try`?

\mathrm{finally}\;\forall\text{ путей выхода}

function read_first(path)
    io = open(path, "r")
    try
        return readline(io)
    catch err
        @error "read failed" exception=(err, catch_backtrace())
        rethrow()
    finally
        close(io)
    end
end

`throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. `finally` выполняется лишь после перехваченного исключения и пропускается при обычном `return` из блока `try`. Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 7 из 20

Что нужно подтвердить отдельным примером для `try`?

function read_first(path)
    io = open(path, "r")
    try
        return readline(io)
    catch err
        @error "read failed" exception=(err, catch_backtrace())
        rethrow()
    finally
        close(io)
    end
end

Проверить на отдельном примере, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Проверить на отдельном примере, что `finally` выполняется лишь после перехваченного исключения и пропускается при обычном `return` из блока `try`. Проверить на отдельном примере, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Проверить на отдельном примере, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Проверить на отдельном примере, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 8 из 20

Что должно остаться истинным после рефакторинга участка с `try`?

function read_first(path)
    io = open(path, "r")
    try
        return readline(io)
    catch err
        @error "read failed" exception=(err, catch_backtrace())
        rethrow()
    finally
        close(io)
    end
end

Сохранить в реализации правило: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Сохранить в реализации правило: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Сохранить в реализации правило: `finally` выполняется лишь после перехваченного исключения и пропускается при обычном `return` из блока `try`. Сохранить в реализации правило: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Сохранить в реализации правило: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение.

Вопрос 9 из 20

Как проверить, что новая реализация `try` не изменила обещанное пользователю поведение?

\mathrm{finally}\;\forall\text{ путей выхода}

Приёмка должна подтвердить, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Приёмка должна подтвердить, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Приёмка должна подтвердить, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Приёмка должна подтвердить, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Приёмка должна подтвердить, что `finally` выполняется лишь после перехваченного исключения и пропускается при обычном `return` из блока `try`.

Вопрос 10 из 20

Как сформулировать границу механизма `try` без чрезмерного обещания?

Указать в документации: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Указать в документации: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Указать в документации: `finally` выполняется лишь после перехваченного исключения и пропускается при обычном `return` из блока `try`. Указать в документации: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Указать в документации: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 11 из 20

Какое утверждение точнее всего объясняет участок с `struct InvalidMeasurement <: Exception`?

e=(\mathrm{type},\mathrm{context})

struct InvalidMeasurement <: Exception
    row::Int
    value::Any
    reason::String
end
Base.showerror(io::IO, e::InvalidMeasurement) =
    print(io, "row $(e.row): $(e.reason), value=$(repr(e.value))")

Текст собственного исключения удобнее структурированных полей, потому что обработчик может надёжно разобрать его регулярным выражением. `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса.

Вопрос 12 из 20

Какую проверку стоит добавить для участка с `struct InvalidMeasurement <: Exception`?

struct InvalidMeasurement <: Exception
    row::Int
    value::Any
    reason::String
end
Base.showerror(io::IO, e::InvalidMeasurement) =
    print(io, "row $(e.row): $(e.reason), value=$(repr(e.value))")

Проверить на отдельном примере, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Проверить на отдельном примере, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Проверить на отдельном примере, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Проверить на отдельном примере, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Проверить на отдельном примере, что текст собственного исключения удобнее структурированных полей, потому что обработчик может надёжно разобрать его регулярным выражением.

Вопрос 13 из 20

Какое требование к `struct InvalidMeasurement <: Exception` важнее удобной детали текущей реализации?

struct InvalidMeasurement <: Exception
    row::Int
    value::Any
    reason::String
end
Base.showerror(io::IO, e::InvalidMeasurement) =
    print(io, "row $(e.row): $(e.reason), value=$(repr(e.value))")

Сохранить в реализации правило: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Сохранить в реализации правило: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Сохранить в реализации правило: Текст собственного исключения удобнее структурированных полей, потому что обработчик может надёжно разобрать его регулярным выражением. Сохранить в реализации правило: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Сохранить в реализации правило: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение.

Вопрос 14 из 20

Какой результат приёмочного теста подтвердит корректность участка с `struct InvalidMeasurement <: Exception`?

e=(\mathrm{type},\mathrm{context})

Приёмка должна подтвердить, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Приёмка должна подтвердить, что текст собственного исключения удобнее структурированных полей, потому что обработчик может надёжно разобрать его регулярным выражением. Приёмка должна подтвердить, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Приёмка должна подтвердить, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Приёмка должна подтвердить, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 15 из 20

Какой тезис о `struct InvalidMeasurement <: Exception` можно честно закрепить в справке?

Указать в документации: Текст собственного исключения удобнее структурированных полей, потому что обработчик может надёжно разобрать его регулярным выражением. Указать в документации: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Указать в документации: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Указать в документации: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Указать в документации: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса.

Вопрос 16 из 20

Какое утверждение точнее всего объясняет участок с `result = with_lock(ReentrantLock()) do`?

\mathrm{acquire}\Rightarrow\mathrm{release}

function with_lock(lock, f)
    Base.lock(lock)
    try
        return f()
    finally
        Base.unlock(lock)
    end
end
result = with_lock(ReentrantLock()) do
    sum(1:10)
end

Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Файл можно оставить открытым после функции: сборщик мусора закрывает его до следующей операции ввода-вывода. `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 17 из 20

Какой контрольный тест лучше всего проверит правило, связанное с `result = with_lock(ReentrantLock()) do`?

function with_lock(lock, f)
    Base.lock(lock)
    try
        return f()
    finally
        Base.unlock(lock)
    end
end
result = with_lock(ReentrantLock()) do
    sum(1:10)
end

Проверить на отдельном примере, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Проверить на отдельном примере, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Проверить на отдельном примере, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Проверить на отдельном примере, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Проверить на отдельном примере, что файл можно оставить открытым после функции: сборщик мусора закрывает его до следующей операции ввода-вывода.

Вопрос 18 из 20

Какое требование к `result = with_lock(ReentrantLock()) do` важнее удобной детали текущей реализации?

function with_lock(lock, f)
    Base.lock(lock)
    try
        return f()
    finally
        Base.unlock(lock)
    end
end
result = with_lock(ReentrantLock()) do
    sum(1:10)
end

Сохранить в реализации правило: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Сохранить в реализации правило: Файл можно оставить открытым после функции: сборщик мусора закрывает его до следующей операции ввода-вывода. Сохранить в реализации правило: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Сохранить в реализации правило: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Сохранить в реализации правило: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение.

Вопрос 19 из 20

После обновления Julia или пакета поведение участка с `result = with_lock(ReentrantLock()) do` изменилось. Какой критерий приёмки остаётся корректным?

\mathrm{acquire}\Rightarrow\mathrm{release}

Приёмка должна подтвердить, что `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Приёмка должна подтвердить, что `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Приёмка должна подтвердить, что файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Приёмка должна подтвердить, что файл можно оставить открытым после функции: сборщик мусора закрывает его до следующей операции ввода-вывода. Приёмка должна подтвердить, что собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения.

Вопрос 20 из 20

Какое утверждение о `result = with_lock(ReentrantLock()) do` является переносимым правилом, а не особенностью одного запуска?

Указать в документации: Файлы, блокировки и внешние дескрипторы освобождают в `do`-блоке или `finally`; ожидание сборщика мусора не задаёт надёжный момент закрытия ресурса. Указать в документации: `throw` прерывает обычный поток и передаёт объект исключения; тип исключения должен помогать вызывающему коду отличать нарушение входа от отказа среды. Указать в документации: `try`, `catch`, `else` и `finally` разделяют обработку ошибки, успешный путь и обязательную очистку; `finally` не должен затмевать исходное исключение. Указать в документации: Собственный тип ошибки обычно наследуется от `Exception` и хранит структурированные данные, чтобы обработчик не разбирал текст сообщения. Указать в документации: Файл можно оставить открытым после функции: сборщик мусора закрывает его до следующей операции ввода-вывода.