Лутц М. - Изучаем Python (1077325), страница 57
Текст из файла (страница 57)
° Строки сравниваются лексикографически, символ за символом ("аЬс" < "ас"). ° При сравнении списков и кортежей сравниваются все компоненты слева направо. ° Словари сравниваются как отсортированные списки (ключ, значение). Вообще сравнение структурированных объектов выполняется, как если бы сравнивались образующие их литералы, слева направо, по одному компоненту за раз. В последующих главах мы увидим другие типы объектов, которые могут изменять способ сравнения. 259 Сравнения, равенство и истина Смысл понятий аИстина» и «Ложь» в языке РуФоп Обратите внимание, что три значения в кортеже, возвращаемом последним примером из предыдущего раздела, — это логические значения «истина» ($гпе) и «ложь» (Ха]ве). Они выводятся на экран как слова Ттое и Еа1ве, но теперь, когда мы приступаем к использованию логических проверок, мне следует более формально описать смысл этих названий.
В языке Ру(]топ, как в большинстве языков программирования, «ложь» представлена целочисленным значением О, а «истин໠— целочисленным значением 1. Кроме того, интерпретатор Ру1Ьоп распознает любую пустую структуру данных как «ложь», а любую непустую структура данных — как «истину». В более широком смысле понятия истины и лжи — это свойства, присущие всем объектам в Ру(]топ, — каждый объект можетбытьлибо «истиной», либо «ложью»: ° Числа, отличные от нуля, являются «истиной». ° Другие объекты являются «истиной», если они непустые.
В табл. 9.4 приводятся примеры истинных и ложных значений объектов в языке Ру$]топ. Таблица 9.4. Примеры значений истинности объектов В языке Ру[)топ имеется также специальный объект с именем йопе (последняя строка в табл. 9.4), который всегда расценивается как «ложь». Объект йопе был представлен в главе 4 — это единственный специальный тип данных в языке РуФ]топ, который играет роль пустого заполнителя и во многом похож на указатель й[][[ в языке С. Например, вспомните, что списки не допускают присваивание значений отсутствующим элементам (списки не вырастают по волшебству, когда вы выполняете присваивание некоторого значения несуществующему элементу).
Чтобы можно было выполнять присваивание любому из 100 элементов списка, обычно создается список из 100 элементов, который заполняется объектами йопе: »> С = [йопе] ° 100 »> >» [Иопе, Иопе. Мопе, йопе, йопе, йопе, Иопе, ... ] 260 Глава 9. Кортежи, файлы и все остальное Логический тип Ьао1 в языке Ру1Ьоп (представленный в главе 5) просто усиливает понятия аистина» и»ложь» в языке Ру1Ьоп. Как вы могли заметить, результаты операций проверок в этой главе выводятся в виде значений Тгсе и Еа1зе. Как мы узнали в главе б, эти значения являются всего лишь разновидностями целых чисел 1 и О.
Этот тип реализован так, что он действительно является лишь незначительным расширением к понятиям»истина» и «ложь», уже описанным, и предназначенным для того, чтобы сделать значения истинности более явными. При явном использовании слов Тгве и Еа1зе в операциях проверки на истинность они интерпретируются как «истина» и «ложь», которые в действительности являются специализированными версиями целых чисел 1 и О. Результаты операций проверок также выводятся как слова Тгве и Еа1зе, а не как значения 1 и О. Вам необязательно использовать только логические типы в логических инструкциях, таких как 1Т, — любые объекты по своей природе могут быть истинными или ложными, и все логические концепции, упоминаемые в этой главе, работают, как описано, и с другими типами.
Мы займемся исследованием логического типа, когда будем рассматривать логические инструкции в главе 12. Иерархии типов данных в языке Рутпоп На рис. 9. 3 приводятся все встроенные типы объектов, доступные в языке Ру1)тол, и отображены взаимоотношения между ними. Наиболее значимые из них мы уже рассмотрели; большая часть других видов объектов на рис. 9.3 соответствует элементам программ (таким как функции и модули) или отражает внутреннее устройство интерпретатора (такие как кадры стека и скомпилированный программный код). Главное, что следует учитывать, — в языке Ру()топ все элементы являются объектами и могут быть использованы в ваших программах. Например, можно передать класс в функцию, присвоить его переменной, заполнить им список или словарь и т.
д. Фактически даже сами типы в языке Ру1Ьоп являются видом объектов: вызов встроенной функции туре(Х) возвращает тип объекта Х. Объекты типов могут использоваться для сравнения типов вручную в инструкции тт. Однако по причинам, изложенным в главе 4, ручная проверка типа в языке Ру1Ьоп обычно рассматривается как нечто неправильное. Одно замечание по поводу имен типов: в версии Ру$Ьоп 2.2 у каждого базового типа появилось новое встроенное имя, добавленное для обеспечения поддержки настройки типов через объектно-ориентированный механизм наследования классов: с(ст, 11зт, зтг, тор1е, (пт, 1опд, 11овт, соар1ех, ьп(соде, туре и Т11е (Г11е — это синоним для преп).
Эти имена представляют не просто функции преобразования, а настоящие конструкторы объектов, хотя при решении несложных задач вы можете рассматривать их как простые функции. 262 Глава 9. Кортежи, файлы н эсе остальное Другие типы в РуФоп Помимо базовых объектов, рассмотренных в этой части книги, в составе Ру[]топ обычно устанавливаются десятки других типов объектов, доступных в виде связанных расширений на языке С или в виде классов языка Ру[]топ — объекты регулярных выражений, файлы ПВМ, компоненты графического интерфейса, сетевые сокеты и т.
д. Главное отличие между этими и встроенными типами, которые мы до сих пор рассматривали, состоит в том, что для встроенных типов языком предоставляется специальный синтаксис создания объектов этих типов (например, 4 — для целого числа, [1, 2] — для списка и функция орел — для файла). Другие типы обычно доступны в виде модулей стандартной библиотеки, которые необходимо импортировать перед использованием. Например, чтобы создать объект регулярного выражения, необходимо импортировать модуль ге и вызвать ге,совр!]е(). Полное руководство по всем типам, доступным в программах на языке Ру[]топ, вы найдете в справочнике по библиотеке Ру$]топ. Ловушки встроенных типов Операция присваивания создает ссылку, а не копию Поскольку это центральное понятие, я напомню о нем еще раз: вы должны понимать, что может происходить с разделяемыми ссылками в вашей программе.
Например, ниже создается объект списка, связанный с именем [, на это имя также ссылается элемент списка М. Таким образом, изменение списка с помощью имени [ приведет к изменению списка, на который ссылается и список М: »>к-"[1, 2, 3] »> И - "['Х', Ц 'т'] »> И ['Х'. [1, 2, 3]. 'У'] № Встраивает ссылку из С »> Ц1] = 0 >» И ('Х'. (1, О, 3]. 'У ] № Список М такие изиенеетси Обычно этот эффект обретает важность только в больших программах, и, как правило, совместное использование ссылок — это именно то, что необходимо. Если это является нежелательным, вы всегда можете создать явно копию объекта. Для списков всегда можно создать поверх- Это окончание нашего обзора базовых типов данных.
Мы завершаем эту часть книги обсуждением общих проблем, с которыми сталкиваются новые пользователи (а иногда и эксперты), и их решений. Отчасти — это краткий обзор идей, которые мы уже рассматривали, но они достаточно важны, чтобы вновь вернуться к ним. 263 Ловушки встроенных типов постную копию с помощью операции извлечения среза с незаданными пределами: »>с=[1, 2, 3] »> И * ['Х', ь['], 'у'] »> Ц1] = О »> [1, О, 3] »> Н [ Х ' [ 1, 2, 3 ], ' т ] и Встраивается косил [ и Иаиеняется только Ц но не и Операция повторения добавляет один уровень вложенности Операция повторения последовательности добавляет последовательность саму к себе заданное число раз. Это правда, но когда появляются вложенные изменяемые последовательности, эффект может не всегда получиться таким, как вы ожидаете.
Например, в следующем примере переменной Х присваивается список [, повторенный четырежды, тогда как переменной у присваивается повторенный четырежды список, содержащий Ь: »> ь [4, 5, б] »>Х=ь 4 »>У=[[] 4 »> Х [4, 5, 6, 4, 5, б, 4, 5, б, 4, 5, 6] »> у [[4, 5, 6], [4, 5, 6], [4, 5, 6], [4, 5, 6]] а Все раино, что (4, 5, 6) ь (4, 5, 6) ь и ([) ([) + = ([, ц ) Так как во второй операции повторения [ является вложенным спи- ском, то в у попадают ссылки на оригинальный список, связанный с именем [, вследствие чего начинают проявляться те же побочные эф- фекты, о которых говорилось в предыдущем разделе: »> с[1] = О »> Х [4, 5, б, 4. 5, б, 4, 5, б, 4.
5, б] »> у [[4 О, 6], [4 О, 6]. [4 О 6] [4. О 6]] а Воадейстеует на у, но не на К Здесь можно применить то же решение, что и в предыдущем разделе, так как это в действительности всего лишь другой способ получить разделяемые ссылки на изменяемый объект, Если вы помните, операции повторения, конкатенации и извлечения среза создают только поверхностные копии объектов, что чаще всего и бывает необходимо. Не забывайте, что значениями пределов по умолчанию являются 0 и длина последовательности, откуда извлекается срез. Если оба значения опущены, в результате операции будут извлечены все элементы последовательности, что создаст поверхностную копию [новый, не разделяемый ни с кем объект). 264 Глава 9. Кортежи, файлы и все остальное Избегайте создания циклических структур данных На самом деле мы уже сталкивались с этим понятием в предыдущем упражнении: если объект-коллекция содержит ссылку на себя, он называется циклическим объектом.
Всякий раз, когда интерпретатор РуСЬоп обнаруживает циклическую ссылку, он выводит [... ], чтобы не попасть в бесконечный цикл: »> С = ['дга11'] »> С.арралб(Ь) »> ъ ['дгатр, [ ]] В Добавление оселки на сапого себя В Создает циклический объект: (...] Кроме понимания того, что три точки в квадратных скобках означают циклическую ссылку в объекте, это случай заслуживает внимания, т.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
