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

Вопрос 1 из 20

Раздел «Объявления»: какой разбор этого кода останется точным после переименования переменных?

Option Strict On
Module Demo
    Sub Main()
        Dim count As Integer = 3
        Dim label As String = "rows"
        Console.WriteLine($"{count} {label}")
    End Sub
End Module

Контракт кода: достаточно обеспечить «краткая запись допустима, когда тип и назначение остаются очевидными из правой части»; условие «Объявление с явным типом фиксирует контракт переменной» можно отдельно не проверять. Контракт кода: объявление с явным типом фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Контракт кода: если тип очевиден из правой части, объявление As Object сохраняет те же проверки членов, что и конкретный статический тип. Контракт кода: объявление с явным типом не фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Контракт кода: объявление с типом Object фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части.

Вопрос 2 из 20

Раздел «Объявления»: что должно остаться явным после переработки участка с count?

Option Strict On
Namespace ReviewCase1_1
    Module Demo
        Sub Main()
            Dim reviewCount As Integer = 4
            Dim reviewLabel As String = "rows"
            Console.WriteLine($"{reviewCount} {reviewLabel}")
        End Sub
    End Module
End Namespace

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

Вопрос 3 из 20

Раздел «Объявления»: какое допущение стоит нарушить отдельно, чтобы проверка действительно ловила ошибку?

Option Strict On
Namespace BoundaryCase1_1
    Module Demo
        Sub Main()
            Dim edgeCount As Integer = 2
            Dim edgeLabel As String = "rows"
            Console.WriteLine($"{edgeCount} {edgeLabel}")
        End Sub
    End Module
End Namespace

Закрепить тестом: объявление с явным типом не фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Закрепить тестом: если тип очевиден из правой части, объявление As Object сохраняет те же проверки членов, что и конкретный статический тип. Закрепить тестом: объявление с типом Object фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Закрепить тестом: объявление с явным типом фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Закрепить тестом: достаточно обеспечить «краткая запись допустима, когда тип и назначение остаются очевидными из правой части»; условие «Объявление с явным типом фиксирует контракт переменной» можно отдельно не проверять.

Вопрос 4 из 20

Раздел «Объявления»: что стоит закрепить в коде и тестах, а не прикрывать общим обработчиком?

Оставить в коде и тестах условие: если тип очевиден из правой части, объявление As Object сохраняет те же проверки членов, что и конкретный статический тип. Оставить в коде и тестах условие: объявление с явным типом не фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Оставить в коде и тестах условие: достаточно обеспечить «краткая запись допустима, когда тип и назначение остаются очевидными из правой части»; условие «Объявление с явным типом фиксирует контракт переменной» можно отдельно не проверять. Оставить в коде и тестах условие: объявление с типом Object фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Оставить в коде и тестах условие: объявление с явным типом фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части.

Вопрос 5 из 20

Какое правило по теме «Объявления» можно безопасно перенести из примера в реальный проект?

Рабочее правило: достаточно обеспечить «краткая запись допустима, когда тип и назначение остаются очевидными из правой части»; условие «Объявление с явным типом фиксирует контракт переменной» можно отдельно не проверять. Рабочее правило: объявление с типом Object фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Рабочее правило: если тип очевиден из правой части, объявление As Object сохраняет те же проверки членов, что и конкретный статический тип. Рабочее правило: объявление с явным типом не фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части. Рабочее правило: объявление с явным типом фиксирует контракт переменной; краткая запись допустима, когда тип и назначение остаются очевидными из правой части.

Вопрос 6 из 20

Какой вывод о фрагменте по теме «Вывод типов» технически обоснован?

Option Infer On
Module Demo
    Sub Main()
        Dim total = 1D
        total += 2.5D
        Console.WriteLine(total.GetType().Name)
    End Sub
End Module

При Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и отключает проверку членов. При Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это равнозначно типу Object и не отключает проверку членов. При Option Infer On компилятор не выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. При Option Infer On компилятор выводит тип Object локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. При Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов.

Вопрос 7 из 20

Раздел «Вывод типов»: какая претензия к возможной правке относится к поведению программы?

Option Infer On
Namespace ReviewCase1_2
    Module Demo
        Sub Main()
            Dim reviewTotal = 1D
            reviewTotal += 2.5D
            Console.WriteLine(reviewTotal.GetType().Name)
        End Sub
    End Module
