blob: 813b7ca93c72907fd4b1efa4049e59ca691980a7 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001.. _tut-morecontrol:
2
3***********************
4More Control Flow Tools
5***********************
6
7Besides the :keyword:`while` statement just introduced, Python knows the usual
8control flow statements known from other languages, with some twists.
9
10
11.. _tut-if:
12
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020013:keyword:`!if` Statements
14=========================
Georg Brandl116aa622007-08-15 14:28:22 +000015
16Perhaps the most well-known statement type is the :keyword:`if` statement. For
17example::
18
Georg Brandle9af2842007-08-17 05:54:09 +000019 >>> x = int(input("Please enter an integer: "))
Georg Brandl5d955ed2008-09-13 17:18:21 +000020 Please enter an integer: 42
Georg Brandl116aa622007-08-15 14:28:22 +000021 >>> if x < 0:
Ezio Melottie65cb192013-11-17 22:07:48 +020022 ... x = 0
23 ... print('Negative changed to zero')
Georg Brandl116aa622007-08-15 14:28:22 +000024 ... elif x == 0:
Ezio Melottie65cb192013-11-17 22:07:48 +020025 ... print('Zero')
Georg Brandl116aa622007-08-15 14:28:22 +000026 ... elif x == 1:
Ezio Melottie65cb192013-11-17 22:07:48 +020027 ... print('Single')
Georg Brandl116aa622007-08-15 14:28:22 +000028 ... else:
Ezio Melottie65cb192013-11-17 22:07:48 +020029 ... print('More')
Georg Brandl5d955ed2008-09-13 17:18:21 +000030 ...
31 More
Georg Brandl116aa622007-08-15 14:28:22 +000032
33There can be zero or more :keyword:`elif` parts, and the :keyword:`else` part is
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020034optional. The keyword ':keyword:`!elif`' is short for 'else if', and is useful
35to avoid excessive indentation. An :keyword:`!if` ... :keyword:`!elif` ...
36:keyword:`!elif` ... sequence is a substitute for the ``switch`` or
Christian Heimes5b5e81c2007-12-31 16:14:33 +000037``case`` statements found in other languages.
Georg Brandl116aa622007-08-15 14:28:22 +000038
39
40.. _tut-for:
41
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020042:keyword:`!for` Statements
43==========================
Georg Brandl116aa622007-08-15 14:28:22 +000044
45.. index::
46 statement: for
Georg Brandl116aa622007-08-15 14:28:22 +000047
48The :keyword:`for` statement in Python differs a bit from what you may be used
49to in C or Pascal. Rather than always iterating over an arithmetic progression
50of numbers (like in Pascal), or giving the user the ability to define both the
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020051iteration step and halting condition (as C), Python's :keyword:`!for` statement
Georg Brandl116aa622007-08-15 14:28:22 +000052iterates over the items of any sequence (a list or a string), in the order that
53they appear in the sequence. For example (no pun intended):
54
Christian Heimes5b5e81c2007-12-31 16:14:33 +000055.. One suggestion was to give a real C example here, but that may only serve to
56 confuse non-C programmers.
Georg Brandl116aa622007-08-15 14:28:22 +000057
58::
59
60 >>> # Measure some strings:
Chris Jerdonek4fab8f02012-10-15 19:44:47 -070061 ... words = ['cat', 'window', 'defenestrate']
62 >>> for w in words:
63 ... print(w, len(w))
Georg Brandl48310cd2009-01-03 21:18:54 +000064 ...
Georg Brandl116aa622007-08-15 14:28:22 +000065 cat 3
66 window 6
67 defenestrate 12
68
Chris Jerdonek4fab8f02012-10-15 19:44:47 -070069If you need to modify the sequence you are iterating over while inside the loop
70(for example to duplicate selected items), it is recommended that you first
71make a copy. Iterating over a sequence does not implicitly make a copy. The
72slice notation makes this especially convenient::
Georg Brandl116aa622007-08-15 14:28:22 +000073
Chris Jerdonek4fab8f02012-10-15 19:44:47 -070074 >>> for w in words[:]: # Loop over a slice copy of the entire list.
75 ... if len(w) > 6:
76 ... words.insert(0, w)
Georg Brandl48310cd2009-01-03 21:18:54 +000077 ...
Chris Jerdonek4fab8f02012-10-15 19:44:47 -070078 >>> words
Georg Brandl116aa622007-08-15 14:28:22 +000079 ['defenestrate', 'cat', 'window', 'defenestrate']
80
Georg Brandl40383c82016-02-15 17:50:33 +010081With ``for w in words:``, the example would attempt to create an infinite list,
82inserting ``defenestrate`` over and over again.
83
Georg Brandl116aa622007-08-15 14:28:22 +000084
85.. _tut-range:
86
87The :func:`range` Function
88==========================
89
90If you do need to iterate over a sequence of numbers, the built-in function
Guido van Rossum0616b792007-08-31 03:25:11 +000091:func:`range` comes in handy. It generates arithmetic progressions::
Georg Brandl116aa622007-08-15 14:28:22 +000092
Guido van Rossum0616b792007-08-31 03:25:11 +000093 >>> for i in range(5):
94 ... print(i)
95 ...
96 0
97 1
98 2
99 3
100 4
Georg Brandl48310cd2009-01-03 21:18:54 +0000101
Georg Brandl7d821062010-06-27 10:59:19 +0000102The given end point is never part of the generated sequence; ``range(10)`` generates
Guido van Rossum0616b792007-08-31 03:25:11 +000010310 values, the legal indices for items of a sequence of length 10. It
Georg Brandl116aa622007-08-15 14:28:22 +0000104is possible to let the range start at another number, or to specify a different
105increment (even negative; sometimes this is called the 'step')::
106
Georg Brandl48310cd2009-01-03 21:18:54 +0000107 range(5, 10)
Steven M. Vascellaro83d70622018-03-09 14:57:21 -0500108 5, 6, 7, 8, 9
Guido van Rossum0616b792007-08-31 03:25:11 +0000109
Georg Brandl48310cd2009-01-03 21:18:54 +0000110 range(0, 10, 3)
Guido van Rossum0616b792007-08-31 03:25:11 +0000111 0, 3, 6, 9
112
Georg Brandl48310cd2009-01-03 21:18:54 +0000113 range(-10, -100, -30)
Guido van Rossum0616b792007-08-31 03:25:11 +0000114 -10, -40, -70
Georg Brandl116aa622007-08-15 14:28:22 +0000115
Georg Brandlaf265f42008-12-07 15:06:20 +0000116To iterate over the indices of a sequence, you can combine :func:`range` and
117:func:`len` as follows::
Georg Brandl116aa622007-08-15 14:28:22 +0000118
119 >>> a = ['Mary', 'had', 'a', 'little', 'lamb']
120 >>> for i in range(len(a)):
Guido van Rossum0616b792007-08-31 03:25:11 +0000121 ... print(i, a[i])
Georg Brandl48310cd2009-01-03 21:18:54 +0000122 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000123 0 Mary
124 1 had
125 2 a
126 3 little
127 4 lamb
128
Georg Brandlaf265f42008-12-07 15:06:20 +0000129In most such cases, however, it is convenient to use the :func:`enumerate`
130function, see :ref:`tut-loopidioms`.
131
Guido van Rossum0616b792007-08-31 03:25:11 +0000132A strange thing happens if you just print a range::
133
134 >>> print(range(10))
135 range(0, 10)
136
137In many ways the object returned by :func:`range` behaves as if it is a list,
Georg Brandl48310cd2009-01-03 21:18:54 +0000138but in fact it isn't. It is an object which returns the successive items of
139the desired sequence when you iterate over it, but it doesn't really make
140the list, thus saving space.
Guido van Rossum0616b792007-08-31 03:25:11 +0000141
Georg Brandl48310cd2009-01-03 21:18:54 +0000142We say such an object is *iterable*, that is, suitable as a target for
143functions and constructs that expect something from which they can
Guido van Rossum0616b792007-08-31 03:25:11 +0000144obtain successive items until the supply is exhausted. We have seen that
145the :keyword:`for` statement is such an *iterator*. The function :func:`list`
146is another; it creates lists from iterables::
147
148
149 >>> list(range(5))
150 [0, 1, 2, 3, 4]
151
152Later we will see more functions that return iterables and take iterables as argument.
Georg Brandl116aa622007-08-15 14:28:22 +0000153
Georg Brandlaf265f42008-12-07 15:06:20 +0000154
Georg Brandl116aa622007-08-15 14:28:22 +0000155.. _tut-break:
156
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200157:keyword:`!break` and :keyword:`!continue` Statements, and :keyword:`!else` Clauses on Loops
158============================================================================================
Georg Brandl116aa622007-08-15 14:28:22 +0000159
regexaurus36fc8962017-06-27 18:40:41 -0400160The :keyword:`break` statement, like in C, breaks out of the innermost enclosing
Georg Brandl116aa622007-08-15 14:28:22 +0000161:keyword:`for` or :keyword:`while` loop.
162
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200163Loop statements may have an :keyword:`!else` clause; it is executed when the loop
Georg Brandl116aa622007-08-15 14:28:22 +0000164terminates through exhaustion of the list (with :keyword:`for`) or when the
165condition becomes false (with :keyword:`while`), but not when the loop is
166terminated by a :keyword:`break` statement. This is exemplified by the
167following loop, which searches for prime numbers::
168
169 >>> for n in range(2, 10):
170 ... for x in range(2, n):
171 ... if n % x == 0:
Georg Brandlb03c1d92008-05-01 18:06:50 +0000172 ... print(n, 'equals', x, '*', n//x)
Georg Brandl116aa622007-08-15 14:28:22 +0000173 ... break
174 ... else:
175 ... # loop fell through without finding a factor
Guido van Rossum0616b792007-08-31 03:25:11 +0000176 ... print(n, 'is a prime number')
Georg Brandl48310cd2009-01-03 21:18:54 +0000177 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000178 2 is a prime number
179 3 is a prime number
180 4 equals 2 * 2
181 5 is a prime number
182 6 equals 2 * 3
183 7 is a prime number
184 8 equals 2 * 4
185 9 equals 3 * 3
186
Georg Brandlbdbdfb12011-08-08 21:45:13 +0200187(Yes, this is the correct code. Look closely: the ``else`` clause belongs to
188the :keyword:`for` loop, **not** the :keyword:`if` statement.)
189
Nick Coghlana3a164a2012-06-07 22:41:34 +1000190When used with a loop, the ``else`` clause has more in common with the
191``else`` clause of a :keyword:`try` statement than it does that of
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200192:keyword:`if` statements: a :keyword:`!try` statement's ``else`` clause runs
Nick Coghlana3a164a2012-06-07 22:41:34 +1000193when no exception occurs, and a loop's ``else`` clause runs when no ``break``
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200194occurs. For more on the :keyword:`!try` statement and exceptions, see
Nick Coghlana3a164a2012-06-07 22:41:34 +1000195:ref:`tut-handling`.
196
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700197The :keyword:`continue` statement, also borrowed from C, continues with the next
198iteration of the loop::
199
200 >>> for num in range(2, 10):
Eli Bendersky31a11902012-08-18 09:50:09 +0300201 ... if num % 2 == 0:
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700202 ... print("Found an even number", num)
203 ... continue
204 ... print("Found a number", num)
205 Found an even number 2
206 Found a number 3
207 Found an even number 4
208 Found a number 5
209 Found an even number 6
210 Found a number 7
211 Found an even number 8
212 Found a number 9
Georg Brandl116aa622007-08-15 14:28:22 +0000213
214.. _tut-pass:
215
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200216:keyword:`!pass` Statements
217===========================
Georg Brandl116aa622007-08-15 14:28:22 +0000218
219The :keyword:`pass` statement does nothing. It can be used when a statement is
220required syntactically but the program requires no action. For example::
221
222 >>> while True:
Georg Brandl5d955ed2008-09-13 17:18:21 +0000223 ... pass # Busy-wait for keyboard interrupt (Ctrl+C)
Georg Brandl48310cd2009-01-03 21:18:54 +0000224 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000225
Benjamin Peterson92035012008-12-27 16:00:54 +0000226This is commonly used for creating minimal classes::
Georg Brandla971c652008-11-07 09:39:56 +0000227
Benjamin Peterson92035012008-12-27 16:00:54 +0000228 >>> class MyEmptyClass:
Georg Brandla971c652008-11-07 09:39:56 +0000229 ... pass
Benjamin Peterson92035012008-12-27 16:00:54 +0000230 ...
Georg Brandla971c652008-11-07 09:39:56 +0000231
232Another place :keyword:`pass` can be used is as a place-holder for a function or
Benjamin Peterson92035012008-12-27 16:00:54 +0000233conditional body when you are working on new code, allowing you to keep thinking
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200234at a more abstract level. The :keyword:`!pass` is silently ignored::
Georg Brandla971c652008-11-07 09:39:56 +0000235
236 >>> def initlog(*args):
Benjamin Peterson92035012008-12-27 16:00:54 +0000237 ... pass # Remember to implement this!
Georg Brandl48310cd2009-01-03 21:18:54 +0000238 ...
Georg Brandla971c652008-11-07 09:39:56 +0000239
Georg Brandl116aa622007-08-15 14:28:22 +0000240.. _tut-functions:
241
242Defining Functions
243==================
244
245We can create a function that writes the Fibonacci series to an arbitrary
246boundary::
247
248 >>> def fib(n): # write Fibonacci series up to n
249 ... """Print a Fibonacci series up to n."""
250 ... a, b = 0, 1
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000251 ... while a < n:
252 ... print(a, end=' ')
Georg Brandl116aa622007-08-15 14:28:22 +0000253 ... a, b = b, a+b
Guido van Rossum0616b792007-08-31 03:25:11 +0000254 ... print()
Georg Brandl48310cd2009-01-03 21:18:54 +0000255 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000256 >>> # Now call the function we just defined:
257 ... fib(2000)
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000258 0 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597
Georg Brandl116aa622007-08-15 14:28:22 +0000259
260.. index::
261 single: documentation strings
262 single: docstrings
263 single: strings, documentation
264
265The keyword :keyword:`def` introduces a function *definition*. It must be
266followed by the function name and the parenthesized list of formal parameters.
267The statements that form the body of the function start at the next line, and
Georg Brandl5d955ed2008-09-13 17:18:21 +0000268must be indented.
Georg Brandl116aa622007-08-15 14:28:22 +0000269
Georg Brandl5d955ed2008-09-13 17:18:21 +0000270The first statement of the function body can optionally be a string literal;
271this string literal is the function's documentation string, or :dfn:`docstring`.
272(More about docstrings can be found in the section :ref:`tut-docstrings`.)
Georg Brandl116aa622007-08-15 14:28:22 +0000273There are tools which use docstrings to automatically produce online or printed
274documentation, or to let the user interactively browse through code; it's good
Georg Brandl5d955ed2008-09-13 17:18:21 +0000275practice to include docstrings in code that you write, so make a habit of it.
Georg Brandl116aa622007-08-15 14:28:22 +0000276
277The *execution* of a function introduces a new symbol table used for the local
278variables of the function. More precisely, all variable assignments in a
279function store the value in the local symbol table; whereas variable references
Georg Brandl86def6c2008-01-21 20:36:10 +0000280first look in the local symbol table, then in the local symbol tables of
281enclosing functions, then in the global symbol table, and finally in the table
282of built-in names. Thus, global variables cannot be directly assigned a value
283within a function (unless named in a :keyword:`global` statement), although they
284may be referenced.
Georg Brandl116aa622007-08-15 14:28:22 +0000285
286The actual parameters (arguments) to a function call are introduced in the local
287symbol table of the called function when it is called; thus, arguments are
288passed using *call by value* (where the *value* is always an object *reference*,
289not the value of the object). [#]_ When a function calls another function, a new
290local symbol table is created for that call.
291
292A function definition introduces the function name in the current symbol table.
293The value of the function name has a type that is recognized by the interpreter
294as a user-defined function. This value can be assigned to another name which
295can then also be used as a function. This serves as a general renaming
296mechanism::
297
298 >>> fib
299 <function fib at 10042ed0>
300 >>> f = fib
301 >>> f(100)
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000302 0 1 1 2 3 5 8 13 21 34 55 89
Georg Brandl116aa622007-08-15 14:28:22 +0000303
Georg Brandl5d955ed2008-09-13 17:18:21 +0000304Coming from other languages, you might object that ``fib`` is not a function but
305a procedure since it doesn't return a value. In fact, even functions without a
306:keyword:`return` statement do return a value, albeit a rather boring one. This
307value is called ``None`` (it's a built-in name). Writing the value ``None`` is
308normally suppressed by the interpreter if it would be the only value written.
309You can see it if you really want to using :func:`print`::
Georg Brandl116aa622007-08-15 14:28:22 +0000310
Georg Brandl9afde1c2007-11-01 20:32:30 +0000311 >>> fib(0)
Guido van Rossum0616b792007-08-31 03:25:11 +0000312 >>> print(fib(0))
Georg Brandl116aa622007-08-15 14:28:22 +0000313 None
314
315It is simple to write a function that returns a list of the numbers of the
316Fibonacci series, instead of printing it::
317
Serhiy Storchakadba90392016-05-10 12:01:23 +0300318 >>> def fib2(n): # return Fibonacci series up to n
Georg Brandl116aa622007-08-15 14:28:22 +0000319 ... """Return a list containing the Fibonacci series up to n."""
320 ... result = []
321 ... a, b = 0, 1
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000322 ... while a < n:
323 ... result.append(a) # see below
Georg Brandl116aa622007-08-15 14:28:22 +0000324 ... a, b = b, a+b
325 ... return result
Georg Brandl48310cd2009-01-03 21:18:54 +0000326 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000327 >>> f100 = fib2(100) # call it
328 >>> f100 # write the result
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000329 [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89]
Georg Brandl116aa622007-08-15 14:28:22 +0000330
331This example, as usual, demonstrates some new Python features:
332
333* The :keyword:`return` statement returns with a value from a function.
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200334 :keyword:`!return` without an expression argument returns ``None``. Falling off
Georg Brandl5d955ed2008-09-13 17:18:21 +0000335 the end of a function also returns ``None``.
Georg Brandl116aa622007-08-15 14:28:22 +0000336
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000337* The statement ``result.append(a)`` calls a *method* of the list object
Georg Brandl116aa622007-08-15 14:28:22 +0000338 ``result``. A method is a function that 'belongs' to an object and is named
339 ``obj.methodname``, where ``obj`` is some object (this may be an expression),
340 and ``methodname`` is the name of a method that is defined by the object's type.
341 Different types define different methods. Methods of different types may have
342 the same name without causing ambiguity. (It is possible to define your own
Georg Brandlc6c31782009-06-08 13:41:29 +0000343 object types and methods, using *classes*, see :ref:`tut-classes`)
Georg Brandl116aa622007-08-15 14:28:22 +0000344 The method :meth:`append` shown in the example is defined for list objects; it
345 adds a new element at the end of the list. In this example it is equivalent to
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000346 ``result = result + [a]``, but more efficient.
Georg Brandl116aa622007-08-15 14:28:22 +0000347
348
349.. _tut-defining:
350
351More on Defining Functions
352==========================
353
354It is also possible to define functions with a variable number of arguments.
355There are three forms, which can be combined.
356
357
358.. _tut-defaultargs:
359
360Default Argument Values
361-----------------------
362
363The most useful form is to specify a default value for one or more arguments.
364This creates a function that can be called with fewer arguments than it is
365defined to allow. For example::
366
Berker Peksag0a5120e2016-06-02 11:31:19 -0700367 def ask_ok(prompt, retries=4, reminder='Please try again!'):
Georg Brandl116aa622007-08-15 14:28:22 +0000368 while True:
Georg Brandle9af2842007-08-17 05:54:09 +0000369 ok = input(prompt)
Georg Brandlc6c31782009-06-08 13:41:29 +0000370 if ok in ('y', 'ye', 'yes'):
371 return True
372 if ok in ('n', 'no', 'nop', 'nope'):
373 return False
Georg Brandl116aa622007-08-15 14:28:22 +0000374 retries = retries - 1
Collin Winter58721bc2007-09-10 00:39:52 +0000375 if retries < 0:
Berker Peksag0a5120e2016-06-02 11:31:19 -0700376 raise ValueError('invalid user response')
377 print(reminder)
Georg Brandl116aa622007-08-15 14:28:22 +0000378
Georg Brandlc6c31782009-06-08 13:41:29 +0000379This function can be called in several ways:
380
381* giving only the mandatory argument:
382 ``ask_ok('Do you really want to quit?')``
383* giving one of the optional arguments:
384 ``ask_ok('OK to overwrite the file?', 2)``
385* or even giving all arguments:
386 ``ask_ok('OK to overwrite the file?', 2, 'Come on, only yes or no!')``
Georg Brandl116aa622007-08-15 14:28:22 +0000387
388This example also introduces the :keyword:`in` keyword. This tests whether or
389not a sequence contains a certain value.
390
391The default values are evaluated at the point of function definition in the
392*defining* scope, so that ::
393
394 i = 5
395
396 def f(arg=i):
Guido van Rossum0616b792007-08-31 03:25:11 +0000397 print(arg)
Georg Brandl116aa622007-08-15 14:28:22 +0000398
399 i = 6
400 f()
401
402will print ``5``.
403
404**Important warning:** The default value is evaluated only once. This makes a
405difference when the default is a mutable object such as a list, dictionary, or
406instances of most classes. For example, the following function accumulates the
407arguments passed to it on subsequent calls::
408
409 def f(a, L=[]):
410 L.append(a)
411 return L
412
Guido van Rossum0616b792007-08-31 03:25:11 +0000413 print(f(1))
414 print(f(2))
415 print(f(3))
Georg Brandl116aa622007-08-15 14:28:22 +0000416
417This will print ::
418
419 [1]
420 [1, 2]
421 [1, 2, 3]
422
423If you don't want the default to be shared between subsequent calls, you can
424write the function like this instead::
425
426 def f(a, L=None):
427 if L is None:
428 L = []
429 L.append(a)
430 return L
431
432
433.. _tut-keywordargs:
434
435Keyword Arguments
436-----------------
437
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200438Functions can also be called using :term:`keyword arguments <keyword argument>`
439of the form ``kwarg=value``. For instance, the following function::
Georg Brandl116aa622007-08-15 14:28:22 +0000440
441 def parrot(voltage, state='a stiff', action='voom', type='Norwegian Blue'):
Georg Brandle4ac7502007-09-03 07:10:24 +0000442 print("-- This parrot wouldn't", action, end=' ')
Guido van Rossum0616b792007-08-31 03:25:11 +0000443 print("if you put", voltage, "volts through it.")
444 print("-- Lovely plumage, the", type)
445 print("-- It's", state, "!")
Georg Brandl116aa622007-08-15 14:28:22 +0000446
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200447accepts one required argument (``voltage``) and three optional arguments
448(``state``, ``action``, and ``type``). This function can be called in any
449of the following ways::
Georg Brandl116aa622007-08-15 14:28:22 +0000450
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200451 parrot(1000) # 1 positional argument
452 parrot(voltage=1000) # 1 keyword argument
453 parrot(voltage=1000000, action='VOOOOOM') # 2 keyword arguments
454 parrot(action='VOOOOOM', voltage=1000000) # 2 keyword arguments
455 parrot('a million', 'bereft of life', 'jump') # 3 positional arguments
456 parrot('a thousand', state='pushing up the daisies') # 1 positional, 1 keyword
Georg Brandl116aa622007-08-15 14:28:22 +0000457
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200458but all the following calls would be invalid::
Georg Brandl116aa622007-08-15 14:28:22 +0000459
460 parrot() # required argument missing
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200461 parrot(voltage=5.0, 'dead') # non-keyword argument after a keyword argument
462 parrot(110, voltage=220) # duplicate value for the same argument
463 parrot(actor='John Cleese') # unknown keyword argument
Georg Brandl116aa622007-08-15 14:28:22 +0000464
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200465In a function call, keyword arguments must follow positional arguments.
466All the keyword arguments passed must match one of the arguments
467accepted by the function (e.g. ``actor`` is not a valid argument for the
468``parrot`` function), and their order is not important. This also includes
469non-optional arguments (e.g. ``parrot(voltage=1000)`` is valid too).
470No argument may receive a value more than once.
471Here's an example that fails due to this restriction::
Georg Brandl116aa622007-08-15 14:28:22 +0000472
473 >>> def function(a):
474 ... pass
Georg Brandl48310cd2009-01-03 21:18:54 +0000475 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000476 >>> function(0, a=0)
477 Traceback (most recent call last):
UltimateCoder88569402017-05-03 22:16:45 +0530478 File "<stdin>", line 1, in <module>
Georg Brandl116aa622007-08-15 14:28:22 +0000479 TypeError: function() got multiple values for keyword argument 'a'
480
481When a final formal parameter of the form ``**name`` is present, it receives a
482dictionary (see :ref:`typesmapping`) containing all keyword arguments except for
483those corresponding to a formal parameter. This may be combined with a formal
484parameter of the form ``*name`` (described in the next subsection) which
Julien Palard51ddab82019-05-28 15:10:23 +0200485receives a :ref:`tuple <tut-tuples>` containing the positional
486arguments beyond the formal parameter list. (``*name`` must occur
487before ``**name``.) For example, if we define a function like this::
Georg Brandl116aa622007-08-15 14:28:22 +0000488
489 def cheeseshop(kind, *arguments, **keywords):
Georg Brandl5d955ed2008-09-13 17:18:21 +0000490 print("-- Do you have any", kind, "?")
Guido van Rossum0616b792007-08-31 03:25:11 +0000491 print("-- I'm sorry, we're all out of", kind)
Georg Brandl70543ac2010-10-15 15:32:05 +0000492 for arg in arguments:
493 print(arg)
Georg Brandl5d955ed2008-09-13 17:18:21 +0000494 print("-" * 40)
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200495 for kw in keywords:
Georg Brandl70543ac2010-10-15 15:32:05 +0000496 print(kw, ":", keywords[kw])
Georg Brandl116aa622007-08-15 14:28:22 +0000497
498It could be called like this::
499
Georg Brandl5d955ed2008-09-13 17:18:21 +0000500 cheeseshop("Limburger", "It's very runny, sir.",
Georg Brandl116aa622007-08-15 14:28:22 +0000501 "It's really very, VERY runny, sir.",
Georg Brandl5d955ed2008-09-13 17:18:21 +0000502 shopkeeper="Michael Palin",
503 client="John Cleese",
504 sketch="Cheese Shop Sketch")
Georg Brandl116aa622007-08-15 14:28:22 +0000505
Martin Panter1050d2d2016-07-26 11:18:21 +0200506and of course it would print:
507
508.. code-block:: none
Georg Brandl116aa622007-08-15 14:28:22 +0000509
510 -- Do you have any Limburger ?
511 -- I'm sorry, we're all out of Limburger
512 It's very runny, sir.
513 It's really very, VERY runny, sir.
514 ----------------------------------------
Georg Brandl116aa622007-08-15 14:28:22 +0000515 shopkeeper : Michael Palin
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200516 client : John Cleese
Georg Brandl116aa622007-08-15 14:28:22 +0000517 sketch : Cheese Shop Sketch
518
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200519Note that the order in which the keyword arguments are printed is guaranteed
520to match the order in which they were provided in the function call.
521
Pablo Galindob76302d2019-05-29 00:45:32 +0100522Special parameters
523------------------
524
525By default, arguments may be passed to a Python function either by position
526or explicitly by keyword. For readability and performance, it makes sense to
527restrict the way arguments can be passed so that a developer need only look
528at the function definition to determine if items are passed by position, by
529position or keyword, or by keyword.
530
531A function definition may look like:
532
533.. code-block:: none
534
535 def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2):
536 ----------- ---------- ----------
537 | | |
538 | Positional or keyword |
539 | - Keyword only
540 -- Positional only
541
542where ``/`` and ``*`` are optional. If used, these symbols indicate the kind of
543parameter by how the arguments may be passed to the function:
544positional-only, positional-or-keyword, and keyword-only. Keyword parameters
545are also referred to as named parameters.
546
547-------------------------------
548Positional-or-Keyword Arguments
549-------------------------------
550
551If ``/`` and ``*`` are not present in the function definition, arguments may
552be passed to a function by position or by keyword.
553
554--------------------------
555Positional-Only Parameters
556--------------------------
557
558Looking at this in a bit more detail, it is possible to mark certain parameters
559as *positional-only*. If *positional-only*, the parameters' order matters, and
560the parameters cannot be passed by keyword. Positional-only parameters are
561placed before a ``/`` (forward-slash). The ``/`` is used to logically
562separate the positional-only parameters from the rest of the parameters.
563If there is no ``/`` in the function definition, there are no positional-only
564parameters.
565
566Parameters following the ``/`` may be *positional-or-keyword* or *keyword-only*.
567
568----------------------
569Keyword-Only Arguments
570----------------------
571
572To mark parameters as *keyword-only*, indicating the parameters must be passed
573by keyword argument, place an ``*`` in the arguments list just before the first
574*keyword-only* parameter.
575
576-----------------
577Function Examples
578-----------------
579
580Consider the following example function definitions paying close attention to the
581markers ``/`` and ``*``::
582
583 >>> def standard_arg(arg):
584 ... print(arg)
585 ...
586 >>> def pos_only_arg(arg, /):
587 ... print(arg)
588 ...
589 >>> def kwd_only_arg(*, arg):
590 ... print(arg)
591 ...
592 >>> def combined_example(pos_only, /, standard, *, kwd_only):
593 ... print(pos_only, standard, kwd_only)
594
595
596The first function definition, ``standard_arg``, the most familiar form,
597places no restrictions on the calling convention and arguments may be
598passed by position or keyword::
599
600 >>> standard_arg(2)
601 2
602
603 >>> standard_arg(arg=2)
604 2
605
606The second function ``pos_only_arg`` is restricted to only use positional
607parameters as there is a ``/`` in the function definition::
608
609 >>> pos_only_arg(1)
610 1
611
612 >>> pos_only_arg(arg=1)
613 Traceback (most recent call last):
614 File "<stdin>", line 1, in <module>
615 TypeError: pos_only_arg() got an unexpected keyword argument 'arg'
616
617The third function ``kwd_only_args`` only allows keyword arguments as indicated
618by a ``*`` in the function definition::
619
620 >>> kwd_only_arg(3)
621 Traceback (most recent call last):
622 File "<stdin>", line 1, in <module>
623 TypeError: kwd_only_arg() takes 0 positional arguments but 1 was given
624
625 >>> kwd_only_arg(arg=3)
626 3
627
628And the last uses all three calling conventions in the same function
629definition::
630
631 >>> combined_example(1, 2, 3)
632 Traceback (most recent call last):
633 File "<stdin>", line 1, in <module>
634 TypeError: combined_example() takes 2 positional arguments but 3 were given
635
636 >>> combined_example(1, 2, kwd_only=3)
637 1 2 3
638
639 >>> combined_example(1, standard=2, kwd_only=3)
640 1 2 3
641
642 >>> combined_example(pos_only=1, standard=2, kwd_only=3)
643 Traceback (most recent call last):
644 File "<stdin>", line 1, in <module>
645 TypeError: combined_example() got an unexpected keyword argument 'pos_only'
646
647
648Finally, consider this function definition which has a potential collision between the positional argument ``name`` and ``**kwds`` which has ``name`` as a key::
649
650 def foo(name, **kwds):
651 return 'name' in kwds
652
653There is no possible call that will make it return ``True`` as the keyword ``'name'``
654will always to bind to the first parameter. For example::
655
656 >>> foo(1, **{'name': 2})
657 Traceback (most recent call last):
658 File "<stdin>", line 1, in <module>
659 TypeError: foo() got multiple values for argument 'name'
660 >>>
661
662But using ``/`` (positional only arguments), it is possible since it allows ``name`` as a positional argument and ``'name'`` as a key in the keyword arguments::
663
664 def foo(name, /, **kwds):
665 return 'name' in kwds
666 >>> foo(1, **{'name': 2})
667 True
668
669In other words, the names of positional-only parameters can be used in
670``**kwds`` without ambiguity.
671
672-----
673Recap
674-----
675
676The use case will determine which parameters to use in the function definition::
677
678 def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2):
679
680As guidance:
681
682* Use positional-only if you want the name of the parameters to not be
683 available to the user. This is useful when parameter names have no real
684 meaning, if you want to enforce the order of the arguments when the function
685 is called or if you need to take some positional parameters and arbitrary
686 keywords.
687* Use keyword-only when names have meaning and the function definition is
688 more understandable by being explicit with names or you want to prevent
689 users relying on the position of the argument being passed.
690* For an API, use positional-only to prevent prevent breaking API changes
691 if the parameter's name is modified in the future.
Georg Brandl116aa622007-08-15 14:28:22 +0000692
693.. _tut-arbitraryargs:
694
695Arbitrary Argument Lists
696------------------------
697
Christian Heimesdae2a892008-04-19 00:55:37 +0000698.. index::
Serhiy Storchaka913876d2018-10-28 13:41:26 +0200699 single: * (asterisk); in function calls
Christian Heimesdae2a892008-04-19 00:55:37 +0000700
Georg Brandl116aa622007-08-15 14:28:22 +0000701Finally, the least frequently used option is to specify that a function can be
702called with an arbitrary number of arguments. These arguments will be wrapped
Georg Brandl5d955ed2008-09-13 17:18:21 +0000703up in a tuple (see :ref:`tut-tuples`). Before the variable number of arguments,
704zero or more normal arguments may occur. ::
Georg Brandl116aa622007-08-15 14:28:22 +0000705
Georg Brandlf08a9dd2008-06-10 16:57:31 +0000706 def write_multiple_items(file, separator, *args):
707 file.write(separator.join(args))
Georg Brandl116aa622007-08-15 14:28:22 +0000708
Georg Brandl48310cd2009-01-03 21:18:54 +0000709
Guido van Rossum0616b792007-08-31 03:25:11 +0000710Normally, these ``variadic`` arguments will be last in the list of formal
Georg Brandl48310cd2009-01-03 21:18:54 +0000711parameters, because they scoop up all remaining input arguments that are
Guido van Rossum0616b792007-08-31 03:25:11 +0000712passed to the function. Any formal parameters which occur after the ``*args``
Georg Brandl48310cd2009-01-03 21:18:54 +0000713parameter are 'keyword-only' arguments, meaning that they can only be used as
Georg Brandle4ac7502007-09-03 07:10:24 +0000714keywords rather than positional arguments. ::
Georg Brandl48310cd2009-01-03 21:18:54 +0000715
Guido van Rossum0616b792007-08-31 03:25:11 +0000716 >>> def concat(*args, sep="/"):
Serhiy Storchakadba90392016-05-10 12:01:23 +0300717 ... return sep.join(args)
Guido van Rossum0616b792007-08-31 03:25:11 +0000718 ...
719 >>> concat("earth", "mars", "venus")
720 'earth/mars/venus'
721 >>> concat("earth", "mars", "venus", sep=".")
722 'earth.mars.venus'
Georg Brandl116aa622007-08-15 14:28:22 +0000723
724.. _tut-unpacking-arguments:
725
726Unpacking Argument Lists
727------------------------
728
729The reverse situation occurs when the arguments are already in a list or tuple
730but need to be unpacked for a function call requiring separate positional
731arguments. For instance, the built-in :func:`range` function expects separate
732*start* and *stop* arguments. If they are not available separately, write the
Raymond Hettingerfb28fcc2019-03-27 21:03:02 -0700733function call with the ``*``\ -operator to unpack the arguments out of a list
Georg Brandl116aa622007-08-15 14:28:22 +0000734or tuple::
735
Guido van Rossum0616b792007-08-31 03:25:11 +0000736 >>> list(range(3, 6)) # normal call with separate arguments
Georg Brandl116aa622007-08-15 14:28:22 +0000737 [3, 4, 5]
738 >>> args = [3, 6]
Guido van Rossum0616b792007-08-31 03:25:11 +0000739 >>> list(range(*args)) # call with arguments unpacked from a list
Georg Brandl116aa622007-08-15 14:28:22 +0000740 [3, 4, 5]
741
Christian Heimesdae2a892008-04-19 00:55:37 +0000742.. index::
Serhiy Storchakaddb961d2018-10-26 09:00:49 +0300743 single: **; in function calls
Christian Heimesdae2a892008-04-19 00:55:37 +0000744
Serhiy Storchaka3f819ca2018-10-31 02:26:06 +0200745In the same fashion, dictionaries can deliver keyword arguments with the
Raymond Hettingerfb28fcc2019-03-27 21:03:02 -0700746``**``\ -operator::
Georg Brandl116aa622007-08-15 14:28:22 +0000747
748 >>> def parrot(voltage, state='a stiff', action='voom'):
Georg Brandle4ac7502007-09-03 07:10:24 +0000749 ... print("-- This parrot wouldn't", action, end=' ')
Guido van Rossum0616b792007-08-31 03:25:11 +0000750 ... print("if you put", voltage, "volts through it.", end=' ')
751 ... print("E's", state, "!")
Georg Brandl116aa622007-08-15 14:28:22 +0000752 ...
753 >>> d = {"voltage": "four million", "state": "bleedin' demised", "action": "VOOM"}
754 >>> parrot(**d)
755 -- This parrot wouldn't VOOM if you put four million volts through it. E's bleedin' demised !
756
757
758.. _tut-lambda:
759
Georg Brandlde5aff12013-10-06 10:22:45 +0200760Lambda Expressions
761------------------
Georg Brandl116aa622007-08-15 14:28:22 +0000762
Georg Brandlde5aff12013-10-06 10:22:45 +0200763Small anonymous functions can be created with the :keyword:`lambda` keyword.
764This function returns the sum of its two arguments: ``lambda a, b: a+b``.
Georg Brandl242e6a02013-10-06 10:28:39 +0200765Lambda functions can be used wherever function objects are required. They are
Georg Brandlde5aff12013-10-06 10:22:45 +0200766syntactically restricted to a single expression. Semantically, they are just
767syntactic sugar for a normal function definition. Like nested function
768definitions, lambda functions can reference variables from the containing
769scope::
Georg Brandl116aa622007-08-15 14:28:22 +0000770
771 >>> def make_incrementor(n):
772 ... return lambda x: x + n
773 ...
774 >>> f = make_incrementor(42)
775 >>> f(0)
776 42
777 >>> f(1)
778 43
779
Georg Brandlde5aff12013-10-06 10:22:45 +0200780The above example uses a lambda expression to return a function. Another use
781is to pass a small function as an argument::
782
783 >>> pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')]
784 >>> pairs.sort(key=lambda pair: pair[1])
785 >>> pairs
786 [(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')]
787
Georg Brandl116aa622007-08-15 14:28:22 +0000788
789.. _tut-docstrings:
790
791Documentation Strings
792---------------------
793
794.. index::
795 single: docstrings
796 single: documentation strings
797 single: strings, documentation
798
Guido van Rossum0616b792007-08-31 03:25:11 +0000799Here are some conventions about the content and formatting of documentation
Georg Brandl48310cd2009-01-03 21:18:54 +0000800strings.
Georg Brandl116aa622007-08-15 14:28:22 +0000801
802The first line should always be a short, concise summary of the object's
803purpose. For brevity, it should not explicitly state the object's name or type,
804since these are available by other means (except if the name happens to be a
805verb describing a function's operation). This line should begin with a capital
806letter and end with a period.
807
808If there are more lines in the documentation string, the second line should be
809blank, visually separating the summary from the rest of the description. The
810following lines should be one or more paragraphs describing the object's calling
811conventions, its side effects, etc.
812
813The Python parser does not strip indentation from multi-line string literals in
814Python, so tools that process documentation have to strip indentation if
815desired. This is done using the following convention. The first non-blank line
816*after* the first line of the string determines the amount of indentation for
817the entire documentation string. (We can't use the first line since it is
818generally adjacent to the string's opening quotes so its indentation is not
819apparent in the string literal.) Whitespace "equivalent" to this indentation is
820then stripped from the start of all lines of the string. Lines that are
821indented less should not occur, but if they occur all their leading whitespace
822should be stripped. Equivalence of whitespace should be tested after expansion
823of tabs (to 8 spaces, normally).
824
825Here is an example of a multi-line docstring::
826
827 >>> def my_function():
828 ... """Do nothing, but document it.
Georg Brandl48310cd2009-01-03 21:18:54 +0000829 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000830 ... No, really, it doesn't do anything.
831 ... """
832 ... pass
Georg Brandl48310cd2009-01-03 21:18:54 +0000833 ...
Guido van Rossum0616b792007-08-31 03:25:11 +0000834 >>> print(my_function.__doc__)
Georg Brandl116aa622007-08-15 14:28:22 +0000835 Do nothing, but document it.
836
837 No, really, it doesn't do anything.
838
839
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200840.. _tut-annotations:
841
842Function Annotations
843--------------------
844
845.. sectionauthor:: Zachary Ware <zachary.ware@gmail.com>
846.. index::
847 pair: function; annotations
Serhiy Storchakaddb961d2018-10-26 09:00:49 +0300848 single: ->; function annotations
Serhiy Storchaka913876d2018-10-28 13:41:26 +0200849 single: : (colon); function annotations
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200850
Zachary Waref3b990e2015-04-13 11:30:47 -0500851:ref:`Function annotations <function>` are completely optional metadata
Neeraj Badlani643ff712018-04-25 10:52:13 -0700852information about the types used by user-defined functions (see :pep:`3107` and
853:pep:`484` for more information).
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200854
Cheryl Sabellab7105c92018-12-24 00:09:09 -0500855:term:`Annotations <function annotation>` are stored in the :attr:`__annotations__`
856attribute of the function as a dictionary and have no effect on any other part of the
857function. Parameter annotations are defined by a colon after the parameter name, followed
858by an expression evaluating to the value of the annotation. Return annotations are
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200859defined by a literal ``->``, followed by an expression, between the parameter
860list and the colon denoting the end of the :keyword:`def` statement. The
861following example has a positional argument, a keyword argument, and the return
Zachary Waref3b990e2015-04-13 11:30:47 -0500862value annotated::
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200863
Zachary Waref3b990e2015-04-13 11:30:47 -0500864 >>> def f(ham: str, eggs: str = 'eggs') -> str:
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200865 ... print("Annotations:", f.__annotations__)
866 ... print("Arguments:", ham, eggs)
Zachary Waref3b990e2015-04-13 11:30:47 -0500867 ... return ham + ' and ' + eggs
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200868 ...
Zachary Waref3b990e2015-04-13 11:30:47 -0500869 >>> f('spam')
870 Annotations: {'ham': <class 'str'>, 'return': <class 'str'>, 'eggs': <class 'str'>}
871 Arguments: spam eggs
872 'spam and eggs'
Andrew Svetlov1491cbd2012-11-01 21:26:55 +0200873
Christian Heimes043d6f62008-01-07 17:19:16 +0000874.. _tut-codingstyle:
875
876Intermezzo: Coding Style
877========================
878
879.. sectionauthor:: Georg Brandl <georg@python.org>
880.. index:: pair: coding; style
881
882Now that you are about to write longer, more complex pieces of Python, it is a
883good time to talk about *coding style*. Most languages can be written (or more
884concise, *formatted*) in different styles; some are more readable than others.
885Making it easy for others to read your code is always a good idea, and adopting
886a nice coding style helps tremendously for that.
887
Christian Heimesdae2a892008-04-19 00:55:37 +0000888For Python, :pep:`8` has emerged as the style guide that most projects adhere to;
Christian Heimes043d6f62008-01-07 17:19:16 +0000889it promotes a very readable and eye-pleasing coding style. Every Python
890developer should read it at some point; here are the most important points
891extracted for you:
892
893* Use 4-space indentation, and no tabs.
894
895 4 spaces are a good compromise between small indentation (allows greater
896 nesting depth) and large indentation (easier to read). Tabs introduce
897 confusion, and are best left out.
898
899* Wrap lines so that they don't exceed 79 characters.
900
901 This helps users with small displays and makes it possible to have several
902 code files side-by-side on larger displays.
903
904* Use blank lines to separate functions and classes, and larger blocks of
905 code inside functions.
906
907* When possible, put comments on a line of their own.
908
909* Use docstrings.
910
911* Use spaces around operators and after commas, but not directly inside
912 bracketing constructs: ``a = f(1, 2) + g(3, 4)``.
913
914* Name your classes and functions consistently; the convention is to use
915 ``CamelCase`` for classes and ``lower_case_with_underscores`` for functions
Georg Brandl5d955ed2008-09-13 17:18:21 +0000916 and methods. Always use ``self`` as the name for the first method argument
917 (see :ref:`tut-firstclasses` for more on classes and methods).
Christian Heimes043d6f62008-01-07 17:19:16 +0000918
919* Don't use fancy encodings if your code is meant to be used in international
Georg Brandl7ae90dd2009-06-08 18:59:09 +0000920 environments. Python's default, UTF-8, or even plain ASCII work best in any
921 case.
922
923* Likewise, don't use non-ASCII characters in identifiers if there is only the
924 slightest chance people speaking a different language will read or maintain
925 the code.
Christian Heimes043d6f62008-01-07 17:19:16 +0000926
Georg Brandl116aa622007-08-15 14:28:22 +0000927
928.. rubric:: Footnotes
929
Christian Heimes043d6f62008-01-07 17:19:16 +0000930.. [#] Actually, *call by object reference* would be a better description,
931 since if a mutable object is passed, the caller will see any changes the
932 callee makes to it (items inserted into a list).