[ Россум, Дрейк, Откидач ] Язык программирования Python

Обратите внимание, что каждая ветвь любой составной инструкции всегда заканчиваются переходом на новую строку. Кроме того, во избежание неоднозначностей, дополнительные ветви всегда начинаются с ключевого слова, которое никогда не используется в начале инструкций. Характерная для таких языков, как C, проблема отнесения ветви else решается в языке Python требованием правильного использования отступов во вложенных составных инструкциях.

10.4.1Инструкция if

Инструкция if используется для выполнения различных действий в зависимости от условий:

if expr1: suite1

[elif expr2: suite2...] [else: suite0]

Инструкция if вычисляет одно за другим выражения exprN в основной ветви и необязательных ветвях elif до тех пор, пока не будет получена истина, и выполняет соответствующий ему блок кода (вся оставшаяся часть инструкции if пропускается). Если все выражения дают ложь, выполняется блок кода suite0 необязательной ветви else.

10.4.2Цикл while

Цикл while используется для многократного выполнения действий, пока выполняется условие:

while expr: suite1 [else: suite2]

Инструкция while выполняется в следующем порядке:

1.Вычисляется выражение expr и, если оно дает ложь, переходит к пункту 3.

2.Выполняется блок кода suite1. При этом выполнение в блоке инструкции break немедленно прерывает выполнение цикла (пункт 3 не выполняется), а выполнение инструкции continue прерывает выполнение блока кода, после чего выполнение цикла продолжается с пункта 1. После окончания выполнения блока suite1, выполнение цикла продолжается с пункта 1.

3.Выполняется блок кода suite2 (ветвь else). Инструкции break и continue в этом блоке считаются относящимися к внешнему циклу.

10.4.3Цикл for

Инструкция for используется для перебора элементов последовательности:

for lvalue in sequence: suite1 [else: suite2]

Выражение sequence вычисляется один раз и должно давать последовательность (объект, для которого определена операция получения элемента по индексу; если индекс выходит за пределы диапазона, должно генерироваться исключение IndexError). Для каждого элемента последовательности sequence в порядке возрастания индексов, начиная с 0, выполняется присваивание lvalue элемента (на элемент item и параметр lvalue распространяются обычные правила, действующие при выполнении инструкции присваивания ‘lvalue = item’; см. раздел 10.3.2) и выполняется блок кода suite1. После того как последовательность исчерпана (определяется по сгенерированному исключению IndexError), если присутствует ветвь else, выполняется блок suite2.

Выполнение инструкции break в блоке suite1 немедленно прерывает выполнение цикла (ветвь else игнорируется). При выполнении инструкции continue в блоке suite1 пропускается остаток блока и выполнение цикла продолжается после присваивания lvalue следующего элемента последовательности sequence или выполняется ветвь else, если в последовательности нет следующего элемента.

Вы можете присваивать переменной или переменным, входящим в lvalue, — это никак не отразится на следующем элементе, который будет присвоен lvalue. Переменные, входящие в lvalue не удаляются после окончания выполнения цикла и сохраняют последние присвоенные им значения. Однако, если последовательность sequence пустая, lvalue не будет присвоено никакое значение (таким образом, используя эти переменные без дополнительной проверки, Вы имеете шанс получить ошибку NameError). См. также описания встроенных функций range() и xrange() в главе 12.

Будьте внимательны, изменяя последовательность, элементы которой Вы перебираете. Текущий элемент последовательности определяется значением внутреннего счетчика. Конец последовательности определяется по исключению IndexError при попытке получить очередной элемент. Таким образом, если в блоке suite1 Вы удалите текущий или один из пройденных элементов последовательности, следующий элемент будет пропущен. Аналогично, если вы добавите в последовательность новый элемент перед текущим, тело цикла для текущего элемента будет выполнено еще раз. Такое поведение может привести к неприятным ошибкам, которых обычно можно избежать, если перебирать элементы копии исходной последовательности, например:

for x in a[:]:

if x < 0: a.remove(x)

10.4.4 Инструкция try

Существует две формы инструкции try. Их нельзя смешивать (то есть, инструкция try не может содержать одновременно ветви except и finally), однако могут быть вложенными друг в друга.

С помощью первой формы Вы определяете обработчики исключений:

try: suite1

except [exc_class1 [, lvalue1]]: suite2

[...]

[else: suite0]

Сначала выполняется тело основной ветви — suite1, и если код не генерирует исключение, выполняется блок suite0 (необязательная ветвь else). Если же код в блоке suite1 генерирует исключение, последовательно проверяются (в порядке их следования) ветви except до тех пор, пока не будет найдена ветвь except, удовлетворяющая сгенерированному исключению. Ветвь except без аргументов, если присутствует, должна быть последней ветвью except (в противном случае генерируется исключение SyntaxError) — удовлетворяет всем исключениям. Если указано выражение exc_classN, оно вычисляется и ветвь считается удовлетворяющей исключение, если полученный объект совместим с исключением. Объект exc_classN является совместимым с исключением, если исключение является экземпляром класса exc_classN или производного от него класса или является строкой равной exc_classN. Объект exc_classN также является совместимым с исключением, если он является кортежем, содержащим объект, совместимый с исключением (при этом кортеж может содержать вложенные кортежи).

Если ни одна из ветвей except не удовлетворяет исключению, поиск обработчика продолжается во внешнем блоке try (если такой имеется) и т. д. Если исключение генерируется при вычислении выражения exc_classN, обработка исходного исключения прекращается и производится поиск обработчика нового исключения во внешнем блоке (как будто вся инструкция try сгенерировала исключение).