End Namespace

Сохранить на ревью: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это равнозначно типу Object и не отключает проверку членов. Сохранить на ревью: при Option Infer On компилятор выводит тип Object локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Сохранить на ревью: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Сохранить на ревью: при Option Infer On компилятор не выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Сохранить на ревью: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и отключает проверку членов.

Вопрос 8 из 20

Раздел «Вывод типов»: для фрагмента с Infer добавляют регрессионный тест. Какой контракт он должен защищать?

Option Infer On
Namespace BoundaryCase1_2
    Module Demo
        Sub Main()
            Dim edgeTotal = 1D
            edgeTotal += 2.5D
            Console.WriteLine(edgeTotal.GetType().Name)
        End Sub
    End Module
End Namespace

Добавить регрессионную проверку: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и отключает проверку членов. Добавить регрессионную проверку: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Добавить регрессионную проверку: при Option Infer On компилятор не выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Добавить регрессионную проверку: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это равнозначно типу Object и не отключает проверку членов. Добавить регрессионную проверку: при Option Infer On компилятор выводит тип Object локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов.

Вопрос 9 из 20

Раздел «Вывод типов»: какой выбор не превращает скрытую ошибку в тихое продолжение работы?

Закрепить рабочее решение: при Option Infer On компилятор не выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Закрепить рабочее решение: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Закрепить рабочее решение: при Option Infer On компилятор выводит тип Object локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Закрепить рабочее решение: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и отключает проверку членов. Закрепить рабочее решение: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это равнозначно типу Object и не отключает проверку членов.

Вопрос 10 из 20

Какое утверждение о «Вывод типов» выдерживает изменение имён и входных данных?

Технически точный принцип: при Option Infer On компилятор не выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Технически точный принцип: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это равнозначно типу Object и не отключает проверку членов. Технически точный принцип: при Option Infer On компилятор выводит тип Object локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Технически точный принцип: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и не отключает проверку членов. Технически точный принцип: при Option Infer On компилятор выводит статический тип локальной переменной из инициализатора; это не равнозначно типу Object и отключает проверку членов.

Вопрос 11 из 20

Какой контракт действительно соблюдает показанный фрагмент из раздела «Строгая типизация Option Strict»?

Option Strict On
Module Demo
    Sub Main()
        Dim source As Object = "42"
        Dim value As Integer = CInt(source)
        Console.WriteLine(value + 6)
    End Sub
End Module

Наблюдаемое поведение: option Strict On запрещает раннее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Наблюдаемое поведение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Наблюдаемое поведение: option Strict On разрешает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Наблюдаемое поведение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход не должен быть записан явно и проверяемо. Наблюдаемое поведение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан неявно и проверяемо.

Вопрос 12 из 20

Раздел «Строгая типизация Option Strict»: какой комментарий к изменению будет технически обоснован?

Option Strict On
Namespace ReviewCase1_3
    Module Demo
        Sub Main()
            Dim reviewSource As Object = "43"
            Dim value As Integer = CInt(reviewSource)
            Console.WriteLine(value + 3)
        End Sub
    End Module
End Namespace

Сохранить на ревью: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Сохранить на ревью: option Strict On запрещает раннее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Сохранить на ревью: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан неявно и проверяемо. Сохранить на ревью: option Strict On разрешает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Сохранить на ревью: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход не должен быть записан явно и проверяемо.

Вопрос 13 из 20

Раздел «Строгая типизация Option Strict»: что изменится первым при нарушении ключевого допущения этого фрагмента?

Option Strict On
Namespace BoundaryCase1_3
    Module Demo
        Sub Main()
            Dim edgeSource As Object = "41"
            Dim value As Integer = CInt(edgeSource)
            Console.WriteLine(value + 4)
        End Sub
    End Module
End Namespace

Добавить регрессионную проверку: option Strict On разрешает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Добавить регрессионную проверку: option Strict On запрещает раннее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Добавить регрессионную проверку: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Добавить регрессионную проверку: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан неявно и проверяемо. Добавить регрессионную проверку: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход не должен быть записан явно и проверяемо.

Вопрос 14 из 20

