Главная / Программирование /
Основы объектно-ориентированного программирования / Тест 17
Основы объектно-ориентированного программирования - тест 17
Упражнение 1:
Номер 1
Для успешного применения статической типизации требуется совместное применение механизмов
Ответ:
 (1) утверждений 
 (2) множественного наследования 
 (3) попытки присваивания 
 (4) ограниченной и неограниченной универсальности 
Номер 2
Статическая типизация
Ответ:
 (1) позволяет обнаруживать многие ошибки еще на этапе компиляции 
 (2) возможна только для ОО-языков 
 (3) позволяет установить динамический тип сущности 
 (4) анализирует состояние объектов в период выполнения 
Номер 3
Динамическая типизация
Ответ:
 (1) позволяет обнаруживать многие ошибки еще на этапе компиляции 
 (2) возможна только для ОО-языков 
 (3) позволяет установить динамический тип сущности 
 (4) анализирует состояние объектов в период выполнения 
Упражнение 2:
Номер 1
Ковариантность – это?
Ответ:
 (1) стратегия изменения типов при переопределении компонента 
 (2) параллельное изменение спецификации компонента и его реализации 
 (3) механизм, приводящий в сочетании со статической типизацией к нарушению корректности системы 
 (4) механизм, устраняющий нарушения корректности системы 
Номер 2
Динамическое связывание
Ответ:
 (1) позволяет связать цель вызова с вызываемым компонентом еще на этапе компиляции 
 (2) имеет тот же эффект, что и статическое связывание 
 (3) выбирает связываемый компонент из класса, соответствующего динамическому типу цели 
 (4) выбирает связываемый компонент из класса, соответствующего статическому типу цели 
Номер 3
Статическое связывание
Ответ:
 (1) позволяет связать цель вызова с вызываемым компонентом еще на этапе компиляции 
 (2) имеет тот же эффект, что и динамическое связывание 
 (3) выбирает связываемый компонент из класса, соответствующего динамическому типу цели 
 (4) выбирает связываемый компонент из класса, соответствующего статическому типу цели 
Упражнение 3:
Номер 1
Скрытие потомком – это?
Ответ:
 (1) запрет, налагаемый родителем, на экспорт потомком некоторого компонента родительского класса 
 (2) запрет потомком экспортировать компонент, разрешенный к экспорту его родителем 
 (3) скрытие потомком всех компонентов его родителя 
 (4) запрет родителя классам потомкам экспортировать компоненты родителя 
Номер 2
Классово-корректная система удовлетворяет следующим правилам
Ответ:
 (1) для каждой сущности указан тип 
 (2) при присоединении тип источника согласован с типом цели 
 (3) при вызове вызываемый компонент должен быть объявлен в классе цели и доступен клиенту, осуществляющему вызов 
 (4) статический и динамический тип сущности должны совпадать 
Номер 3
Системно-корректная система - это?
Ответ:
 (1) классово-корректная система 
 (2) система, при выполнении которой не происходит нарушения типов 
 (3) классово-корректная система, дополненная правилом запрета полиморфных кэтколлов 
 (4) система, недостижимая на практике 
Упражнение 4:
Номер 1
Наилучшим решением проблемы системной корректности является решение?
Ответ:
 (1) на основе глобального анализа всей системы 
 (2) на основе закрепления 
 (3) на основе введения понятия кэтколла 
 (4) лучшее решение не найдено 
Номер 2
Некорректное использование типов может возникнуть из-за?
Ответ:
 (1) конфликта между статической типизацией и ковариантностью 
 (2) конфликта между статической типизацией и динамическим связыванием 
 (3) конфликта между статической типизацией и скрытием потомком 
 (4) конфликта между статической типизацией и статическим связыванием 
Номер 3
Возрастающая перекомпиляция
Ответ:
 (1) компиляция проекта с возрастающей скоростью 
 (2) последовательная компиляция классов проекта 
 (3) параллельная компиляция классов проекта 
 (4) компиляция только тех компонентов, в которых были сделаны изменения и зависимых от них 
Упражнение 5:
Номер 1
Отметьте истинные высказывания
Ответ:
 (1) язык статически типизирован, если он поставляется с набором согласованных правил, проверяемых компилятором, соблюдение которых гарантирует, что выполнение системы не приведет к нарушению типов 
 (2) совместное действие ряда полезных механизмов наследования, статической типизации, скрытия потомком может приводить к некорректной работе системы; удачное решение этой проблемы еще не найдено 
 (3) статическое связывание и статическая типизация – это синонимичные понятия 
 (4) для классово-корректной системы не могут возникать нарушения типа в период выполнения системы 
Номер 2
Отметьте истинные высказывания
Ответ:
 (1) нарушение типа в момент вызова x.f (arg), где x присоединен к объекту OBJ, не возникает, если существует компонент, соответствующий f и применимый к OBJ 
 (2) статическая типизация позволяет обнаружить нарушения типа в момент выполнения системы 
 (3) полиморфизм не дает возможности осуществить статическое связывание 
 (4) наследование позволяет перейти от жесткого требования совпадения типов источника и цели к мягкому требованию соответствия типов 
Номер 3
Отметьте истинные высказывания
Ответ:
 (1) в ряде случаев универсальность требуется ограничить 
 (2) приведение типа (кастинг) препятствует строгой статической типизации 
 (3) задачи типизации и связывания могут быть решены только статически 
 (4) задачи типизации и связывания могут быть решены только динамически