Если найдена ветвь except, удовлетворяющая исключению, исключение (если оно является экземпляром класса) или ассоциированное с ним значение (если исключение является строкой) присваивается параметру lvalueN (любое выражение, которому допускается присваивание — см. раздел 10.3.2), если он задан, выполняется блок кода ветви (suiteN) и выполнение продолжается инструкций следующих за инструкцией try (исключение считается обработанным). Таким образом, если имеется две вложенных инструкции try и исключительная ситуация возникла в блоке try внутренней инструкции, обработчик внешней инструкции не будет обрабатывать исключение.

Перед выполнением блока ветви except информация об исключении сохраняется и может быть получена с помощью функции sys.exc_info() — функция возвращает кортеж, состоящий из типа исключения (класс или строка), самого исключения (если

оно является экземпляром класса) или ассоциированного значения (если исключение является строкой) и объекта traceback (см. раздел 11.9.3). Эти же значения сохраняются в sys.exc_type, sys.exc_value и sys.exc_traceback соответственно. Однако их не рекомендуется использовать, так как это небезопасно в многопоточных программах.

Необязательная ветвь else выполняется, если в блоке основной ветви не было сгенерировано исключение. Если при выполнении ветви except или else генерируется исключение, поиск обработчика производится во внешней инструкции try (если такая имеется), а не в текущей.

Вторая форма используется для определения “страховочного” кода:

try: suite1 finally: suite2

Сначала выполняется ветвь try (блок suite1). Если при этом не возникает исключительной ситуации, далее просто выполняется ветвь finally (блок suite2). Если же в блоке suite1 генерируется исключение, то оно временно сохраняется, выполняется ветвь finally и сохраненное исключение генерируется снова (поиск обработчика производится во внешней инструкции try, если такая имеется). Если Вы прерываете выполнение блока suite2 инструкцией return, break или continue или генерируя новое исключение, сохраненное исключение будет утрачено (то есть не будет сгенерировано снова).

Ветвь finally выполняется и в том случае, если выход из блока suite1 происходит по инструкции return или break. В текущих реализациях использование инструкции continue в основной ветви инструкции try не допускается (ситуация, возможно, изменится в будущих версиях).

10.4.5Определение функций

С помощью инструкции def Вы можете определить объект-функцию (function, см. раздел 11.4.1):

def func_name(param_list): suite

param_list — список параметров (через запятую; если параметры записаны с использованием только первой и второй форм, список может содержать завершающую запятую, которая игнорируется) в следующих формах (различные формы можно смешивать, но каждая из них может использоваться только один раз и порядок их следования должен быть именно таким, в котором они перечислены):

param1 [, param2 ...]

Список простых позиционных параметров. Каждый из параметров может

def increment(x, n=n): return x+n

return increment

add1 = make_incrementer(1) print add1(3) # чЩЧЕДЕФ ’4’

Как мы уже упоминали, значения по умолчанию вычисляются только один раз. Это особенно важно, если значение по умолчанию является изменяемым объектом (например, списком или словарем): если функция изменяет объект (например, добавляя элемент в список), изменяется значение по умолчанию. Обычно это не то, что Вы ожидаете. Один из способов обойти такое поведение — использовать в качестве значения параметра по умолчанию объект None и явно проверять его в теле функции:

def add_ostrich_notice(notices=None):

if notices is None: notices = []

notices.append(

"рТПУШВБ УФТБХУПЧ ОЕ РХЗБФШ - РПМ ВЕФПООЩК") return notices

Однако использовать такое поведение для определения статических переменных нежелательно — лучше использовать глобальные переменные модуля или определить класс со специальным методом __call__(), например:

#дМС ЧУРПНПЗБФЕМШОЩИ ПВЯЕЛФПЧ ЙУРПМШЪХЕН ЮБУФОЩЕ

#ЙНЕОБ, ЛПФПТЩЕ ОЕ ВХДХФ ЙНРПТФЙТПЧБФШУС У РПНПЭША

#’from ... import *’

_MAX_KICKS_ALLOWED = 10 # юЙУМП ТБЪТЕЫЕООЩИ РЙОЛПЧ

class _dog_kicker:

def __init__(self):

#ЧЕДЕФ УЕВС ЛБЛ УФБФЙЮЕУЛБС РЕТЕНЕООБС Ч

#"ЖХОЛГЙЙ" kick_a_dog()

self.num_of_kicks = 0 def __call__(self, num=1):

if self.num_of_kicks >= _MAX_KICKS_ALLOWED: print "б чБН УПВБЛХ ОЕ ЦБМЛП?"

return

num = min(_MAX_KICKS_ALLOWED-self.num_of_kicks, num)

self.num_of_kicks = self.num_of_kicks+num print "чЩ РОХМЙ УПВБЛХ", num, "ТБЪ(Б)"

# ьФПФ ЬЛЪЕНРМСТ НПЦОП ЙУРПМШЪПЧБФШ БОБМПЗЙЮОП ЖХОЛГЙЙ kick_a_dog = _dog_kicker()

Имена могут быть добавлены (только в локальное пространство имен) следующими способами:

передача формальных аргументов функции,

использование инструкции import,

определение класса или функции (добавляет в локальное пространство имен имя класса или функции),

использование оператора присваивания,

использование цикла for (в заголовке указывается новое имя),

указывая имя во второй позиции после ключевого слова except.

Если глобальное имя не найдено в глобальном пространстве имен, его поиск производится в пространстве встроенных имен, которое, на самом деле, является пространством имен модуля __builtin__. Этот модуль (или словарь определенных в нем имен) доступен под глобальным именем текущего блока __builtins__. Если же имя не найдено в пространстве встроенных имен, генерируется исключение NameError.

Ниже приведены значения локального и глобального пространств имен для различных типов блоков кода. Пространство имен модуля автоматически создается, когда модуль импортируется первый раз.