blob: 277e5c18562d477c6c6718181dd27296faa583f6 [file] [log] [blame]
Georg Brandl116aa622007-08-15 14:28:22 +00001.. _tut-morecontrol:
2
3***********************
4More Control Flow Tools
5***********************
6
Diego Alberto Barriga Martínezb5748132019-09-17 11:57:55 -05007Besides the :keyword:`while` statement just introduced, Python uses the usual
8flow control statements known from other languages, with some twists.
Georg Brandl116aa622007-08-15 14:28:22 +00009
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
Daniel F Moisseta22bca62021-03-01 04:08:38 +000039If you're comparing the same value to several constants, or checking for specific types or
40attributes, you may also find the :keyword:`!match` statement useful. For more
41details see :ref:`tut-match`.
Georg Brandl116aa622007-08-15 14:28:22 +000042
43.. _tut-for:
44
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020045:keyword:`!for` Statements
46==========================
Georg Brandl116aa622007-08-15 14:28:22 +000047
48.. index::
49 statement: for
Georg Brandl116aa622007-08-15 14:28:22 +000050
51The :keyword:`for` statement in Python differs a bit from what you may be used
52to in C or Pascal. Rather than always iterating over an arithmetic progression
53of numbers (like in Pascal), or giving the user the ability to define both the
Serhiy Storchaka2b57c432018-12-19 08:09:46 +020054iteration step and halting condition (as C), Python's :keyword:`!for` statement
Georg Brandl116aa622007-08-15 14:28:22 +000055iterates over the items of any sequence (a list or a string), in the order that
56they appear in the sequence. For example (no pun intended):
57
Christian Heimes5b5e81c2007-12-31 16:14:33 +000058.. One suggestion was to give a real C example here, but that may only serve to
59 confuse non-C programmers.
Georg Brandl116aa622007-08-15 14:28:22 +000060
61::
62
63 >>> # Measure some strings:
Chris Jerdonek4fab8f02012-10-15 19:44:47 -070064 ... words = ['cat', 'window', 'defenestrate']
65 >>> for w in words:
66 ... print(w, len(w))
Georg Brandl48310cd2009-01-03 21:18:54 +000067 ...
Georg Brandl116aa622007-08-15 14:28:22 +000068 cat 3
69 window 6
70 defenestrate 12
71
Raymond Hettinger6fcb6cf2019-08-22 23:44:19 -070072Code that modifies a collection while iterating over that same collection can
73be tricky to get right. Instead, it is usually more straight-forward to loop
74over a copy of the collection or to create a new collection::
Georg Brandl116aa622007-08-15 14:28:22 +000075
Antoine6fad3e62020-05-23 02:29:34 +020076 # Create a sample collection
77 users = {'Hans': 'active', 'Éléonore': 'inactive', '景太郎': 'active'}
78
Raymond Hettinger6fcb6cf2019-08-22 23:44:19 -070079 # Strategy: Iterate over a copy
80 for user, status in users.copy().items():
81 if status == 'inactive':
82 del users[user]
Georg Brandl116aa622007-08-15 14:28:22 +000083
Raymond Hettinger6fcb6cf2019-08-22 23:44:19 -070084 # Strategy: Create a new collection
85 active_users = {}
86 for user, status in users.items():
87 if status == 'active':
88 active_users[user] = status
Georg Brandl40383c82016-02-15 17:50:33 +010089
Georg Brandl116aa622007-08-15 14:28:22 +000090
91.. _tut-range:
92
93The :func:`range` Function
94==========================
95
96If you do need to iterate over a sequence of numbers, the built-in function
Guido van Rossum0616b792007-08-31 03:25:11 +000097:func:`range` comes in handy. It generates arithmetic progressions::
Georg Brandl116aa622007-08-15 14:28:22 +000098
Guido van Rossum0616b792007-08-31 03:25:11 +000099 >>> for i in range(5):
100 ... print(i)
101 ...
102 0
103 1
104 2
105 3
106 4
Georg Brandl48310cd2009-01-03 21:18:54 +0000107
Georg Brandl7d821062010-06-27 10:59:19 +0000108The given end point is never part of the generated sequence; ``range(10)`` generates
Guido van Rossum0616b792007-08-31 03:25:11 +000010910 values, the legal indices for items of a sequence of length 10. It
Georg Brandl116aa622007-08-15 14:28:22 +0000110is possible to let the range start at another number, or to specify a different
111increment (even negative; sometimes this is called the 'step')::
112
Georg Brandl48310cd2009-01-03 21:18:54 +0000113 range(5, 10)
Steven M. Vascellaro83d70622018-03-09 14:57:21 -0500114 5, 6, 7, 8, 9
Guido van Rossum0616b792007-08-31 03:25:11 +0000115
Georg Brandl48310cd2009-01-03 21:18:54 +0000116 range(0, 10, 3)
Guido van Rossum0616b792007-08-31 03:25:11 +0000117 0, 3, 6, 9
118
Georg Brandl48310cd2009-01-03 21:18:54 +0000119 range(-10, -100, -30)
Guido van Rossum0616b792007-08-31 03:25:11 +0000120 -10, -40, -70
Georg Brandl116aa622007-08-15 14:28:22 +0000121
Georg Brandlaf265f42008-12-07 15:06:20 +0000122To iterate over the indices of a sequence, you can combine :func:`range` and
123:func:`len` as follows::
Georg Brandl116aa622007-08-15 14:28:22 +0000124
125 >>> a = ['Mary', 'had', 'a', 'little', 'lamb']
126 >>> for i in range(len(a)):
Guido van Rossum0616b792007-08-31 03:25:11 +0000127 ... print(i, a[i])
Georg Brandl48310cd2009-01-03 21:18:54 +0000128 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000129 0 Mary
130 1 had
131 2 a
132 3 little
133 4 lamb
134
Georg Brandlaf265f42008-12-07 15:06:20 +0000135In most such cases, however, it is convenient to use the :func:`enumerate`
136function, see :ref:`tut-loopidioms`.
137
Guido van Rossum0616b792007-08-31 03:25:11 +0000138A strange thing happens if you just print a range::
139
140 >>> print(range(10))
141 range(0, 10)
142
143In many ways the object returned by :func:`range` behaves as if it is a list,
Georg Brandl48310cd2009-01-03 21:18:54 +0000144but in fact it isn't. It is an object which returns the successive items of
145the desired sequence when you iterate over it, but it doesn't really make
146the list, thus saving space.
Guido van Rossum0616b792007-08-31 03:25:11 +0000147
Marco Buttu218e47b2019-06-01 23:11:48 +0200148We say such an object is :term:`iterable`, that is, suitable as a target for
Georg Brandl48310cd2009-01-03 21:18:54 +0000149functions and constructs that expect something from which they can
Marco Buttu218e47b2019-06-01 23:11:48 +0200150obtain successive items until the supply is exhausted. We have seen that
Don Kirkby3ed4d252020-02-09 16:57:46 -0800151the :keyword:`for` statement is such a construct, while an example of a function
Marco Buttu218e47b2019-06-01 23:11:48 +0200152that takes an iterable is :func:`sum`::
Guido van Rossum0616b792007-08-31 03:25:11 +0000153
Marco Buttu218e47b2019-06-01 23:11:48 +0200154 >>> sum(range(4)) # 0 + 1 + 2 + 3
155 6
Guido van Rossum0616b792007-08-31 03:25:11 +0000156
Marco Buttu218e47b2019-06-01 23:11:48 +0200157Later we will see more functions that return iterables and take iterables as
158arguments. Lastly, maybe you are curious about how to get a list from a range.
159Here is the solution::
Guido van Rossum0616b792007-08-31 03:25:11 +0000160
Marco Buttu218e47b2019-06-01 23:11:48 +0200161 >>> list(range(4))
162 [0, 1, 2, 3]
Georg Brandl116aa622007-08-15 14:28:22 +0000163
Marco Buttu218e47b2019-06-01 23:11:48 +0200164In chapter :ref:`tut-structures`, we will discuss in more detail about
165:func:`list`.
Georg Brandlaf265f42008-12-07 15:06:20 +0000166
Georg Brandl116aa622007-08-15 14:28:22 +0000167.. _tut-break:
168
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200169:keyword:`!break` and :keyword:`!continue` Statements, and :keyword:`!else` Clauses on Loops
170============================================================================================
Georg Brandl116aa622007-08-15 14:28:22 +0000171
regexaurus36fc8962017-06-27 18:40:41 -0400172The :keyword:`break` statement, like in C, breaks out of the innermost enclosing
Georg Brandl116aa622007-08-15 14:28:22 +0000173:keyword:`for` or :keyword:`while` loop.
174
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200175Loop statements may have an :keyword:`!else` clause; it is executed when the loop
Marco Buttu218e47b2019-06-01 23:11:48 +0200176terminates through exhaustion of the iterable (with :keyword:`for`) or when the
Georg Brandl116aa622007-08-15 14:28:22 +0000177condition becomes false (with :keyword:`while`), but not when the loop is
178terminated by a :keyword:`break` statement. This is exemplified by the
179following loop, which searches for prime numbers::
180
181 >>> for n in range(2, 10):
182 ... for x in range(2, n):
183 ... if n % x == 0:
Georg Brandlb03c1d92008-05-01 18:06:50 +0000184 ... print(n, 'equals', x, '*', n//x)
Georg Brandl116aa622007-08-15 14:28:22 +0000185 ... break
186 ... else:
187 ... # loop fell through without finding a factor
Guido van Rossum0616b792007-08-31 03:25:11 +0000188 ... print(n, 'is a prime number')
Georg Brandl48310cd2009-01-03 21:18:54 +0000189 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000190 2 is a prime number
191 3 is a prime number
192 4 equals 2 * 2
193 5 is a prime number
194 6 equals 2 * 3
195 7 is a prime number
196 8 equals 2 * 4
197 9 equals 3 * 3
198
Georg Brandlbdbdfb12011-08-08 21:45:13 +0200199(Yes, this is the correct code. Look closely: the ``else`` clause belongs to
200the :keyword:`for` loop, **not** the :keyword:`if` statement.)
201
Nick Coghlana3a164a2012-06-07 22:41:34 +1000202When used with a loop, the ``else`` clause has more in common with the
Marco Buttu218e47b2019-06-01 23:11:48 +0200203``else`` clause of a :keyword:`try` statement than it does with that of
204:keyword:`if` statements: a :keyword:`try` statement's ``else`` clause runs
Nick Coghlana3a164a2012-06-07 22:41:34 +1000205when no exception occurs, and a loop's ``else`` clause runs when no ``break``
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200206occurs. For more on the :keyword:`!try` statement and exceptions, see
Nick Coghlana3a164a2012-06-07 22:41:34 +1000207:ref:`tut-handling`.
208
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700209The :keyword:`continue` statement, also borrowed from C, continues with the next
210iteration of the loop::
211
212 >>> for num in range(2, 10):
Eli Bendersky31a11902012-08-18 09:50:09 +0300213 ... if num % 2 == 0:
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700214 ... print("Found an even number", num)
215 ... continue
Neeraj Samtani7bcc6452020-09-15 17:39:29 +0400216 ... print("Found an odd number", num)
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700217 Found an even number 2
Neeraj Samtani7bcc6452020-09-15 17:39:29 +0400218 Found an odd number 3
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700219 Found an even number 4
Neeraj Samtani7bcc6452020-09-15 17:39:29 +0400220 Found an odd number 5
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700221 Found an even number 6
Neeraj Samtani7bcc6452020-09-15 17:39:29 +0400222 Found an odd number 7
Senthil Kumaran1ef9caa2012-08-12 12:01:47 -0700223 Found an even number 8
Neeraj Samtani7bcc6452020-09-15 17:39:29 +0400224 Found an odd number 9
Georg Brandl116aa622007-08-15 14:28:22 +0000225
226.. _tut-pass:
227
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200228:keyword:`!pass` Statements
229===========================
Georg Brandl116aa622007-08-15 14:28:22 +0000230
231The :keyword:`pass` statement does nothing. It can be used when a statement is
232required syntactically but the program requires no action. For example::
233
234 >>> while True:
Georg Brandl5d955ed2008-09-13 17:18:21 +0000235 ... pass # Busy-wait for keyboard interrupt (Ctrl+C)
Georg Brandl48310cd2009-01-03 21:18:54 +0000236 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000237
Benjamin Peterson92035012008-12-27 16:00:54 +0000238This is commonly used for creating minimal classes::
Georg Brandla971c652008-11-07 09:39:56 +0000239
Benjamin Peterson92035012008-12-27 16:00:54 +0000240 >>> class MyEmptyClass:
Georg Brandla971c652008-11-07 09:39:56 +0000241 ... pass
Benjamin Peterson92035012008-12-27 16:00:54 +0000242 ...
Georg Brandla971c652008-11-07 09:39:56 +0000243
244Another place :keyword:`pass` can be used is as a place-holder for a function or
Benjamin Peterson92035012008-12-27 16:00:54 +0000245conditional body when you are working on new code, allowing you to keep thinking
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200246at a more abstract level. The :keyword:`!pass` is silently ignored::
Georg Brandla971c652008-11-07 09:39:56 +0000247
248 >>> def initlog(*args):
Benjamin Peterson92035012008-12-27 16:00:54 +0000249 ... pass # Remember to implement this!
Georg Brandl48310cd2009-01-03 21:18:54 +0000250 ...
Georg Brandla971c652008-11-07 09:39:56 +0000251
Daniel F Moisseta22bca62021-03-01 04:08:38 +0000252
253.. _tut-match:
254
255:keyword:`!match` Statements
256============================
257
258A match statement takes an expression and compares its value to successive
259patterns given as one or more case blocks. This is superficially
260similar to a switch statement in C, Java or JavaScript (and many
261other languages), but it can also extract components (sequence elements or
262object attributes) from the value into variables.
263
264The simplest form compares a subject value against one or more literals::
265
266 def http_error(status):
267 match status:
268 case 400:
269 return "Bad request"
270 case 404:
271 return "Not found"
272 case 418:
273 return "I'm a teapot"
274 case _:
275 return "Something's wrong with the Internet"
276
277Note the last block: the "variable name" ``_`` acts as a *wildcard* and
278never fails to match. If no case matches, none of the branches is executed.
279
280You can combine several literals in a single pattern using ``|`` ("or")::
281
282 case 401 | 403 | 404:
283 return "Not allowed"
284
285Patterns can look like unpacking assignments, and can be used to bind
286variables::
287
288 # point is an (x, y) tuple
289 match point:
290 case (0, 0):
291 print("Origin")
292 case (0, y):
293 print(f"Y={y}")
294 case (x, 0):
295 print(f"X={x}")
296 case (x, y):
297 print(f"X={x}, Y={y}")
298 case _:
299 raise ValueError("Not a point")
300
301Study that one carefully! The first pattern has two literals, and can
302be thought of as an extension of the literal pattern shown above. But
303the next two patterns combine a literal and a variable, and the
304variable *binds* a value from the subject (``point``). The fourth
305pattern captures two values, which makes it conceptually similar to
306the unpacking assignment ``(x, y) = point``.
307
308If you are using classes to structure your data
309you can use the class name followed by an argument list resembling a
310constructor, but with the ability to capture attributes into variables::
311
312 class Point:
313 x: int
314 y: int
315
316 def where_is(point):
317 match point:
318 case Point(x=0, y=0):
319 print("Origin")
320 case Point(x=0, y=y):
321 print(f"Y={y}")
322 case Point(x=x, y=0):
323 print(f"X={x}")
324 case Point():
325 print("Somewhere else")
326 case _:
327 print("Not a point")
328
329You can use positional parameters with some builtin classes that provide an
330ordering for their attributes (e.g. dataclasses). You can also define a specific
331position for attributes in patterns by setting the ``__match_args__`` special
332attribute in your classes. If it's set to ("x", "y"), the following patterns are all
333equivalent (and all bind the ``y`` attribute to the ``var`` variable)::
334
335 Point(1, var)
336 Point(1, y=var)
337 Point(x=1, y=var)
338 Point(y=var, x=1)
339
340A recommended way to read patterns is to look at them as an extended form of what you
341would put on the left of an assignment, to understand which variables would be set to
342what.
343Only the standalone names (like ``var`` above) are assigned to by a match statement.
344Dotted names (like ``foo.bar``), attribute names (the ``x=`` and ``y=`` above) or class names
345(recognized by the "(...)" next to them like ``Point`` above) are never assigned to.
346
347Patterns can be arbitrarily nested. For example, if we have a short
348list of points, we could match it like this::
349
350 match points:
351 case []:
352 print("No points")
353 case [Point(0, 0)]:
354 print("The origin")
355 case [Point(x, y)]:
356 print(f"Single point {x}, {y}")
357 case [Point(0, y1), Point(0, y2)]:
358 print(f"Two on the Y axis at {y1}, {y2}")
359 case _:
360 print("Something else")
361
362We can add an ``if`` clause to a pattern, known as a "guard". If the
363guard is false, ``match`` goes on to try the next case block. Note
364that value capture happens before the guard is evaluated::
365
366 match point:
367 case Point(x, y) if x == y:
368 print(f"Y=X at {x}")
369 case Point(x, y):
370 print(f"Not on the diagonal")
371
372Several other key features of this statement:
373
374- Like unpacking assignments, tuple and list patterns have exactly the
375 same meaning and actually match arbitrary sequences. An important
376 exception is that they don't match iterators or strings.
377
378- Sequence patterns support extended unpacking: ``[x, y, *rest]`` and ``(x, y,
379 *rest)`` work similar to unpacking assignments. The
380 name after ``*`` may also be ``_``, so ``(x, y, *_)`` matches a sequence
381 of at least two items without binding the remaining items.
382
383- Mapping patterns: ``{"bandwidth": b, "latency": l}`` captures the
384 ``"bandwidth"`` and ``"latency"`` values from a dictionary. Unlike sequence
385 patterns, extra keys are ignored. An unpacking like ``**rest`` is also
386 supported. (But ``**_`` would be redundant, so it not allowed.)
387
388- Subpatterns may be captured using the ``as`` keyword::
389
390 case (Point(x1, y1), Point(x2, y2) as p2): ...
391
392 will capture the second element of the input as ``p2`` (as long as the input is
393 a sequence of two points)
394
395- Most literals are compared by equality, however the singletons ``True``,
396 ``False`` and ``None`` are compared by identity.
397
398- Patterns may use named constants. These must be dotted names
399 to prevent them from being interpreted as capture variable::
400
401 from enum import Enum
402 class Color(Enum):
403 RED = 0
404 GREEN = 1
405 BLUE = 2
406
407 match color:
408 case Color.RED:
409 print("I see red!")
410 case Color.GREEN:
411 print("Grass is green")
412 case Color.BLUE:
413 print("I'm feeling the blues :(")
414
415For a more detailed explanation and additional examples, you can look into
416:pep:`636` which is written in a tutorial format.
417
Georg Brandl116aa622007-08-15 14:28:22 +0000418.. _tut-functions:
419
420Defining Functions
421==================
422
423We can create a function that writes the Fibonacci series to an arbitrary
424boundary::
425
426 >>> def fib(n): # write Fibonacci series up to n
427 ... """Print a Fibonacci series up to n."""
428 ... a, b = 0, 1
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000429 ... while a < n:
430 ... print(a, end=' ')
Georg Brandl116aa622007-08-15 14:28:22 +0000431 ... a, b = b, a+b
Guido van Rossum0616b792007-08-31 03:25:11 +0000432 ... print()
Georg Brandl48310cd2009-01-03 21:18:54 +0000433 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000434 >>> # Now call the function we just defined:
435 ... fib(2000)
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000436 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 +0000437
438.. index::
439 single: documentation strings
440 single: docstrings
441 single: strings, documentation
442
443The keyword :keyword:`def` introduces a function *definition*. It must be
444followed by the function name and the parenthesized list of formal parameters.
445The statements that form the body of the function start at the next line, and
Georg Brandl5d955ed2008-09-13 17:18:21 +0000446must be indented.
Georg Brandl116aa622007-08-15 14:28:22 +0000447
Georg Brandl5d955ed2008-09-13 17:18:21 +0000448The first statement of the function body can optionally be a string literal;
449this string literal is the function's documentation string, or :dfn:`docstring`.
450(More about docstrings can be found in the section :ref:`tut-docstrings`.)
Georg Brandl116aa622007-08-15 14:28:22 +0000451There are tools which use docstrings to automatically produce online or printed
452documentation, or to let the user interactively browse through code; it's good
Georg Brandl5d955ed2008-09-13 17:18:21 +0000453practice to include docstrings in code that you write, so make a habit of it.
Georg Brandl116aa622007-08-15 14:28:22 +0000454
455The *execution* of a function introduces a new symbol table used for the local
456variables of the function. More precisely, all variable assignments in a
457function store the value in the local symbol table; whereas variable references
Georg Brandl86def6c2008-01-21 20:36:10 +0000458first look in the local symbol table, then in the local symbol tables of
459enclosing functions, then in the global symbol table, and finally in the table
pbhde1f95e72019-05-29 05:38:03 +0200460of built-in names. Thus, global variables and variables of enclosing functions
461cannot be directly assigned a value within a function (unless, for global
462variables, named in a :keyword:`global` statement, or, for variables of enclosing
463functions, named in a :keyword:`nonlocal` statement), although they may be
464referenced.
Georg Brandl116aa622007-08-15 14:28:22 +0000465
466The actual parameters (arguments) to a function call are introduced in the local
467symbol table of the called function when it is called; thus, arguments are
468passed using *call by value* (where the *value* is always an object *reference*,
Terry Jan Reedyb30fcba2021-02-19 19:26:21 -0500469not the value of the object). [#]_ When a function calls another function,
470or calls itself recursively, a new
Georg Brandl116aa622007-08-15 14:28:22 +0000471local symbol table is created for that call.
472
Joannah Nanjekyed12af712020-07-05 22:47:15 -0300473A function definition associates the function name with the function object in
474the current symbol table. The interpreter recognizes the object pointed to by
475that name as a user-defined function. Other names can also point to that same
476function object and can also be used to access the function::
Georg Brandl116aa622007-08-15 14:28:22 +0000477
478 >>> fib
479 <function fib at 10042ed0>
480 >>> f = fib
481 >>> f(100)
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000482 0 1 1 2 3 5 8 13 21 34 55 89
Georg Brandl116aa622007-08-15 14:28:22 +0000483
Georg Brandl5d955ed2008-09-13 17:18:21 +0000484Coming from other languages, you might object that ``fib`` is not a function but
485a procedure since it doesn't return a value. In fact, even functions without a
486:keyword:`return` statement do return a value, albeit a rather boring one. This
487value is called ``None`` (it's a built-in name). Writing the value ``None`` is
488normally suppressed by the interpreter if it would be the only value written.
489You can see it if you really want to using :func:`print`::
Georg Brandl116aa622007-08-15 14:28:22 +0000490
Georg Brandl9afde1c2007-11-01 20:32:30 +0000491 >>> fib(0)
Guido van Rossum0616b792007-08-31 03:25:11 +0000492 >>> print(fib(0))
Georg Brandl116aa622007-08-15 14:28:22 +0000493 None
494
495It is simple to write a function that returns a list of the numbers of the
496Fibonacci series, instead of printing it::
497
Serhiy Storchakadba90392016-05-10 12:01:23 +0300498 >>> def fib2(n): # return Fibonacci series up to n
Georg Brandl116aa622007-08-15 14:28:22 +0000499 ... """Return a list containing the Fibonacci series up to n."""
500 ... result = []
501 ... a, b = 0, 1
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000502 ... while a < n:
503 ... result.append(a) # see below
Georg Brandl116aa622007-08-15 14:28:22 +0000504 ... a, b = b, a+b
505 ... return result
Georg Brandl48310cd2009-01-03 21:18:54 +0000506 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000507 >>> f100 = fib2(100) # call it
508 >>> f100 # write the result
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000509 [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89]
Georg Brandl116aa622007-08-15 14:28:22 +0000510
511This example, as usual, demonstrates some new Python features:
512
513* The :keyword:`return` statement returns with a value from a function.
Serhiy Storchaka2b57c432018-12-19 08:09:46 +0200514 :keyword:`!return` without an expression argument returns ``None``. Falling off
Georg Brandl5d955ed2008-09-13 17:18:21 +0000515 the end of a function also returns ``None``.
Georg Brandl116aa622007-08-15 14:28:22 +0000516
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000517* The statement ``result.append(a)`` calls a *method* of the list object
Georg Brandl116aa622007-08-15 14:28:22 +0000518 ``result``. A method is a function that 'belongs' to an object and is named
519 ``obj.methodname``, where ``obj`` is some object (this may be an expression),
520 and ``methodname`` is the name of a method that is defined by the object's type.
521 Different types define different methods. Methods of different types may have
522 the same name without causing ambiguity. (It is possible to define your own
Georg Brandlc6c31782009-06-08 13:41:29 +0000523 object types and methods, using *classes*, see :ref:`tut-classes`)
Georg Brandl116aa622007-08-15 14:28:22 +0000524 The method :meth:`append` shown in the example is defined for list objects; it
525 adds a new element at the end of the list. In this example it is equivalent to
Mark Dickinsonc099ee22009-11-23 16:41:41 +0000526 ``result = result + [a]``, but more efficient.
Georg Brandl116aa622007-08-15 14:28:22 +0000527
528
529.. _tut-defining:
530
531More on Defining Functions
532==========================
533
534It is also possible to define functions with a variable number of arguments.
535There are three forms, which can be combined.
536
537
538.. _tut-defaultargs:
539
540Default Argument Values
541-----------------------
542
543The most useful form is to specify a default value for one or more arguments.
544This creates a function that can be called with fewer arguments than it is
545defined to allow. For example::
546
Berker Peksag0a5120e2016-06-02 11:31:19 -0700547 def ask_ok(prompt, retries=4, reminder='Please try again!'):
Georg Brandl116aa622007-08-15 14:28:22 +0000548 while True:
Georg Brandle9af2842007-08-17 05:54:09 +0000549 ok = input(prompt)
Georg Brandlc6c31782009-06-08 13:41:29 +0000550 if ok in ('y', 'ye', 'yes'):
551 return True
552 if ok in ('n', 'no', 'nop', 'nope'):
553 return False
Georg Brandl116aa622007-08-15 14:28:22 +0000554 retries = retries - 1
Collin Winter58721bc2007-09-10 00:39:52 +0000555 if retries < 0:
Berker Peksag0a5120e2016-06-02 11:31:19 -0700556 raise ValueError('invalid user response')
557 print(reminder)
Georg Brandl116aa622007-08-15 14:28:22 +0000558
Georg Brandlc6c31782009-06-08 13:41:29 +0000559This function can be called in several ways:
560
561* giving only the mandatory argument:
562 ``ask_ok('Do you really want to quit?')``
563* giving one of the optional arguments:
564 ``ask_ok('OK to overwrite the file?', 2)``
565* or even giving all arguments:
566 ``ask_ok('OK to overwrite the file?', 2, 'Come on, only yes or no!')``
Georg Brandl116aa622007-08-15 14:28:22 +0000567
568This example also introduces the :keyword:`in` keyword. This tests whether or
569not a sequence contains a certain value.
570
571The default values are evaluated at the point of function definition in the
572*defining* scope, so that ::
573
574 i = 5
575
576 def f(arg=i):
Guido van Rossum0616b792007-08-31 03:25:11 +0000577 print(arg)
Georg Brandl116aa622007-08-15 14:28:22 +0000578
579 i = 6
580 f()
581
582will print ``5``.
583
584**Important warning:** The default value is evaluated only once. This makes a
585difference when the default is a mutable object such as a list, dictionary, or
586instances of most classes. For example, the following function accumulates the
587arguments passed to it on subsequent calls::
588
589 def f(a, L=[]):
590 L.append(a)
591 return L
592
Guido van Rossum0616b792007-08-31 03:25:11 +0000593 print(f(1))
594 print(f(2))
595 print(f(3))
Georg Brandl116aa622007-08-15 14:28:22 +0000596
597This will print ::
598
599 [1]
600 [1, 2]
601 [1, 2, 3]
602
603If you don't want the default to be shared between subsequent calls, you can
604write the function like this instead::
605
606 def f(a, L=None):
607 if L is None:
608 L = []
609 L.append(a)
610 return L
611
612
613.. _tut-keywordargs:
614
615Keyword Arguments
616-----------------
617
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200618Functions can also be called using :term:`keyword arguments <keyword argument>`
619of the form ``kwarg=value``. For instance, the following function::
Georg Brandl116aa622007-08-15 14:28:22 +0000620
621 def parrot(voltage, state='a stiff', action='voom', type='Norwegian Blue'):
Georg Brandle4ac7502007-09-03 07:10:24 +0000622 print("-- This parrot wouldn't", action, end=' ')
Guido van Rossum0616b792007-08-31 03:25:11 +0000623 print("if you put", voltage, "volts through it.")
624 print("-- Lovely plumage, the", type)
625 print("-- It's", state, "!")
Georg Brandl116aa622007-08-15 14:28:22 +0000626
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200627accepts one required argument (``voltage``) and three optional arguments
628(``state``, ``action``, and ``type``). This function can be called in any
629of the following ways::
Georg Brandl116aa622007-08-15 14:28:22 +0000630
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200631 parrot(1000) # 1 positional argument
632 parrot(voltage=1000) # 1 keyword argument
633 parrot(voltage=1000000, action='VOOOOOM') # 2 keyword arguments
634 parrot(action='VOOOOOM', voltage=1000000) # 2 keyword arguments
635 parrot('a million', 'bereft of life', 'jump') # 3 positional arguments
636 parrot('a thousand', state='pushing up the daisies') # 1 positional, 1 keyword
Georg Brandl116aa622007-08-15 14:28:22 +0000637
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200638but all the following calls would be invalid::
Georg Brandl116aa622007-08-15 14:28:22 +0000639
640 parrot() # required argument missing
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200641 parrot(voltage=5.0, 'dead') # non-keyword argument after a keyword argument
642 parrot(110, voltage=220) # duplicate value for the same argument
643 parrot(actor='John Cleese') # unknown keyword argument
Georg Brandl116aa622007-08-15 14:28:22 +0000644
Ezio Melotti7b7e39a2011-12-13 15:49:22 +0200645In a function call, keyword arguments must follow positional arguments.
646All the keyword arguments passed must match one of the arguments
647accepted by the function (e.g. ``actor`` is not a valid argument for the
648``parrot`` function), and their order is not important. This also includes
649non-optional arguments (e.g. ``parrot(voltage=1000)`` is valid too).
650No argument may receive a value more than once.
651Here's an example that fails due to this restriction::
Georg Brandl116aa622007-08-15 14:28:22 +0000652
653 >>> def function(a):
654 ... pass
Georg Brandl48310cd2009-01-03 21:18:54 +0000655 ...
Georg Brandl116aa622007-08-15 14:28:22 +0000656 >>> function(0, a=0)
657 Traceback (most recent call last):
UltimateCoder88569402017-05-03 22:16:45 +0530658 File "<stdin>", line 1, in <module>
Georg Brandl116aa622007-08-15 14:28:22 +0000659 TypeError: function() got multiple values for keyword argument 'a'
660
661When a final formal parameter of the form ``**name`` is present, it receives a
662dictionary (see :ref:`typesmapping`) containing all keyword arguments except for
663those corresponding to a formal parameter. This may be combined with a formal
664parameter of the form ``*name`` (described in the next subsection) which
Julien Palard51ddab82019-05-28 15:10:23 +0200665receives a :ref:`tuple <tut-tuples>` containing the positional
666arguments beyond the formal parameter list. (``*name`` must occur
667before ``**name``.) For example, if we define a function like this::
Georg Brandl116aa622007-08-15 14:28:22 +0000668
669 def cheeseshop(kind, *arguments, **keywords):
Georg Brandl5d955ed2008-09-13 17:18:21 +0000670 print("-- Do you have any", kind, "?")
Guido van Rossum0616b792007-08-31 03:25:11 +0000671 print("-- I'm sorry, we're all out of", kind)
Georg Brandl70543ac2010-10-15 15:32:05 +0000672 for arg in arguments:
673 print(arg)
Georg Brandl5d955ed2008-09-13 17:18:21 +0000674 print("-" * 40)
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200675 for kw in keywords:
Georg Brandl70543ac2010-10-15 15:32:05 +0000676 print(kw, ":", keywords[kw])
Georg Brandl116aa622007-08-15 14:28:22 +0000677
678It could be called like this::
679
Georg Brandl5d955ed2008-09-13 17:18:21 +0000680 cheeseshop("Limburger", "It's very runny, sir.",
Georg Brandl116aa622007-08-15 14:28:22 +0000681 "It's really very, VERY runny, sir.",
Georg Brandl5d955ed2008-09-13 17:18:21 +0000682 shopkeeper="Michael Palin",
683 client="John Cleese",
684 sketch="Cheese Shop Sketch")
Georg Brandl116aa622007-08-15 14:28:22 +0000685
Martin Panter1050d2d2016-07-26 11:18:21 +0200686and of course it would print:
687
688.. code-block:: none
Georg Brandl116aa622007-08-15 14:28:22 +0000689
690 -- Do you have any Limburger ?
691 -- I'm sorry, we're all out of Limburger
692 It's very runny, sir.
693 It's really very, VERY runny, sir.
694 ----------------------------------------
Georg Brandl116aa622007-08-15 14:28:22 +0000695 shopkeeper : Michael Palin
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200696 client : John Cleese
Georg Brandl116aa622007-08-15 14:28:22 +0000697 sketch : Cheese Shop Sketch
698
Jim Fasarakis-Hilliard32e8f9b2017-02-21 08:20:23 +0200699Note that the order in which the keyword arguments are printed is guaranteed
700to match the order in which they were provided in the function call.
701
Pablo Galindob76302d2019-05-29 00:45:32 +0100702Special parameters
703------------------
704
705By default, arguments may be passed to a Python function either by position
706or explicitly by keyword. For readability and performance, it makes sense to
707restrict the way arguments can be passed so that a developer need only look
708at the function definition to determine if items are passed by position, by
709position or keyword, or by keyword.
710
711A function definition may look like:
712
713.. code-block:: none
714
715 def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2):
716 ----------- ---------- ----------
717 | | |
718 | Positional or keyword |
719 | - Keyword only
720 -- Positional only
721
722where ``/`` and ``*`` are optional. If used, these symbols indicate the kind of
723parameter by how the arguments may be passed to the function:
724positional-only, positional-or-keyword, and keyword-only. Keyword parameters
725are also referred to as named parameters.
726
727-------------------------------
728Positional-or-Keyword Arguments
729-------------------------------
730
731If ``/`` and ``*`` are not present in the function definition, arguments may
732be passed to a function by position or by keyword.
733
734--------------------------
735Positional-Only Parameters
736--------------------------
737
738Looking at this in a bit more detail, it is possible to mark certain parameters
739as *positional-only*. If *positional-only*, the parameters' order matters, and
740the parameters cannot be passed by keyword. Positional-only parameters are
741placed before a ``/`` (forward-slash). The ``/`` is used to logically
742separate the positional-only parameters from the rest of the parameters.
743If there is no ``/`` in the function definition, there are no positional-only
744parameters.
745
746Parameters following the ``/`` may be *positional-or-keyword* or *keyword-only*.
747
748----------------------
749Keyword-Only Arguments
750----------------------
751
752To mark parameters as *keyword-only*, indicating the parameters must be passed
753by keyword argument, place an ``*`` in the arguments list just before the first
754*keyword-only* parameter.
755
756-----------------
757Function Examples
758-----------------
759
760Consider the following example function definitions paying close attention to the
761markers ``/`` and ``*``::
762
763 >>> def standard_arg(arg):
764 ... print(arg)
765 ...
766 >>> def pos_only_arg(arg, /):
767 ... print(arg)
768 ...
769 >>> def kwd_only_arg(*, arg):
770 ... print(arg)
771 ...
772 >>> def combined_example(pos_only, /, standard, *, kwd_only):
773 ... print(pos_only, standard, kwd_only)
774
775
776The first function definition, ``standard_arg``, the most familiar form,
777places no restrictions on the calling convention and arguments may be
778passed by position or keyword::
779
780 >>> standard_arg(2)
781 2
782
783 >>> standard_arg(arg=2)
784 2
785
786The second function ``pos_only_arg`` is restricted to only use positional
787parameters as there is a ``/`` in the function definition::
788
789 >>> pos_only_arg(1)
790 1
791
792 >>> pos_only_arg(arg=1)
793 Traceback (most recent call last):
794 File "<stdin>", line 1, in <module>
795 TypeError: pos_only_arg() got an unexpected keyword argument 'arg'
796
797The third function ``kwd_only_args`` only allows keyword arguments as indicated
798by a ``*`` in the function definition::
799
800 >>> kwd_only_arg(3)
801 Traceback (most recent call last):
802 File "<stdin>", line 1, in <module>
803 TypeError: kwd_only_arg() takes 0 positional arguments but 1 was given
804
805 >>> kwd_only_arg(arg=3)
806 3
807
808And the last uses all three calling conventions in the same function
809definition::
810
811 >>> combined_example(1, 2, 3)
812 Traceback (most recent call last):
813 File "<stdin>", line 1, in <module>
814 TypeError: combined_example() takes 2 positional arguments but 3 were given
815
816 >>> combined_example(1, 2, kwd_only=3)
817 1 2 3
818
819 >>> combined_example(1, standard=2, kwd_only=3)
820 1 2 3
821
822 >>> combined_example(pos_only=1, standard=2, kwd_only=3)
823 Traceback (most recent call last):
824 File "<stdin>", line 1, in <module>
825 TypeError: combined_example() got an unexpected keyword argument 'pos_only'
826
827
828Finally, consider this function definition which has a potential collision between the positional argument ``name`` and ``**kwds`` which has ``name`` as a key::
829
830 def foo(name, **kwds):
831 return 'name' in kwds
832
833There is no possible call that will make it return ``True`` as the keyword ``'name'``
Denis Ovsienko0be7c212020-08-19 12:29:47 +0100834will always bind to the first parameter. For example::
Pablo Galindob76302d2019-05-29 00:45:32 +0100835
836 >>> foo(1, **{'name': 2})
837 Traceback (most recent call last):
838 File "<stdin>", line 1, in <module>
839 TypeError: foo() got multiple values for argument 'name'
840 >>>
841
842But using ``/`` (positional only arguments), it is possible since it allows ``name`` as a positional argument and ``'name'`` as a key in the keyword arguments::
843
844 def foo(name, /, **kwds):
845 return 'name' in kwds
846 >>> foo(1, **{'name': 2})
847 True
848
849In other words, the names of positional-only parameters can be used in
850``**kwds`` without ambiguity.
851
852-----
853Recap
854-----
855
856The use case will determine which parameters to use in the function definition::
857
858 def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2):
859
860As guidance:
861
862* Use positional-only if you want the name of the parameters to not be
863 available to the user. This is useful when parameter names have no real
864 meaning, if you want to enforce the order of the arguments when the function
865 is called or if you need to take some positional parameters and arbitrary
866 keywords.
867* Use keyword-only when names have meaning and the function definition is
868 more understandable by being explicit with names or you want to prevent
869 users relying on the position of the argument being passed.
Adorilson Bezerrab7af4e72019-09-16 04:04:58 -0300870* For an API, use positional-only to prevent breaking API changes
Pablo Galindob76302d2019-05-29 00:45:32 +0100871 if the parameter's name is modified in the future.
Georg Brandl116aa622007-08-15 14:28:22 +0000872
873.. _tut-arbitraryargs:
874
875Arbitrary Argument Lists
876------------------------
877
Christian Heimesdae2a892008-04-19 00:55:37 +0000878.. index::
Serhiy Storchaka913876d2018-10-28 13:41:26 +0200879 single: * (asterisk); in function calls
Christian Heimesdae2a892008-04-19 00:55:37 +0000880
Georg Brandl116aa622007-08-15 14:28:22 +0000881Finally, the least frequently used option is to specify that a function can be
882called with an arbitrary number of arguments. These arguments will be wrapped
Georg Brandl5d955ed2008-09-13 17:18:21 +0000883up in a tuple (see :ref:`tut-tuples`). Before the variable number of arguments,
884zero or more normal arguments may occur. ::
Georg Brandl116aa622007-08-15 14:28:22 +0000885
Georg Brandlf08a9dd2008-06-10 16:57:31 +0000886 def write_multiple_items(file, separator, *args):
887 file.write(separator.join(args))
Georg Brandl116aa622007-08-15 14:28:22 +0000888
Georg Brandl48310cd2009-01-03 21:18:54 +0000889
Guido van Rossum0616b792007-08-31 03:25:11 +0000890Normally, these ``variadic`` arguments will be last in the list of formal
Georg Brandl48310cd2009-01-03 21:18:54 +0000891parameters, because they scoop up all remaining input arguments that are
Guido van Rossum0616b792007-08-31 03:25:11 +0000892passed to the function. Any formal parameters which occur after the ``*args``
Georg Brandl48310cd2009-01-03 21:18:54 +0000893parameter are 'keyword-only' arguments, meaning that they can only be used as
Georg Brandle4ac7502007-09-03 07:10:24 +0000894keywords rather than positional arguments. ::
Georg Brandl48310cd2009-01-03 21:18:54 +0000895
Guido van Rossum0616b792007-08-31 03:25:11 +0000896 >>> def concat(*args, sep="/"):
Serhiy Storchakadba90392016-05-10 12:01:23 +0300897 ... return sep.join(args)
Guido van Rossum0616b792007-08-31 03:25:11 +0000898 ...
899 >>> concat("earth", "mars", "venus")
900 'earth/mars/venus'
901 >>> concat("earth", "mars", "venus", sep=".")
902 'earth.mars.venus'
Georg Brandl116aa622007-08-15 14:28:22 +0000903
904.. _tut-unpacking-arguments:
905
906Unpacking Argument Lists
907------------------------
908
909The reverse situation occurs when the arguments are already in a list or tuple
910but need to be unpacked for a function call requiring separate positional
911arguments. For instance, the built-in :func:`range` function expects separate
912*start* and *stop* arguments. If they are not available separately, write the
Raymond Hettingerfb28fcc2019-03-27 21:03:02 -0700913function call with the ``*``\ -operator to unpack the arguments out of a list
Georg Brandl116aa622007-08-15 14:28:22 +0000914or tuple::
915
Guido van Rossum0616b792007-08-31 03:25:11 +0000916 >>> list(range(3, 6)) # normal call with separate arguments
Georg Brandl116aa622007-08-15 14:28:22 +0000917 [3, 4, 5]
918 >>> args = [3, 6]
Guido van Rossum0616b792007-08-31 03:25:11 +0000919 >>> list(range(*args)) # call with arguments unpacked from a list
Georg Brandl116aa622007-08-15 14:28:22 +0000920 [3, 4, 5]
921
Christian Heimesdae2a892008-04-19 00:55:37 +0000922.. index::
Serhiy Storchakaddb961d2018-10-26 09:00:49 +0300923 single: **; in function calls
Christian Heimesdae2a892008-04-19 00:55:37 +0000924
Serhiy Storchaka3f819ca2018-10-31 02:26:06 +0200925In the same fashion, dictionaries can deliver keyword arguments with the
Raymond Hettingerfb28fcc2019-03-27 21:03:02 -0700926``**``\ -operator::
Georg Brandl116aa622007-08-15 14:28:22 +0000927
928 >>> def parrot(voltage, state='a stiff', action='voom'):
Georg Brandle4ac7502007-09-03 07:10:24 +0000929 ... print("-- This parrot wouldn't", action, end=' ')
Guido van Rossum0616b792007-08-31 03:25:11 +0000930 ... print("if you put", voltage, "volts through it.", end=' ')
931 ... print("E's", state, "!")
Georg Brandl116aa622007-08-15 14:28:22 +0000932 ...
933 >>> d = {"voltage": "four million", "state": "bleedin' demised", "action": "VOOM"}
934 >>> parrot(**d)
935 -- This parrot wouldn't VOOM if you put four million volts through it. E's bleedin' demised !
936
937
938.. _tut-lambda:
939
Georg Brandlde5aff12013-10-06 10:22:45 +0200940Lambda Expressions
941------------------
Georg Brandl116aa622007-08-15 14:28:22 +0000942
Georg Brandlde5aff12013-10-06 10:22:45 +0200943Small anonymous functions can be created with the :keyword:`lambda` keyword.
944This function returns the sum of its two arguments: ``lambda a, b: a+b``.
Georg Brandl242e6a02013-10-06 10:28:39 +0200945Lambda functions can be used wherever function objects are required. They are
Georg Brandlde5aff12013-10-06 10:22:45 +0200946syntactically restricted to a single expression. Semantically, they are just
947syntactic sugar for a normal function definition. Like nested function
948definitions, lambda functions can reference variables from the containing
949scope::
Georg Brandl116aa622007-08-15 14:28:22 +0000950
951 >>> def make_incrementor(n):
952 ... return lambda x: x + n
953 ...
954 >>> f = make_incrementor(42)
955 >>> f(0)
956 42
957 >>> f(1)
958 43
959
Georg Brandlde5aff12013-10-06 10:22:45 +0200960The above example uses a lambda expression to return a function. Another use
961is to pass a small function as an argument::
962
963 >>> pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')]
964 >>> pairs.sort(key=lambda pair: pair[1])
965 >>> pairs
966 [(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')]
967
Georg Brandl116aa622007-08-15 14:28:22 +0000968
969.. _tut-docstrings:
970
971Documentation Strings
972---------------------
973
974.. index::
975 single: docstrings
976 single: documentation strings
977 single: strings, documentation
978
Guido van Rossum0616b792007-08-31 03:25:11 +0000979Here are some conventions about the content and formatting of documentation
Georg Brandl48310cd2009-01-03 21:18:54 +0000980strings.
Georg Brandl116aa622007-08-15 14:28:22 +0000981
982The first line should always be a short, concise summary of the object's
983purpose. For brevity, it should not explicitly state the object's name or type,
984since these are available by other means (except if the name happens to be a
985verb describing a function's operation). This line should begin with a capital
986letter and end with a period.
987
988If there are more lines in the documentation string, the second line should be
989blank, visually separating the summary from the rest of the description. The
990following lines should be one or more paragraphs describing the object's calling
991conventions, its side effects, etc.
992
993The Python parser does not strip indentation from multi-line string literals in
994Python, so tools that process documentation have to strip indentation if
995desired. This is done using the following convention. The first non-blank line
996*after* the first line of the string determines the amount of indentation for
997the entire documentation string. (We can't use the first line since it is
998generally adjacent to the string's opening quotes so its indentation is not
999apparent in the string literal.) Whitespace "equivalent" to this indentation is
1000then stripped from the start of all lines of the string. Lines that are
1001indented less should not occur, but if they occur all their leading whitespace
1002should be stripped. Equivalence of whitespace should be tested after expansion
1003of tabs (to 8 spaces, normally).
1004
1005Here is an example of a multi-line docstring::
1006
1007 >>> def my_function():
1008 ... """Do nothing, but document it.
Georg Brandl48310cd2009-01-03 21:18:54 +00001009 ...
Georg Brandl116aa622007-08-15 14:28:22 +00001010 ... No, really, it doesn't do anything.
1011 ... """
1012 ... pass
Georg Brandl48310cd2009-01-03 21:18:54 +00001013 ...
Guido van Rossum0616b792007-08-31 03:25:11 +00001014 >>> print(my_function.__doc__)
Georg Brandl116aa622007-08-15 14:28:22 +00001015 Do nothing, but document it.
1016
1017 No, really, it doesn't do anything.
1018
1019
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001020.. _tut-annotations:
1021
1022Function Annotations
1023--------------------
1024
1025.. sectionauthor:: Zachary Ware <zachary.ware@gmail.com>
1026.. index::
1027 pair: function; annotations
Serhiy Storchakaddb961d2018-10-26 09:00:49 +03001028 single: ->; function annotations
Serhiy Storchaka913876d2018-10-28 13:41:26 +02001029 single: : (colon); function annotations
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001030
Zachary Waref3b990e2015-04-13 11:30:47 -05001031:ref:`Function annotations <function>` are completely optional metadata
Neeraj Badlani643ff712018-04-25 10:52:13 -07001032information about the types used by user-defined functions (see :pep:`3107` and
1033:pep:`484` for more information).
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001034
Cheryl Sabellab7105c92018-12-24 00:09:09 -05001035:term:`Annotations <function annotation>` are stored in the :attr:`__annotations__`
1036attribute of the function as a dictionary and have no effect on any other part of the
1037function. Parameter annotations are defined by a colon after the parameter name, followed
1038by an expression evaluating to the value of the annotation. Return annotations are
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001039defined by a literal ``->``, followed by an expression, between the parameter
1040list and the colon denoting the end of the :keyword:`def` statement. The
1041following example has a positional argument, a keyword argument, and the return
Zachary Waref3b990e2015-04-13 11:30:47 -05001042value annotated::
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001043
Zachary Waref3b990e2015-04-13 11:30:47 -05001044 >>> def f(ham: str, eggs: str = 'eggs') -> str:
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001045 ... print("Annotations:", f.__annotations__)
1046 ... print("Arguments:", ham, eggs)
Zachary Waref3b990e2015-04-13 11:30:47 -05001047 ... return ham + ' and ' + eggs
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001048 ...
Zachary Waref3b990e2015-04-13 11:30:47 -05001049 >>> f('spam')
1050 Annotations: {'ham': <class 'str'>, 'return': <class 'str'>, 'eggs': <class 'str'>}
1051 Arguments: spam eggs
1052 'spam and eggs'
Andrew Svetlov1491cbd2012-11-01 21:26:55 +02001053
Christian Heimes043d6f62008-01-07 17:19:16 +00001054.. _tut-codingstyle:
1055
1056Intermezzo: Coding Style
1057========================
1058
1059.. sectionauthor:: Georg Brandl <georg@python.org>
1060.. index:: pair: coding; style
1061
1062Now that you are about to write longer, more complex pieces of Python, it is a
1063good time to talk about *coding style*. Most languages can be written (or more
1064concise, *formatted*) in different styles; some are more readable than others.
1065Making it easy for others to read your code is always a good idea, and adopting
1066a nice coding style helps tremendously for that.
1067
Christian Heimesdae2a892008-04-19 00:55:37 +00001068For Python, :pep:`8` has emerged as the style guide that most projects adhere to;
Christian Heimes043d6f62008-01-07 17:19:16 +00001069it promotes a very readable and eye-pleasing coding style. Every Python
1070developer should read it at some point; here are the most important points
1071extracted for you:
1072
1073* Use 4-space indentation, and no tabs.
1074
1075 4 spaces are a good compromise between small indentation (allows greater
1076 nesting depth) and large indentation (easier to read). Tabs introduce
1077 confusion, and are best left out.
1078
1079* Wrap lines so that they don't exceed 79 characters.
1080
1081 This helps users with small displays and makes it possible to have several
1082 code files side-by-side on larger displays.
1083
1084* Use blank lines to separate functions and classes, and larger blocks of
1085 code inside functions.
1086
1087* When possible, put comments on a line of their own.
1088
1089* Use docstrings.
1090
1091* Use spaces around operators and after commas, but not directly inside
1092 bracketing constructs: ``a = f(1, 2) + g(3, 4)``.
1093
1094* Name your classes and functions consistently; the convention is to use
Julien Palard2da622f2019-07-08 23:06:32 +02001095 ``UpperCamelCase`` for classes and ``lowercase_with_underscores`` for functions
Georg Brandl5d955ed2008-09-13 17:18:21 +00001096 and methods. Always use ``self`` as the name for the first method argument
1097 (see :ref:`tut-firstclasses` for more on classes and methods).
Christian Heimes043d6f62008-01-07 17:19:16 +00001098
1099* Don't use fancy encodings if your code is meant to be used in international
Georg Brandl7ae90dd2009-06-08 18:59:09 +00001100 environments. Python's default, UTF-8, or even plain ASCII work best in any
1101 case.
1102
1103* Likewise, don't use non-ASCII characters in identifiers if there is only the
1104 slightest chance people speaking a different language will read or maintain
1105 the code.
Christian Heimes043d6f62008-01-07 17:19:16 +00001106
Georg Brandl116aa622007-08-15 14:28:22 +00001107
1108.. rubric:: Footnotes
1109
Christian Heimes043d6f62008-01-07 17:19:16 +00001110.. [#] Actually, *call by object reference* would be a better description,
1111 since if a mutable object is passed, the caller will see any changes the
1112 callee makes to it (items inserted into a list).