Пратт Т. Языки программирования. Разработка и реализация
Подождите немного. Документ загружается.
84 Глава 2. Влияние машинной архитектуры
1. Набор возможных типов для переменной X. Обычно для переменной в про
грамме определен какойлибо тип данных — это может быть integer (цело
численный), real (вещественный), Boolean (булев) или какойто иной тип.
Множество возможных типов для переменной X обычно устанавливается
при определении языка (например, могут допускаться только типы integer,
real, Boolean, set (множество) и character (символ)). Может быть и так, что
язык допускает определение новых типов переменных в каждой программе,
как, например, в C, Java и Ada. В таком случае множество возможных типов
для переменной X устанавливается во время трансляции программы.
2. Тип переменной X. Конкретный тип данных, ассоциированный с перемен
ной X, часто устанавливается во время трансляции при помощи явного объяв
ления в программе: например, в языке С для того, чтобы задать X как пере
менную вещественного типа, используется объявление float X. В таких
языках, как, например, Perl или Smalltalk, тип данных переменной X опреде
ляется во время выполнения программы, в тот момент, когда переменной
присваивается значение определенного типа. В этих языках переменная X
в одном месте может содержать целое значение, а в другом месте той же про
граммы — строку символов.
3. Множество возможных значений для переменной X. Если тип данных для
переменной X определен как вещественный (real), то при выполнении про
граммы X может принимать некоторые значения из определенного множе
ства — множества последовательностей битов, представляющих в данном
аппаратном компьютере вещественные числа. Множество возможных зна
чений для переменной Х зависит от того, какие вещественные числа допус
тимы в данном виртуальном компьютере, определяемом языком програм
мирования. Обычно это множество совпадает с множеством вещественных
чисел, представление для которых предусмотрено в базовом аппаратном
компьютере.
4. Значение переменной X. В любой момент выполнения программы перемен
ная X связана с какимлибо значением. Это то значение, которое присваива
ется данной переменной при выполнении программы. Операция присваи
вания X = X + 10 меняет значение переменной X, заменяя старое значение
новым, которое больше исходного на 10.
5. Представление константы 10. Целое число 10 представлено одновременно
как константа в тексте программы (с использованием строки 10) и как некая
последовательность битов во время выполнения программы. Выбор деся
тичного представления этого числа (то есть символа 10 для десяти) обычно
происходит во время определения языка программирования, а выбор кон
кретной последовательности битов для представления этого числа при вы
полнении программы происходит во время реализации языка.
6. Свойства операции «+». Выбор символа «+» для обозначения операции
сложения происходит во время определения языка. Однако в зависимости
от контекста этот символ может обозначать вещественное сложение, цело
численное сложение, комплексное сложение и т. п. В компилируемом языке
принято определять операцию, представляемую символом «+», во время
85
компиляции. Роль механизма, выполняющего это связывание, обычно
играет механизм определения типов переменных: если X — целое число, то
символ «+» обозначает в данном контексте целочисленное сложение; если
X — вещественное число, то символ «+» обозначает вещественное сложение
и т. д.
Подробное определение операции, обозначенной символом «+», может зави
сеть также от аппаратной части базового компьютера. Если в нашем примере X
будет иметь значение 2
49
, то на некоторых компьютерах для X + 10 не будет воз
можности представить результат этого сложения.
Подводя итог, можно сказать, что для языка, подобного С, символ «+» связыва
ется с набором операций сложения во время определения языка. Затем во время
реализации языка определяется каждый элемент из этого набора, во время транс
ляции программы каждое конкретное употребление символа «+» в программе свя
зывается с конкретной операцией сложения, а конкретное значение результата
операции сложения определяется уже во время выполнения программы.
Важность времени связывания
В следующих главах мы займемся сравнительным анализом языков программиро
вания. Во многих случаях в основе различия между языками лежат различия во
временах связывания. Мы постоянно будем задавать вопрос: когда именно проис
ходит связывание — во время трансляции или во время выполнения? Многие важ
ные и тонкие отличия между языками заключаются именно в различиях во време
нах связывания. Например, почти для всех языков допустимы числа в качестве
данных и предусмотрены арифметические операции с числами. Но не все языки
одинаково хороши для создания программ, в которых требуется выполнять боль
шое количество арифметических операций. Например, и ML, и FORTRAN позво
ляют определять массивы чисел и манипулировать этими массивами. Но для ре
шения задач, связанных с большими числовыми массивами и большим количеством
вычислений, было бы весьма неблагоразумно использовать ML при наличии язы
ка FORTRAN. Если мы попытаемся отыскать причину превосходства FORTRAN,
сравнивая характеристики FORTRAN и ML, то в конце концов придем к выводу,
что в данном случае лучше использовать FORTRAN, так как в ML большинство
связываний происходит во время выполнения программы, а в FORTRAN — во вре
мя трансляции. Таким образом, при выполнении программы на ML большая часть
времени будет уходить на создание и уничтожение связей. В такой же программе,
написанной на FORTRAN, основная часть связей устанавливается единожды во
время трансляции, а при выполнении программы потребуется лишь незначитель
ное количество связываний. В итоге программа на FORTRAN будет работать зна
чительно эффективнее.
С другой стороны, можно задать такой вопрос: почему FORTRAN не столь ги
бок в обработке строковых переменных и массивов, как ML? Ответ опятьтаки
сводится к различию во времени связывания. Поскольку связывание в FORTRAN
происходит по большей части во время трансляции, до того как становятся извест
ны входные данные, на FORTRAN трудно писать программы, которые могли бы
приспосабливаться во время выполнения к большому количеству различных си
туаций, зависящих от входных данных. Например, размер строк и тип переменных
2.2. Виртуальные компьютеры и время связывания
86 Глава 2. Влияние машинной архитектуры
в FORTRAN должны быть определены во время трансляции. В ML подобное свя
зывание может быть отложено до момента выполнения программы, когда будут
известны входные данные и определятся наиболее подходящие связывания для
конкретных входных данных.
В языках, подобных FORTRAN, большая часть связываний происходит на эта
пе трансляции. Эта ситуация носит название раннего связывания. Если же связы
вания происходят в основном при выполнении программы, как в ML или в HTML,
то говорят о позднем связывании.
Сравнительные преимущества и недостатки раннего и позднего связывания
связаны с противоречием между гибкостью и эффективностью. Языки, для кото
рых эффективность выполнения программ играет решающую роль (например,
FORTRAN, Pascal и С), обычно конструируются таким образом, чтобы максималь
но возможное количество связываний выполнялось во время трансляции. Если
же определяющее значение имеет гибкость (как в LISP и ML), большая часть свя
зываний откладывается до момента выполнения программы, чтобы обеспечить
возможность учета входных данных, от которых зависят связывания. Если же тре
буется создать язык, который был бы одновременно и эффективным, и гибким (при
мером чего служит Ada), следует обеспечить возможность управления временем
связывания.
Время связывания и реализация языка
В определении языка обычно не накладывается строгих определений на время свя
зывания. При определении языка предполагается, что какоето конкретное связы
вание будет сделано, например, во время трансляции, но окончательно это опреде
ляется только при реализации языка. В частности, Pascal устроен так, что тип
переменных определяется во время компиляции; но в какойлибо конкретной реа
лизации языка Pascal тип переменных может проверяться только при выполнении
программы. То есть хотя в определении Pascal предполагается, что проверка типов
переменных происходит во время компиляции, это не является строгим требова
нием. Вообще говоря, в определении языка указывается самое раннее время, когда
в процессе обработки программы может произойти связывание, а при реализации
языка связывание фактически может быть отложено до более позднего времени.
Тем не менее обычно в различных реализациях данного языка конкретное связы
вание происходит в одно и то же время. Если язык был определен таким образом,
чтобы большинство связываний происходило во время компиляции, то отклады
вание этих связываний до момента выполнения программы, вероятнее всего, про
сто уменьшит эффективность работы и не принесет выигрыша в гибкости, как по
казано в приведенном выше примере с Pascal.
Следует, однако, обратить внимание на то, что часто кажущиеся незначитель
ными изменения в языке могут привести к серьезному изменению времени связы
вания. Например, введение в FORTRAN 90 рекурсии изменяет время связывания
многих важнейших свойств этого языка. Поскольку время связывания зависит от
реализации языка, то важно знать, какая конкретная реализация используется. При
использовании локальной реализации языка программист должен принимать во
внимание времена связывания в этой конкретной версии. Являются ли они обыч
ными или локальные изменения языка привели к их модификации?
87
2.2.4. Обзор языка Java
История. Разработка языка Java началась в 1991 г. Группа программистов (Green
Team) из компании Sun Microsystems под руководством Джеймса Гослинга (James
Gosling) занималась разработкой языка для использования в цифровых бытовых
устройствах
1
. Летом 1992 г. была создана рабочая версия, но группа опередила свое
время, так как в тот момент промышленность еще не была готова к использованию
этого языка.
В 1993 г. появился webбраузер Mosaic, что привело к распространению Интер
нета, вышедшего из стен академических лабораторий, по всему миру. Программи
сты из группы Green Team сразу же осознали, какую роль может сыграть создан
ный ими язык для расширения возможностей webбраузеров.
При помощи браузера Mosaic, в котором использовались адреса URL для нави
гации в сети и код HTML для отображения webстраниц, пользователь мог отыс
кивать нужные ему страницы и загружать информацию с удаленных сайтов. (Эта
тема рассматривается в главе 12.) Тем не менее оставались нерешенными три про
блемы, ограничивающие возможность доступа пользователей к WWW.
1. Скорость передачи на компьютер пользователя в 1993 г. ограничивалась
примерно 33 000 бит/с (сейчас она составляет примерно 50 000 бит/с).
2. Если какойлибо сайт был достаточно популярен, то при одновременном
обращении к нему большого количества пользователей скорость его работы
значительно уменьшалась.
3. Для передачи по сети разных типов webобъектов (текстового документа,
графического, аудио или видеообъекта) требовался отдельный протокол,
поддерживаемый каждым webбраузером. Новый формат объектов мог быть
использован только после того, как соответствующий протокол был вклю
чен во все браузеры.
Пока пользователь ждал появления очередной порции информации с серве
ра, его компьютер фактически простаивал без дела. Чтобы обойти первые два из
перечисленных ограничений, было предложено некоторую часть обработки ин
формации перенести на компьютер пользователя, тем самым разгрузив webсер
вер. Этого можно было достичь посредством небольшой программыприложе
ния, которая загружается с webсервера и выполняется на локальном компьютере,
за счет чего сервер может обслуживать большее количество пользователей од
новременно. Такая программа называется апплет (applet). Аналогично можно
загрузить с webсервера на локальный компьютер апплет, позволяющий обраба
тывать новый тип протокола, необходимый для передачи определенного web
объекта.
По мнению программистов компании Sun, разработанный ими язык мог бы стать
ценным дополнением к webтехнологиям. Но для эффективности его использова
ния требовалось выполнение нескольких условий.
1. Независимость от машинной архитектуры. Webсервер не имеет информа
ции о том, на каком компьютере установлен браузер пользователя. Для ре
1
Этот язык известен под названием Oak. — Примеч. науч. ред.
2.2. Виртуальные компьютеры и время связывания
88 Глава 2. Влияние машинной архитектуры
шения этой задачи был сконструирован виртуальный компьютер Java, и ап
плет мог быть скомпилирован в виде последовательности байткодов для
данного виртуального компьютера. Таким образом, апплеты Java могли
выполняться на любом браузере, в который встроена виртуальная машина
Java.
2. Безопасность. Для того чтобы язык Java стал общепринятым языком web
программирования, необходимо было обеспечить выполнение с его помо
щью требований безопасности, имеющих решающее значение для пользова
телей сети. В частности, webсервер не должен иметь доступа к информации,
расположенной на клиентском компьютере, и тем более эта информация не
должна передаваться обратно на сервер. Если бы у серверов имелась такая
возможность, пользователи весьма неохотно использовали бы незнакомые
webсайты, что значительно затормозило бы развитие сети.
В 1994 г. компания Sun разработала браузер HotJava, чтобы продемонстриро
вать возможности содержащегося в нем виртуального компьютера Java. И нако
нец, 23 мая 1995 г. Марк Андерсен (Marc Anderssen), один из основателей компа
нии Netscape Communication, которая в то время контролировала 70 % рынка в
области webбраузеров, объявил о включении виртуального компьютера Java в
браузер Netscape. С этого момента язык Java приобрел значительную популярность.
Хотя исходно он был предназначен для выполнения апплетов в webбраузере, об
ласть его применения расширилась до того, что он стал одним из наиболее распро
страненных языков. Он все чаще заменяет С и С++ в качестве первого языка про
граммирования, изучаемого и используемого студентами.
Краткий обзор языка. Язык Java похож на С и С++. Их взаимосвязь становит
ся понятной, если проследить историю создания этих языков. Язык С был разра
ботан в 70х гг. как язык создания операционных систем (в основном системы
UNIX). Разработчикам языка хотелось, чтобы он обеспечивал возможность досту
па к архитектуре базового аппаратного компьютера. Когда Страуструп (Stroustrup)
разрабатывал язык С++, он позаимствовал концепцию класса из языка Simula
и концепцию наследования из языка Smalltalk. Тем не менее язык С, ставший ос
новой С++, не был при этом модифицирован и его полезные для системного про
граммирования свойства были перенесены в С++. Когда программисты компании
Sun разрабатывали Java, они сохранили основные синтаксические структуры, кон
цепции классов и наследования, имеющиеся в С++, но отказались от некоторых
необязательных свойств. В результате язык Java оказался более компактным, чем
С++, но с более рациональными синтаксисом и семантикой.
По большей части Java напоминает С++ без тяжелого наследия С, которое
обусловливает слабость многих программ на языке С++. Данные в Java строго
типизированы; в частности, целочисленный, логический и символьный типы
принадлежат к различным типам данных. Также отдельным типом данных явля
ются массивы, а строковый тип данных в Java — это не просто массив символов.
Все эти свойства позволяют компилятору Java более полно отслеживать ошибки
в программах.
Количество способов выполнения некоторых действий уменьшилось. Напри
мер, вызов метода — единственный способ подключения подпрограмм. Поскольку
89
все объекты являются экземплярами какихлибо классов, то отпадает необходи
мость в специальных вызовах функций или процедур. Структурные объекты
struct
также не нужны, так как тот же эффект достигается при помощи переменных эк
земпляра, или полей, в определении классов.
В языке Java неявным образом присутствуют указатели, но соответствующий
тип данных отсутствует. Это означает, что от пользователя скрыты все проблемы с
фрагментацией памяти, ссылками на несуществующие объекты и другие неприят
ности, связанные с указателями. Распределение памяти для указателей происхо
дит неявным образом во время создания объектов класса и выполнения операции
new.
Для создания программы на языке Java в первую очередь создается файл
èìÿ_ôàéëà.java. Имя файла должно совпадать с именем класса, создаваемого в дан
ной программе. Когда программа написана, вызывается компилятор Java. В резуль
тате компиляции получается файл с названием èìÿ_ôàéëà.class, содержащий байт
коды. Этот файл можно выполнить с помощью интерпретатора Java (виртуальная
машина Java).
Можно сказать, что язык Java является достаточно простым языком: он имеет
ту же ясную структуру, что и С++, и при этом лишен той неуклюжести, которая
свойственна С. Тем не менее эффективность выполнения программ на Java
несколько ниже, так как многие из структур языка нуждаются в проверке во
время выполнения программы. К тому же, поскольку программы на Java чаще
всего интерпретируются как апплеты в виртуальной машине Java, скорость вы
полнения программ на Java несколько ниже, чем скорость выполнения про
грамм, написанных на компилируемых языках. Но при оценке Java надо пом
нить об основной области применения этого языка: поскольку он создавался
для webбраузеров, потери в скорости выполнения фактически не влияют на
результат. Причина этого в том, что скорость передачи информации по сети и ско
рость обработки и отображения информации на мониторе компьютера все рав
но ниже скорости работы компьютера пользователя. Поэтому большая часть
времени тратится на ожидание очередной порции информации, запрошенной
на сервере.
2.3. Рекомендуемая литература
В данном разделе не обсуждалась альтернативная архитектура компьютера,
основанная на принципах, радикально отличающихся от принципов организа
ции компьютера фон Неймана. Обзорную информацию по этому вопросу вы
найдете в главе 11. Критика архитектуры фон Неймана и альтернативные пред
ложения представлены в лекции Бэкуса [15], прочитанной при вручении ему
премии Тьюринга. В настоящее время все большее значение приобретает па
раллельная архитектура и объединение большого количества компьютеров,
работающих параллельно, в единую систему, что позволяет увеличить эффек
тивность. Об экспериментальных исследованиях в области компьютерной ар
хитектуры можно прочитать в январском выпуске IEEE Computer за 1991 г., а так
же в [77].
2.3. Рекомендуемая литература
90 Глава 2. Влияние машинной архитектуры
2.4. Задачи и упражнения
1. Проанализируйте реализацию какоголибо известного вам языка програм
мирования. Что является исполняемой формой программы (иначе говоря,
что представляет собой результат работы транслятора)? Какие виды транс
ляций происходят при преобразовании различных выражений и операторов
в их исполняемую форму? Какая программная интерпретация необходима
при выполнении программы? Является ли интерпретатор программномо
делируемым? Какие из примитивных операций требуют программной ин
терпретации?
2. Исследуйте свой собственный компьютер: какова структура виртуального
компьютера, определяемого операционной системой? Чем этот компьютер от
личается от аппаратного? Ограничивает ли операционная система использова
ние аппаратных средств (например, существуют ли какиелибо аппаратные
инструкции, которые становятся недоступными для использования в пользо
вательских программах, выполняемых определяемым операционной систе
мой виртуальным компьютером)? Какие новые возможности, требующие
сложного программного моделирования при реализации в базовом аппарат
ном компьютере, непосредственно обеспечиваются виртуальным компью
тером, определяемым операционной системой (например, вводвывод)?
3. Операционная система позволяет программисту использовать виртуальный
компьютер, который может сильно отличаться от базового аппаратного ком
пьютера. Основные преимущества этого виртуального компьютера таковы.
Пользователь взаимодействует с более простым компьютером, чем базовый
(в частности, возможности вводавывода виртуального компьютера проще
и мощнее). Он также защищает компьютерную систему от пользователя: так
как каждый пользователь может быть изолирован в отдельном виртуальном
компьютере, то любые его ошибки затронут только один этот виртуальный
компьютер и не повлияют на работу всей компьютерной системы и других
пользователей. Кроме того, виртуальный компьютер позволяет операцион
ной системе более эффективно распределять системные ресурсы между
пользователями. Проанализируйте вашу локальную операционную систему
и виртуальный компьютер, предоставляемый ею программисту. Насколько
хорошо операционная система вашего компьютера обеспечивает достиже
ние перечисленных выше целей?
4. Язык программирования BASIC часто реализуется посредством полного
программного моделирования виртуального компьютера языка BASIC. Если
допустить, что моделирующие этот виртуальный компьютер программы на
писаны на языке FORTRAN (что вполне возможно), то в схеме, аналогич
ной той, что приведена на рис. 2.4, добавится еще один уровень. Изобразите
этот дополнительный уровень. Если вы знакомы с обоими этими языками,
подумайте, какие части виртуального компьютера языка BASIC могут быть
смоделированы при помощи программ на языке FORTRAN. В каком месте
упомянутой схемы расположится транслятор, который преобразует про
граммы на языке BASIC в их выполняемую форму?
91
5. Напишите какойлибо оператор на знакомом вам языке. Для каждого син
таксического компонента (имена переменных, символы операций и т. д.)
перечислите все возможные связывания, необходимые для полного опреде
ления семантики данного оператора при его выполнении. Для каждого свя
зывания определите время связывания, используемое в этом языке.
6. Выполните задание 5, но уже не для оператора, а для объявления. Про объяв
ления говорят, что они обрабатываются (elaborated), а не выполняются.
Перечислите, какие связывания должны произойти для полной обработки
этого объявления, и укажите времена этих связываний.
7. Посмотрите, какие языки обсуждаются в приложении. Какие из них, по ва
шему мнению, не войдут в следующее издание этой книги? Какие будут наи
более популярными в течение следующих десяти лет? Рассмотрите времена
связываний различных объектов, виртуальный компьютер, необходимый для
выполнения программ, и другие атрибуты языка, влияющие на эффектив
ность его использования.
2.4. Задачи и упражнения
Глава 7. Наследование
В разделе 6.2 мы обсуждали концепцию инкапсулированных типов данных как
средство разработки программ, которое позволяет создавать новые типы данных с
операциями, выполняющимися только над объектами этих новых типов. Например,
для создания списков студентов, посещающих различные курсы лекций в универ"
ситете, можно создать новые типы данных — section (группа) и student (фамилия
студента). Для занесения фамилий студентов в списки групп определенного курса
можно разработать операцию AddToSection с сигнатурой student × section → sec-
tion
.
В программе
typedef { definition } section;
typedef { definition } student;
section NewClass;
student NewStudent;
AddToSection(newStudent, NewClass);
подробности реализации объектов типа student и section скрыты в подпрограмме
AddToSection. Программист может рассматривать эти два новых типа как обычные
элементарные типы данных, а подпрограмму AddToSection — как элементарную
встроенную в язык функцию. Знание фактической структуры этих типов данных
потребуется только разработчику подпрограммы AddToSection. Хотя подобная ме"
тодика может применяться для написания программ на любом языке, хотелось бы
максимально упростить ее использование и по возможности избежать связанных
с ее применением ошибок. Лучше иметь в распоряжении такой язык программи"
рования, который помогает осуществлять инкапсуляцию данных, а не полагаться
на то, что программисты не будут ошибаться.
Сначала мы опишем механизмы автоматической инкапсуляции данных, такие,
например, как конструкция package (пакет) в языке Ada. Затем мы расширим эту
концепцию таким образом, чтобы операции, применяемые к инкапсулированным
объектам данных, можно было выводить автоматически, используя так называе"
мую концепцию наследования. Выводимые таким образом операции называются
методами. Логическим развитием этой концепции является полный полиморфизм
операций, который также обсуждается в этой главе.
304 Глава 7. Наследование
7.1. Повторное рассмотрение
абстрактных типов данных
Напомним, что в разделе 6.2 мы определили абстрактный тип данных как новый
тип данных, определяемый программистом и включающий:
1) определяемый программистом тип данных;
2) набор абстрактных операций над объектами этого типа;
3) инкапсуляцию объектов этого типа таким образом, что пользователь нового
типа не может манипулировать этими объектами, иначе как только с помо"
щью определенных при разработке типа абстрактных операций.
Абстракция данных, то есть конструирование новых типов данных и операций
над объектами этих типов, как было сказано выше, является одной из фундамен"
тальных концепций программирования. В тех языках, которые плохо обеспечива"
ют прямую поддержку абстракции данных сверх обычного механизма определения
подпрограмм, программисту все же предоставлена возможность создавать и ис"
пользовать абстрактные типы данных, несмотря на то что такое понятие в языке
не представлено. Поэтому программист должен использовать соглашения по ко"
дированию, организуя программу таким образом, чтобы достичь эффекта исполь"
зования абстракции типов данных. Однако без поддержки определения абстракт"
ных типов данных в языке инкапсуляция нового типа данных невозможна. Так,
например, если нарушены соглашения по кодированию (сознательно или случай"
но), то реализация языка не сможет обнаружить их нарушения. В таких языках,
как C, FORTRAN и Pascal"подобные, определенные программистом абстрактные
типы данных часто появляются в виде специальных библиотек подпрограмм. Ada,
Java и C++ относятся к тем немногим широко распространенным языкам, в кото"
рых имеются специальные средства для поддержки абстракции данных.
Способ определения типов, подобный тому, что используется в языке C, упро"
щает объявление новых переменных данного типа, так как для этого требуется толь"
ко имя этого типа. Однако внутренняя структура объектов данных этого типа не
инкапсулирована. Любая подпрограмма, в которой можно объявить переменную
как принадлежащую к новому типу данных, также позволяет получить доступ к ком"
понентам представления этого типа. Таким образом, она может игнорировать опе"
рации, специально разработанные для манипулирования с объектами данных это"
го типа, и вместо этого непосредственно обращаться к их компонентам. Основная
цель инкапсуляции определения абстрактного типа данных — сделать такой до"
ступ невозможным, чтобы только подпрограммы, которые «знают», как представ"
лены объекты данных этого типа, и являлись операциями, определенными как часть
абстрактного типа.
Из тех языков, которые описаны в этой книге, только Ada, C++ и Smalltalk под"
держивают инкапсуляцию таких определений абстрактных типов данных. В язы"
ке Ada определение абстрактного типа данных представляет одну из форм пакета
(конструкция package). Пакет, определяющий абстрактный тип данных SectionType,
может быть определен в виде, представленном в листинге 7.1. Объявление is private
для типа Section означает, что внутренняя структура объектов данных Section не"
доступна из подпрограмм, использующих этот пакет. Фактические детали этого