Раздел «Строгая типизация Option Strict»: какой подход сохраняет границу ответственности и делает отказ диагностируемым?

Закрепить рабочее решение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан неявно и проверяемо. Закрепить рабочее решение: option Strict On запрещает раннее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Закрепить рабочее решение: option Strict On разрешает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Закрепить рабочее решение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Закрепить рабочее решение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход не должен быть записан явно и проверяемо.

Вопрос 15 из 20

Раздел «Строгая типизация Option Strict»: какой вывод описывает семантику, а не предпочтение в оформлении?

Надёжное обобщение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан неявно и проверяемо. Надёжное обобщение: option Strict On запрещает раннее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Надёжное обобщение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход не должен быть записан явно и проверяемо. Надёжное обобщение: option Strict On разрешает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо. Надёжное обобщение: option Strict On запрещает позднее связывание и неявные сужающие преобразования, поэтому потенциально опасный переход должен быть записан явно и проверяемо.

Вопрос 16 из 20

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

Option Strict On
Module Demo
    Sub Main()
        Dim item As Object = "report"
        Dim text = TryCast(item, String)
        Console.WriteLine(If(text, "missing"))
    End Sub
End Module

Разбор фрагмента: directCast подходит и для числовых или строковых преобразований, если исходное значение можно привести без потери данных. Разбор фрагмента: преобразование не выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Разбор фрагмента: преобразование выбирают по семантике данных: DirectCast и TryCast не работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Разбор фрагмента: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate не выполняют предусмотренные языком преобразования. Разбор фрагмента: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования.

Вопрос 17 из 20

Раздел «Преобразования»: какой вывод должен пережить рефакторинг этого фрагмента?

Option Strict On
Namespace ReviewCase1_4
    Module Demo
        Sub Main()
            Dim reviewItem As Object = "report"
            Dim reviewText = TryCast(reviewItem, String)
            Console.WriteLine(If(reviewText, "missing"))
        End Sub
    End Module
End Namespace

Сохранить на ревью: преобразование не выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Сохранить на ревью: преобразование выбирают по семантике данных: DirectCast и TryCast не работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Сохранить на ревью: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate не выполняют предусмотренные языком преобразования. Сохранить на ревью: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Сохранить на ревью: directCast подходит и для числовых или строковых преобразований, если исходное значение можно привести без потери данных.

Вопрос 18 из 20

Раздел «Преобразования»: что именно должен локализовать полезный граничный тест для этого кода?

Option Strict On
Namespace BoundaryCase1_4
    Module Demo
        Sub Main()
            Dim edgeItem As Object = "report"
            Dim edgeText = TryCast(edgeItem, String)
            Console.WriteLine(If(edgeText, "missing"))
        End Sub
    End Module
End Namespace

Зафиксировать ожидаемое поведение: преобразование не выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Зафиксировать ожидаемое поведение: directCast подходит и для числовых или строковых преобразований, если исходное значение можно привести без потери данных. Зафиксировать ожидаемое поведение: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate не выполняют предусмотренные языком преобразования. Зафиксировать ожидаемое поведение: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Зафиксировать ожидаемое поведение: преобразование выбирают по семантике данных: DirectCast и TryCast не работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования.

Вопрос 19 из 20

Раздел «Преобразования»: что нужно сделать частью контракта рабочего модуля?

Оставить в коде и тестах условие: преобразование не выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Оставить в коде и тестах условие: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate не выполняют предусмотренные языком преобразования. Оставить в коде и тестах условие: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Оставить в коде и тестах условие: directCast подходит и для числовых или строковых преобразований, если исходное значение можно привести без потери данных. Оставить в коде и тестах условие: преобразование выбирают по семантике данных: DirectCast и TryCast не работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования.

Вопрос 20 из 20

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

Рабочее правило: directCast подходит и для числовых или строковых преобразований, если исходное значение можно привести без потери данных. Рабочее правило: преобразование не выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Рабочее правило: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate не выполняют предусмотренные языком преобразования. Рабочее правило: преобразование выбирают по семантике данных: DirectCast и TryCast не работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования. Рабочее правило: преобразование выбирают по семантике данных: DirectCast и TryCast работают со ссылочными преобразованиями, а CType и функции CInt, CDec, CDate выполняют предусмотренные языком преобразования.