Корректность систем: первое приближение
Корректность систем: первое приближение
Давайте сконцентрируемся вначале на проблеме ковариантности, более важной из двух рассматриваемых. Этой теме посвящена обширная литература, предлагающая ряд разнообразных решений.
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКЧитайте также
Первое правило: не навреди
Первое правило: не навреди Итак, какие же принципы присущи ответственному поведению? Руководствоваться клятвой Гиппократа немного нескромно, но разве можно найти лучший источник? И в конце концов, это только логично – одаренный профессионал должен в первую очередь
Первое знакомство с С++
Первое знакомство с С++ Программа С++ состоит из одной или нескольких единиц компиляции. Каждая единица компиляции представляет собой отдельный файл исходного кода, обычно имеющий расширение .cpp (другими распространенными расширениями являются .cc и .cxx); она обрабатывается
6. Главное — корректность, простота и ясность
6. Главное — корректность, простота и ясность РезюмеКорректность лучше быстроты. Простота лучше сложности. Ясность лучше хитроумия. Безопасность лучше ненадежности (см. рекомендации 83 и 99).ОбсуждениеСложно преувеличить значение простоты проектирования и ясности кода.
Указатели: первое знакомство
Указатели: первое знакомство Указатели? Что это такое? Вообще говоря, указатель - некоторое символическое представление адреса. Например, ранее мы воспользовались операцией получения адреса для нахождения адреса переменной pooh. В данном случае &pooh означает
Первое задание
Первое задание Каждая ячейка предназначена для размещения либо данных, либо формул для вычисления данных. Чаще всего электронные таблицы строятся по принципу пересечения столбцов и строк, но в общем случае каждая ячейка может быть автономной.Предположим, вы получили
Первое приложение MFC
Первое приложение MFC Первое приложение MFHello, которое мы создадим с использованием библиотеки классов MFC будет очень простое. Единственное, что оно будет делать – это отображать на экране маленькую диалоговую панель, содержащую строку “Hello, MFC!”.Исходный текст приложения,
Первое включение
Первое включение Заветная кнопка находится всегда на передней панели системного блока. Она – самая крупная на этой панели, не ошибетесь.Наберите воздуха, почувствуйте торжественность момента… Пора! Жмите и смотрите на монитор!Ничего не видите? Не пугайтесь, так часто
Корректность (Correctness)
Корректность (Correctness) Определение: корректностьКорректность - это способность ПО выполнять точные задачи так, как они определены их спецификацией.Корректность является важнейшим качеством. Если система не делает того, что она должна делать, то все остальное - ее
Корректность класса
Корректность класса Вооруженные понятиями инварианта, предусловий и постусловий, мы можем теперь точно определить понятие корректности уже не отдельной подпрограммы, а класса в целом.Класс, подобно всем остальным программным элементам, не может быть корректным или
Корректность предложения rescue
Корректность предложения rescue Формальное определение корректности класса выдвигает два требования к компонентам класса. Первое (1) требует, чтобы процедуры создания гарантировали корректную инициализацию - выполнение инварианта класса. Второе (2) напрямую относится к
Корректность систем и классов
Корректность систем и классов Для обсуждения проблем ковариантности и скрытия потомком нам понадобится несколько новых терминов. Будем называть классово-корректной (class-valid) систему, удовлетворяющую трем правилам описания типов, приведенным в начале лекции. Напомним их:
2.1. Первое знакомство
2.1. Первое знакомство Операционная система (далее — ОС) Windows разработана корпорацией Microsoft. На сегодняшний день на большинстве домашних компьютеров установлена именно эта ОС. В компьютерном магазине систему вам установят, поэтому через некоторое время после включения