Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1 | .. _tut-morecontrol: |
| 2 | |
| 3 | *********************** |
| 4 | More Control Flow Tools |
| 5 | *********************** |
| 6 | |
Diego Alberto Barriga Martínez | b574813 | 2019-09-17 11:57:55 -0500 | [diff] [blame] | 7 | Besides the :keyword:`while` statement just introduced, Python uses the usual |
| 8 | flow control statements known from other languages, with some twists. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 9 | |
| 10 | |
| 11 | .. _tut-if: |
| 12 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 13 | :keyword:`!if` Statements |
| 14 | ========================= |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 15 | |
| 16 | Perhaps the most well-known statement type is the :keyword:`if` statement. For |
| 17 | example:: |
| 18 | |
Georg Brandl | e9af284 | 2007-08-17 05:54:09 +0000 | [diff] [blame] | 19 | >>> x = int(input("Please enter an integer: ")) |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 20 | Please enter an integer: 42 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 21 | >>> if x < 0: |
Ezio Melotti | e65cb19 | 2013-11-17 22:07:48 +0200 | [diff] [blame] | 22 | ... x = 0 |
| 23 | ... print('Negative changed to zero') |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 24 | ... elif x == 0: |
Ezio Melotti | e65cb19 | 2013-11-17 22:07:48 +0200 | [diff] [blame] | 25 | ... print('Zero') |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 26 | ... elif x == 1: |
Ezio Melotti | e65cb19 | 2013-11-17 22:07:48 +0200 | [diff] [blame] | 27 | ... print('Single') |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 28 | ... else: |
Ezio Melotti | e65cb19 | 2013-11-17 22:07:48 +0200 | [diff] [blame] | 29 | ... print('More') |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 30 | ... |
| 31 | More |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 32 | |
| 33 | There can be zero or more :keyword:`elif` parts, and the :keyword:`else` part is |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 34 | optional. The keyword ':keyword:`!elif`' is short for 'else if', and is useful |
| 35 | to avoid excessive indentation. An :keyword:`!if` ... :keyword:`!elif` ... |
| 36 | :keyword:`!elif` ... sequence is a substitute for the ``switch`` or |
Christian Heimes | 5b5e81c | 2007-12-31 16:14:33 +0000 | [diff] [blame] | 37 | ``case`` statements found in other languages. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 38 | |
| 39 | |
| 40 | .. _tut-for: |
| 41 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 42 | :keyword:`!for` Statements |
| 43 | ========================== |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 44 | |
| 45 | .. index:: |
| 46 | statement: for |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 47 | |
| 48 | The :keyword:`for` statement in Python differs a bit from what you may be used |
| 49 | to in C or Pascal. Rather than always iterating over an arithmetic progression |
| 50 | of numbers (like in Pascal), or giving the user the ability to define both the |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 51 | iteration step and halting condition (as C), Python's :keyword:`!for` statement |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 52 | iterates over the items of any sequence (a list or a string), in the order that |
| 53 | they appear in the sequence. For example (no pun intended): |
| 54 | |
Christian Heimes | 5b5e81c | 2007-12-31 16:14:33 +0000 | [diff] [blame] | 55 | .. One suggestion was to give a real C example here, but that may only serve to |
| 56 | confuse non-C programmers. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 57 | |
| 58 | :: |
| 59 | |
| 60 | >>> # Measure some strings: |
Chris Jerdonek | 4fab8f0 | 2012-10-15 19:44:47 -0700 | [diff] [blame] | 61 | ... words = ['cat', 'window', 'defenestrate'] |
| 62 | >>> for w in words: |
| 63 | ... print(w, len(w)) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 64 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 65 | cat 3 |
| 66 | window 6 |
| 67 | defenestrate 12 |
| 68 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 69 | Code that modifies a collection while iterating over that same collection can |
| 70 | be tricky to get right. Instead, it is usually more straight-forward to loop |
| 71 | over a copy of the collection or to create a new collection:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 72 | |
Antoine | 6fad3e6 | 2020-05-23 02:29:34 +0200 | [diff] [blame] | 73 | # Create a sample collection |
| 74 | users = {'Hans': 'active', 'Éléonore': 'inactive', '景太郎': 'active'} |
| 75 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 76 | # Strategy: Iterate over a copy |
| 77 | for user, status in users.copy().items(): |
| 78 | if status == 'inactive': |
| 79 | del users[user] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 80 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 81 | # Strategy: Create a new collection |
| 82 | active_users = {} |
| 83 | for user, status in users.items(): |
| 84 | if status == 'active': |
| 85 | active_users[user] = status |
Georg Brandl | 40383c8 | 2016-02-15 17:50:33 +0100 | [diff] [blame] | 86 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 87 | |
| 88 | .. _tut-range: |
| 89 | |
| 90 | The :func:`range` Function |
| 91 | ========================== |
| 92 | |
| 93 | If you do need to iterate over a sequence of numbers, the built-in function |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 94 | :func:`range` comes in handy. It generates arithmetic progressions:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 95 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 96 | >>> for i in range(5): |
| 97 | ... print(i) |
| 98 | ... |
| 99 | 0 |
| 100 | 1 |
| 101 | 2 |
| 102 | 3 |
| 103 | 4 |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 104 | |
Georg Brandl | 7d82106 | 2010-06-27 10:59:19 +0000 | [diff] [blame] | 105 | The given end point is never part of the generated sequence; ``range(10)`` generates |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 106 | 10 values, the legal indices for items of a sequence of length 10. It |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 107 | is possible to let the range start at another number, or to specify a different |
| 108 | increment (even negative; sometimes this is called the 'step'):: |
| 109 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 110 | range(5, 10) |
Steven M. Vascellaro | 83d7062 | 2018-03-09 14:57:21 -0500 | [diff] [blame] | 111 | 5, 6, 7, 8, 9 |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 112 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 113 | range(0, 10, 3) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 114 | 0, 3, 6, 9 |
| 115 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 116 | range(-10, -100, -30) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 117 | -10, -40, -70 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 118 | |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 119 | To iterate over the indices of a sequence, you can combine :func:`range` and |
| 120 | :func:`len` as follows:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 121 | |
| 122 | >>> a = ['Mary', 'had', 'a', 'little', 'lamb'] |
| 123 | >>> for i in range(len(a)): |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 124 | ... print(i, a[i]) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 125 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 126 | 0 Mary |
| 127 | 1 had |
| 128 | 2 a |
| 129 | 3 little |
| 130 | 4 lamb |
| 131 | |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 132 | In most such cases, however, it is convenient to use the :func:`enumerate` |
| 133 | function, see :ref:`tut-loopidioms`. |
| 134 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 135 | A strange thing happens if you just print a range:: |
| 136 | |
| 137 | >>> print(range(10)) |
| 138 | range(0, 10) |
| 139 | |
| 140 | In many ways the object returned by :func:`range` behaves as if it is a list, |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 141 | but in fact it isn't. It is an object which returns the successive items of |
| 142 | the desired sequence when you iterate over it, but it doesn't really make |
| 143 | the list, thus saving space. |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 144 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 145 | We say such an object is :term:`iterable`, that is, suitable as a target for |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 146 | functions and constructs that expect something from which they can |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 147 | obtain successive items until the supply is exhausted. We have seen that |
Don Kirkby | 3ed4d25 | 2020-02-09 16:57:46 -0800 | [diff] [blame] | 148 | the :keyword:`for` statement is such a construct, while an example of a function |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 149 | that takes an iterable is :func:`sum`:: |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 150 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 151 | >>> sum(range(4)) # 0 + 1 + 2 + 3 |
| 152 | 6 |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 153 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 154 | Later we will see more functions that return iterables and take iterables as |
| 155 | arguments. Lastly, maybe you are curious about how to get a list from a range. |
| 156 | Here is the solution:: |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 157 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 158 | >>> list(range(4)) |
| 159 | [0, 1, 2, 3] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 160 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 161 | In chapter :ref:`tut-structures`, we will discuss in more detail about |
| 162 | :func:`list`. |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 163 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 164 | .. _tut-break: |
| 165 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 166 | :keyword:`!break` and :keyword:`!continue` Statements, and :keyword:`!else` Clauses on Loops |
| 167 | ============================================================================================ |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 168 | |
regexaurus | 36fc896 | 2017-06-27 18:40:41 -0400 | [diff] [blame] | 169 | The :keyword:`break` statement, like in C, breaks out of the innermost enclosing |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 170 | :keyword:`for` or :keyword:`while` loop. |
| 171 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 172 | Loop statements may have an :keyword:`!else` clause; it is executed when the loop |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 173 | terminates through exhaustion of the iterable (with :keyword:`for`) or when the |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 174 | condition becomes false (with :keyword:`while`), but not when the loop is |
| 175 | terminated by a :keyword:`break` statement. This is exemplified by the |
| 176 | following loop, which searches for prime numbers:: |
| 177 | |
| 178 | >>> for n in range(2, 10): |
| 179 | ... for x in range(2, n): |
| 180 | ... if n % x == 0: |
Georg Brandl | b03c1d9 | 2008-05-01 18:06:50 +0000 | [diff] [blame] | 181 | ... print(n, 'equals', x, '*', n//x) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 182 | ... break |
| 183 | ... else: |
| 184 | ... # loop fell through without finding a factor |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 185 | ... print(n, 'is a prime number') |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 186 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 187 | 2 is a prime number |
| 188 | 3 is a prime number |
| 189 | 4 equals 2 * 2 |
| 190 | 5 is a prime number |
| 191 | 6 equals 2 * 3 |
| 192 | 7 is a prime number |
| 193 | 8 equals 2 * 4 |
| 194 | 9 equals 3 * 3 |
| 195 | |
Georg Brandl | bdbdfb1 | 2011-08-08 21:45:13 +0200 | [diff] [blame] | 196 | (Yes, this is the correct code. Look closely: the ``else`` clause belongs to |
| 197 | the :keyword:`for` loop, **not** the :keyword:`if` statement.) |
| 198 | |
Nick Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 199 | When used with a loop, the ``else`` clause has more in common with the |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 200 | ``else`` clause of a :keyword:`try` statement than it does with that of |
| 201 | :keyword:`if` statements: a :keyword:`try` statement's ``else`` clause runs |
Nick Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 202 | when no exception occurs, and a loop's ``else`` clause runs when no ``break`` |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 203 | occurs. For more on the :keyword:`!try` statement and exceptions, see |
Nick Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 204 | :ref:`tut-handling`. |
| 205 | |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 206 | The :keyword:`continue` statement, also borrowed from C, continues with the next |
| 207 | iteration of the loop:: |
| 208 | |
| 209 | >>> for num in range(2, 10): |
Eli Bendersky | 31a1190 | 2012-08-18 09:50:09 +0300 | [diff] [blame] | 210 | ... if num % 2 == 0: |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 211 | ... print("Found an even number", num) |
| 212 | ... continue |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 213 | ... print("Found an odd number", num) |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 214 | Found an even number 2 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 215 | Found an odd number 3 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 216 | Found an even number 4 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 217 | Found an odd number 5 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 218 | Found an even number 6 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 219 | Found an odd number 7 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 220 | Found an even number 8 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 221 | Found an odd number 9 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 222 | |
| 223 | .. _tut-pass: |
| 224 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 225 | :keyword:`!pass` Statements |
| 226 | =========================== |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 227 | |
| 228 | The :keyword:`pass` statement does nothing. It can be used when a statement is |
| 229 | required syntactically but the program requires no action. For example:: |
| 230 | |
| 231 | >>> while True: |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 232 | ... pass # Busy-wait for keyboard interrupt (Ctrl+C) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 233 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 234 | |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 235 | This is commonly used for creating minimal classes:: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 236 | |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 237 | >>> class MyEmptyClass: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 238 | ... pass |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 239 | ... |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 240 | |
| 241 | Another place :keyword:`pass` can be used is as a place-holder for a function or |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 242 | conditional body when you are working on new code, allowing you to keep thinking |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 243 | at a more abstract level. The :keyword:`!pass` is silently ignored:: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 244 | |
| 245 | >>> def initlog(*args): |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 246 | ... pass # Remember to implement this! |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 247 | ... |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 248 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 249 | .. _tut-functions: |
| 250 | |
| 251 | Defining Functions |
| 252 | ================== |
| 253 | |
| 254 | We can create a function that writes the Fibonacci series to an arbitrary |
| 255 | boundary:: |
| 256 | |
| 257 | >>> def fib(n): # write Fibonacci series up to n |
| 258 | ... """Print a Fibonacci series up to n.""" |
| 259 | ... a, b = 0, 1 |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 260 | ... while a < n: |
| 261 | ... print(a, end=' ') |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 262 | ... a, b = b, a+b |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 263 | ... print() |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 264 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 265 | >>> # Now call the function we just defined: |
| 266 | ... fib(2000) |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 267 | 0 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 268 | |
| 269 | .. index:: |
| 270 | single: documentation strings |
| 271 | single: docstrings |
| 272 | single: strings, documentation |
| 273 | |
| 274 | The keyword :keyword:`def` introduces a function *definition*. It must be |
| 275 | followed by the function name and the parenthesized list of formal parameters. |
| 276 | The statements that form the body of the function start at the next line, and |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 277 | must be indented. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 278 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 279 | The first statement of the function body can optionally be a string literal; |
| 280 | this string literal is the function's documentation string, or :dfn:`docstring`. |
| 281 | (More about docstrings can be found in the section :ref:`tut-docstrings`.) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 282 | There are tools which use docstrings to automatically produce online or printed |
| 283 | documentation, or to let the user interactively browse through code; it's good |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 284 | practice to include docstrings in code that you write, so make a habit of it. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 285 | |
| 286 | The *execution* of a function introduces a new symbol table used for the local |
| 287 | variables of the function. More precisely, all variable assignments in a |
| 288 | function store the value in the local symbol table; whereas variable references |
Georg Brandl | 86def6c | 2008-01-21 20:36:10 +0000 | [diff] [blame] | 289 | first look in the local symbol table, then in the local symbol tables of |
| 290 | enclosing functions, then in the global symbol table, and finally in the table |
pbhd | e1f95e7 | 2019-05-29 05:38:03 +0200 | [diff] [blame] | 291 | of built-in names. Thus, global variables and variables of enclosing functions |
| 292 | cannot be directly assigned a value within a function (unless, for global |
| 293 | variables, named in a :keyword:`global` statement, or, for variables of enclosing |
| 294 | functions, named in a :keyword:`nonlocal` statement), although they may be |
| 295 | referenced. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 296 | |
| 297 | The actual parameters (arguments) to a function call are introduced in the local |
| 298 | symbol table of the called function when it is called; thus, arguments are |
| 299 | passed using *call by value* (where the *value* is always an object *reference*, |
| 300 | not the value of the object). [#]_ When a function calls another function, a new |
| 301 | local symbol table is created for that call. |
| 302 | |
Joannah Nanjekye | d12af71 | 2020-07-05 22:47:15 -0300 | [diff] [blame] | 303 | A function definition associates the function name with the function object in |
| 304 | the current symbol table. The interpreter recognizes the object pointed to by |
| 305 | that name as a user-defined function. Other names can also point to that same |
| 306 | function object and can also be used to access the function:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 307 | |
| 308 | >>> fib |
| 309 | <function fib at 10042ed0> |
| 310 | >>> f = fib |
| 311 | >>> f(100) |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 312 | 0 1 1 2 3 5 8 13 21 34 55 89 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 313 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 314 | Coming from other languages, you might object that ``fib`` is not a function but |
| 315 | a procedure since it doesn't return a value. In fact, even functions without a |
| 316 | :keyword:`return` statement do return a value, albeit a rather boring one. This |
| 317 | value is called ``None`` (it's a built-in name). Writing the value ``None`` is |
| 318 | normally suppressed by the interpreter if it would be the only value written. |
| 319 | You can see it if you really want to using :func:`print`:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 320 | |
Georg Brandl | 9afde1c | 2007-11-01 20:32:30 +0000 | [diff] [blame] | 321 | >>> fib(0) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 322 | >>> print(fib(0)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 323 | None |
| 324 | |
| 325 | It is simple to write a function that returns a list of the numbers of the |
| 326 | Fibonacci series, instead of printing it:: |
| 327 | |
Serhiy Storchaka | dba9039 | 2016-05-10 12:01:23 +0300 | [diff] [blame] | 328 | >>> def fib2(n): # return Fibonacci series up to n |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 329 | ... """Return a list containing the Fibonacci series up to n.""" |
| 330 | ... result = [] |
| 331 | ... a, b = 0, 1 |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 332 | ... while a < n: |
| 333 | ... result.append(a) # see below |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 334 | ... a, b = b, a+b |
| 335 | ... return result |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 336 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 337 | >>> f100 = fib2(100) # call it |
| 338 | >>> f100 # write the result |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 339 | [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 340 | |
| 341 | This example, as usual, demonstrates some new Python features: |
| 342 | |
| 343 | * The :keyword:`return` statement returns with a value from a function. |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 344 | :keyword:`!return` without an expression argument returns ``None``. Falling off |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 345 | the end of a function also returns ``None``. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 346 | |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 347 | * The statement ``result.append(a)`` calls a *method* of the list object |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 348 | ``result``. A method is a function that 'belongs' to an object and is named |
| 349 | ``obj.methodname``, where ``obj`` is some object (this may be an expression), |
| 350 | and ``methodname`` is the name of a method that is defined by the object's type. |
| 351 | Different types define different methods. Methods of different types may have |
| 352 | the same name without causing ambiguity. (It is possible to define your own |
Georg Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 353 | object types and methods, using *classes*, see :ref:`tut-classes`) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 354 | The method :meth:`append` shown in the example is defined for list objects; it |
| 355 | adds a new element at the end of the list. In this example it is equivalent to |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 356 | ``result = result + [a]``, but more efficient. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 357 | |
| 358 | |
| 359 | .. _tut-defining: |
| 360 | |
| 361 | More on Defining Functions |
| 362 | ========================== |
| 363 | |
| 364 | It is also possible to define functions with a variable number of arguments. |
| 365 | There are three forms, which can be combined. |
| 366 | |
| 367 | |
| 368 | .. _tut-defaultargs: |
| 369 | |
| 370 | Default Argument Values |
| 371 | ----------------------- |
| 372 | |
| 373 | The most useful form is to specify a default value for one or more arguments. |
| 374 | This creates a function that can be called with fewer arguments than it is |
| 375 | defined to allow. For example:: |
| 376 | |
Berker Peksag | 0a5120e | 2016-06-02 11:31:19 -0700 | [diff] [blame] | 377 | def ask_ok(prompt, retries=4, reminder='Please try again!'): |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 378 | while True: |
Georg Brandl | e9af284 | 2007-08-17 05:54:09 +0000 | [diff] [blame] | 379 | ok = input(prompt) |
Georg Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 380 | if ok in ('y', 'ye', 'yes'): |
| 381 | return True |
| 382 | if ok in ('n', 'no', 'nop', 'nope'): |
| 383 | return False |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 384 | retries = retries - 1 |
Collin Winter | 58721bc | 2007-09-10 00:39:52 +0000 | [diff] [blame] | 385 | if retries < 0: |
Berker Peksag | 0a5120e | 2016-06-02 11:31:19 -0700 | [diff] [blame] | 386 | raise ValueError('invalid user response') |
| 387 | print(reminder) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 388 | |
Georg Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 389 | This function can be called in several ways: |
| 390 | |
| 391 | * giving only the mandatory argument: |
| 392 | ``ask_ok('Do you really want to quit?')`` |
| 393 | * giving one of the optional arguments: |
| 394 | ``ask_ok('OK to overwrite the file?', 2)`` |
| 395 | * or even giving all arguments: |
| 396 | ``ask_ok('OK to overwrite the file?', 2, 'Come on, only yes or no!')`` |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 397 | |
| 398 | This example also introduces the :keyword:`in` keyword. This tests whether or |
| 399 | not a sequence contains a certain value. |
| 400 | |
| 401 | The default values are evaluated at the point of function definition in the |
| 402 | *defining* scope, so that :: |
| 403 | |
| 404 | i = 5 |
| 405 | |
| 406 | def f(arg=i): |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 407 | print(arg) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 408 | |
| 409 | i = 6 |
| 410 | f() |
| 411 | |
| 412 | will print ``5``. |
| 413 | |
| 414 | **Important warning:** The default value is evaluated only once. This makes a |
| 415 | difference when the default is a mutable object such as a list, dictionary, or |
| 416 | instances of most classes. For example, the following function accumulates the |
| 417 | arguments passed to it on subsequent calls:: |
| 418 | |
| 419 | def f(a, L=[]): |
| 420 | L.append(a) |
| 421 | return L |
| 422 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 423 | print(f(1)) |
| 424 | print(f(2)) |
| 425 | print(f(3)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 426 | |
| 427 | This will print :: |
| 428 | |
| 429 | [1] |
| 430 | [1, 2] |
| 431 | [1, 2, 3] |
| 432 | |
| 433 | If you don't want the default to be shared between subsequent calls, you can |
| 434 | write the function like this instead:: |
| 435 | |
| 436 | def f(a, L=None): |
| 437 | if L is None: |
| 438 | L = [] |
| 439 | L.append(a) |
| 440 | return L |
| 441 | |
| 442 | |
| 443 | .. _tut-keywordargs: |
| 444 | |
| 445 | Keyword Arguments |
| 446 | ----------------- |
| 447 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 448 | Functions can also be called using :term:`keyword arguments <keyword argument>` |
| 449 | of the form ``kwarg=value``. For instance, the following function:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 450 | |
| 451 | def parrot(voltage, state='a stiff', action='voom', type='Norwegian Blue'): |
Georg Brandl | e4ac750 | 2007-09-03 07:10:24 +0000 | [diff] [blame] | 452 | print("-- This parrot wouldn't", action, end=' ') |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 453 | print("if you put", voltage, "volts through it.") |
| 454 | print("-- Lovely plumage, the", type) |
| 455 | print("-- It's", state, "!") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 456 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 457 | accepts one required argument (``voltage``) and three optional arguments |
| 458 | (``state``, ``action``, and ``type``). This function can be called in any |
| 459 | of the following ways:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 460 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 461 | parrot(1000) # 1 positional argument |
| 462 | parrot(voltage=1000) # 1 keyword argument |
| 463 | parrot(voltage=1000000, action='VOOOOOM') # 2 keyword arguments |
| 464 | parrot(action='VOOOOOM', voltage=1000000) # 2 keyword arguments |
| 465 | parrot('a million', 'bereft of life', 'jump') # 3 positional arguments |
| 466 | parrot('a thousand', state='pushing up the daisies') # 1 positional, 1 keyword |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 467 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 468 | but all the following calls would be invalid:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 469 | |
| 470 | parrot() # required argument missing |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 471 | parrot(voltage=5.0, 'dead') # non-keyword argument after a keyword argument |
| 472 | parrot(110, voltage=220) # duplicate value for the same argument |
| 473 | parrot(actor='John Cleese') # unknown keyword argument |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 474 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 475 | In a function call, keyword arguments must follow positional arguments. |
| 476 | All the keyword arguments passed must match one of the arguments |
| 477 | accepted by the function (e.g. ``actor`` is not a valid argument for the |
| 478 | ``parrot`` function), and their order is not important. This also includes |
| 479 | non-optional arguments (e.g. ``parrot(voltage=1000)`` is valid too). |
| 480 | No argument may receive a value more than once. |
| 481 | Here's an example that fails due to this restriction:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 482 | |
| 483 | >>> def function(a): |
| 484 | ... pass |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 485 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 486 | >>> function(0, a=0) |
| 487 | Traceback (most recent call last): |
UltimateCoder | 8856940 | 2017-05-03 22:16:45 +0530 | [diff] [blame] | 488 | File "<stdin>", line 1, in <module> |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 489 | TypeError: function() got multiple values for keyword argument 'a' |
| 490 | |
| 491 | When a final formal parameter of the form ``**name`` is present, it receives a |
| 492 | dictionary (see :ref:`typesmapping`) containing all keyword arguments except for |
| 493 | those corresponding to a formal parameter. This may be combined with a formal |
| 494 | parameter of the form ``*name`` (described in the next subsection) which |
Julien Palard | 51ddab8 | 2019-05-28 15:10:23 +0200 | [diff] [blame] | 495 | receives a :ref:`tuple <tut-tuples>` containing the positional |
| 496 | arguments beyond the formal parameter list. (``*name`` must occur |
| 497 | before ``**name``.) For example, if we define a function like this:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 498 | |
| 499 | def cheeseshop(kind, *arguments, **keywords): |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 500 | print("-- Do you have any", kind, "?") |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 501 | print("-- I'm sorry, we're all out of", kind) |
Georg Brandl | 70543ac | 2010-10-15 15:32:05 +0000 | [diff] [blame] | 502 | for arg in arguments: |
| 503 | print(arg) |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 504 | print("-" * 40) |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 505 | for kw in keywords: |
Georg Brandl | 70543ac | 2010-10-15 15:32:05 +0000 | [diff] [blame] | 506 | print(kw, ":", keywords[kw]) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 507 | |
| 508 | It could be called like this:: |
| 509 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 510 | cheeseshop("Limburger", "It's very runny, sir.", |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 511 | "It's really very, VERY runny, sir.", |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 512 | shopkeeper="Michael Palin", |
| 513 | client="John Cleese", |
| 514 | sketch="Cheese Shop Sketch") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 515 | |
Martin Panter | 1050d2d | 2016-07-26 11:18:21 +0200 | [diff] [blame] | 516 | and of course it would print: |
| 517 | |
| 518 | .. code-block:: none |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 519 | |
| 520 | -- Do you have any Limburger ? |
| 521 | -- I'm sorry, we're all out of Limburger |
| 522 | It's very runny, sir. |
| 523 | It's really very, VERY runny, sir. |
| 524 | ---------------------------------------- |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 525 | shopkeeper : Michael Palin |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 526 | client : John Cleese |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 527 | sketch : Cheese Shop Sketch |
| 528 | |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 529 | Note that the order in which the keyword arguments are printed is guaranteed |
| 530 | to match the order in which they were provided in the function call. |
| 531 | |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 532 | Special parameters |
| 533 | ------------------ |
| 534 | |
| 535 | By default, arguments may be passed to a Python function either by position |
| 536 | or explicitly by keyword. For readability and performance, it makes sense to |
| 537 | restrict the way arguments can be passed so that a developer need only look |
| 538 | at the function definition to determine if items are passed by position, by |
| 539 | position or keyword, or by keyword. |
| 540 | |
| 541 | A function definition may look like: |
| 542 | |
| 543 | .. code-block:: none |
| 544 | |
| 545 | def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2): |
| 546 | ----------- ---------- ---------- |
| 547 | | | | |
| 548 | | Positional or keyword | |
| 549 | | - Keyword only |
| 550 | -- Positional only |
| 551 | |
| 552 | where ``/`` and ``*`` are optional. If used, these symbols indicate the kind of |
| 553 | parameter by how the arguments may be passed to the function: |
| 554 | positional-only, positional-or-keyword, and keyword-only. Keyword parameters |
| 555 | are also referred to as named parameters. |
| 556 | |
| 557 | ------------------------------- |
| 558 | Positional-or-Keyword Arguments |
| 559 | ------------------------------- |
| 560 | |
| 561 | If ``/`` and ``*`` are not present in the function definition, arguments may |
| 562 | be passed to a function by position or by keyword. |
| 563 | |
| 564 | -------------------------- |
| 565 | Positional-Only Parameters |
| 566 | -------------------------- |
| 567 | |
| 568 | Looking at this in a bit more detail, it is possible to mark certain parameters |
| 569 | as *positional-only*. If *positional-only*, the parameters' order matters, and |
| 570 | the parameters cannot be passed by keyword. Positional-only parameters are |
| 571 | placed before a ``/`` (forward-slash). The ``/`` is used to logically |
| 572 | separate the positional-only parameters from the rest of the parameters. |
| 573 | If there is no ``/`` in the function definition, there are no positional-only |
| 574 | parameters. |
| 575 | |
| 576 | Parameters following the ``/`` may be *positional-or-keyword* or *keyword-only*. |
| 577 | |
| 578 | ---------------------- |
| 579 | Keyword-Only Arguments |
| 580 | ---------------------- |
| 581 | |
| 582 | To mark parameters as *keyword-only*, indicating the parameters must be passed |
| 583 | by keyword argument, place an ``*`` in the arguments list just before the first |
| 584 | *keyword-only* parameter. |
| 585 | |
| 586 | ----------------- |
| 587 | Function Examples |
| 588 | ----------------- |
| 589 | |
| 590 | Consider the following example function definitions paying close attention to the |
| 591 | markers ``/`` and ``*``:: |
| 592 | |
| 593 | >>> def standard_arg(arg): |
| 594 | ... print(arg) |
| 595 | ... |
| 596 | >>> def pos_only_arg(arg, /): |
| 597 | ... print(arg) |
| 598 | ... |
| 599 | >>> def kwd_only_arg(*, arg): |
| 600 | ... print(arg) |
| 601 | ... |
| 602 | >>> def combined_example(pos_only, /, standard, *, kwd_only): |
| 603 | ... print(pos_only, standard, kwd_only) |
| 604 | |
| 605 | |
| 606 | The first function definition, ``standard_arg``, the most familiar form, |
| 607 | places no restrictions on the calling convention and arguments may be |
| 608 | passed by position or keyword:: |
| 609 | |
| 610 | >>> standard_arg(2) |
| 611 | 2 |
| 612 | |
| 613 | >>> standard_arg(arg=2) |
| 614 | 2 |
| 615 | |
| 616 | The second function ``pos_only_arg`` is restricted to only use positional |
| 617 | parameters as there is a ``/`` in the function definition:: |
| 618 | |
| 619 | >>> pos_only_arg(1) |
| 620 | 1 |
| 621 | |
| 622 | >>> pos_only_arg(arg=1) |
| 623 | Traceback (most recent call last): |
| 624 | File "<stdin>", line 1, in <module> |
| 625 | TypeError: pos_only_arg() got an unexpected keyword argument 'arg' |
| 626 | |
| 627 | The third function ``kwd_only_args`` only allows keyword arguments as indicated |
| 628 | by a ``*`` in the function definition:: |
| 629 | |
| 630 | >>> kwd_only_arg(3) |
| 631 | Traceback (most recent call last): |
| 632 | File "<stdin>", line 1, in <module> |
| 633 | TypeError: kwd_only_arg() takes 0 positional arguments but 1 was given |
| 634 | |
| 635 | >>> kwd_only_arg(arg=3) |
| 636 | 3 |
| 637 | |
| 638 | And the last uses all three calling conventions in the same function |
| 639 | definition:: |
| 640 | |
| 641 | >>> combined_example(1, 2, 3) |
| 642 | Traceback (most recent call last): |
| 643 | File "<stdin>", line 1, in <module> |
| 644 | TypeError: combined_example() takes 2 positional arguments but 3 were given |
| 645 | |
| 646 | >>> combined_example(1, 2, kwd_only=3) |
| 647 | 1 2 3 |
| 648 | |
| 649 | >>> combined_example(1, standard=2, kwd_only=3) |
| 650 | 1 2 3 |
| 651 | |
| 652 | >>> combined_example(pos_only=1, standard=2, kwd_only=3) |
| 653 | Traceback (most recent call last): |
| 654 | File "<stdin>", line 1, in <module> |
| 655 | TypeError: combined_example() got an unexpected keyword argument 'pos_only' |
| 656 | |
| 657 | |
| 658 | Finally, consider this function definition which has a potential collision between the positional argument ``name`` and ``**kwds`` which has ``name`` as a key:: |
| 659 | |
| 660 | def foo(name, **kwds): |
| 661 | return 'name' in kwds |
| 662 | |
| 663 | There is no possible call that will make it return ``True`` as the keyword ``'name'`` |
Denis Ovsienko | 0be7c21 | 2020-08-19 12:29:47 +0100 | [diff] [blame] | 664 | will always bind to the first parameter. For example:: |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 665 | |
| 666 | >>> foo(1, **{'name': 2}) |
| 667 | Traceback (most recent call last): |
| 668 | File "<stdin>", line 1, in <module> |
| 669 | TypeError: foo() got multiple values for argument 'name' |
| 670 | >>> |
| 671 | |
| 672 | But using ``/`` (positional only arguments), it is possible since it allows ``name`` as a positional argument and ``'name'`` as a key in the keyword arguments:: |
| 673 | |
| 674 | def foo(name, /, **kwds): |
| 675 | return 'name' in kwds |
| 676 | >>> foo(1, **{'name': 2}) |
| 677 | True |
| 678 | |
| 679 | In other words, the names of positional-only parameters can be used in |
| 680 | ``**kwds`` without ambiguity. |
| 681 | |
| 682 | ----- |
| 683 | Recap |
| 684 | ----- |
| 685 | |
| 686 | The use case will determine which parameters to use in the function definition:: |
| 687 | |
| 688 | def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2): |
| 689 | |
| 690 | As guidance: |
| 691 | |
| 692 | * Use positional-only if you want the name of the parameters to not be |
| 693 | available to the user. This is useful when parameter names have no real |
| 694 | meaning, if you want to enforce the order of the arguments when the function |
| 695 | is called or if you need to take some positional parameters and arbitrary |
| 696 | keywords. |
| 697 | * Use keyword-only when names have meaning and the function definition is |
| 698 | more understandable by being explicit with names or you want to prevent |
| 699 | users relying on the position of the argument being passed. |
Adorilson Bezerra | b7af4e7 | 2019-09-16 04:04:58 -0300 | [diff] [blame] | 700 | * For an API, use positional-only to prevent breaking API changes |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 701 | if the parameter's name is modified in the future. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 702 | |
| 703 | .. _tut-arbitraryargs: |
| 704 | |
| 705 | Arbitrary Argument Lists |
| 706 | ------------------------ |
| 707 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 708 | .. index:: |
Serhiy Storchaka | 913876d | 2018-10-28 13:41:26 +0200 | [diff] [blame] | 709 | single: * (asterisk); in function calls |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 710 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 711 | Finally, the least frequently used option is to specify that a function can be |
| 712 | called with an arbitrary number of arguments. These arguments will be wrapped |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 713 | up in a tuple (see :ref:`tut-tuples`). Before the variable number of arguments, |
| 714 | zero or more normal arguments may occur. :: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 715 | |
Georg Brandl | f08a9dd | 2008-06-10 16:57:31 +0000 | [diff] [blame] | 716 | def write_multiple_items(file, separator, *args): |
| 717 | file.write(separator.join(args)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 718 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 719 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 720 | Normally, these ``variadic`` arguments will be last in the list of formal |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 721 | parameters, because they scoop up all remaining input arguments that are |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 722 | passed to the function. Any formal parameters which occur after the ``*args`` |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 723 | parameter are 'keyword-only' arguments, meaning that they can only be used as |
Georg Brandl | e4ac750 | 2007-09-03 07:10:24 +0000 | [diff] [blame] | 724 | keywords rather than positional arguments. :: |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 725 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 726 | >>> def concat(*args, sep="/"): |
Serhiy Storchaka | dba9039 | 2016-05-10 12:01:23 +0300 | [diff] [blame] | 727 | ... return sep.join(args) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 728 | ... |
| 729 | >>> concat("earth", "mars", "venus") |
| 730 | 'earth/mars/venus' |
| 731 | >>> concat("earth", "mars", "venus", sep=".") |
| 732 | 'earth.mars.venus' |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 733 | |
| 734 | .. _tut-unpacking-arguments: |
| 735 | |
| 736 | Unpacking Argument Lists |
| 737 | ------------------------ |
| 738 | |
| 739 | The reverse situation occurs when the arguments are already in a list or tuple |
| 740 | but need to be unpacked for a function call requiring separate positional |
| 741 | arguments. For instance, the built-in :func:`range` function expects separate |
| 742 | *start* and *stop* arguments. If they are not available separately, write the |
Raymond Hettinger | fb28fcc | 2019-03-27 21:03:02 -0700 | [diff] [blame] | 743 | function call with the ``*``\ -operator to unpack the arguments out of a list |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 744 | or tuple:: |
| 745 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 746 | >>> list(range(3, 6)) # normal call with separate arguments |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 747 | [3, 4, 5] |
| 748 | >>> args = [3, 6] |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 749 | >>> list(range(*args)) # call with arguments unpacked from a list |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 750 | [3, 4, 5] |
| 751 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 752 | .. index:: |
Serhiy Storchaka | ddb961d | 2018-10-26 09:00:49 +0300 | [diff] [blame] | 753 | single: **; in function calls |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 754 | |
Serhiy Storchaka | 3f819ca | 2018-10-31 02:26:06 +0200 | [diff] [blame] | 755 | In the same fashion, dictionaries can deliver keyword arguments with the |
Raymond Hettinger | fb28fcc | 2019-03-27 21:03:02 -0700 | [diff] [blame] | 756 | ``**``\ -operator:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 757 | |
| 758 | >>> def parrot(voltage, state='a stiff', action='voom'): |
Georg Brandl | e4ac750 | 2007-09-03 07:10:24 +0000 | [diff] [blame] | 759 | ... print("-- This parrot wouldn't", action, end=' ') |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 760 | ... print("if you put", voltage, "volts through it.", end=' ') |
| 761 | ... print("E's", state, "!") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 762 | ... |
| 763 | >>> d = {"voltage": "four million", "state": "bleedin' demised", "action": "VOOM"} |
| 764 | >>> parrot(**d) |
| 765 | -- This parrot wouldn't VOOM if you put four million volts through it. E's bleedin' demised ! |
| 766 | |
| 767 | |
| 768 | .. _tut-lambda: |
| 769 | |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 770 | Lambda Expressions |
| 771 | ------------------ |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 772 | |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 773 | Small anonymous functions can be created with the :keyword:`lambda` keyword. |
| 774 | This function returns the sum of its two arguments: ``lambda a, b: a+b``. |
Georg Brandl | 242e6a0 | 2013-10-06 10:28:39 +0200 | [diff] [blame] | 775 | Lambda functions can be used wherever function objects are required. They are |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 776 | syntactically restricted to a single expression. Semantically, they are just |
| 777 | syntactic sugar for a normal function definition. Like nested function |
| 778 | definitions, lambda functions can reference variables from the containing |
| 779 | scope:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 780 | |
| 781 | >>> def make_incrementor(n): |
| 782 | ... return lambda x: x + n |
| 783 | ... |
| 784 | >>> f = make_incrementor(42) |
| 785 | >>> f(0) |
| 786 | 42 |
| 787 | >>> f(1) |
| 788 | 43 |
| 789 | |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 790 | The above example uses a lambda expression to return a function. Another use |
| 791 | is to pass a small function as an argument:: |
| 792 | |
| 793 | >>> pairs = [(1, 'one'), (2, 'two'), (3, 'three'), (4, 'four')] |
| 794 | >>> pairs.sort(key=lambda pair: pair[1]) |
| 795 | >>> pairs |
| 796 | [(4, 'four'), (1, 'one'), (3, 'three'), (2, 'two')] |
| 797 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 798 | |
| 799 | .. _tut-docstrings: |
| 800 | |
| 801 | Documentation Strings |
| 802 | --------------------- |
| 803 | |
| 804 | .. index:: |
| 805 | single: docstrings |
| 806 | single: documentation strings |
| 807 | single: strings, documentation |
| 808 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 809 | Here are some conventions about the content and formatting of documentation |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 810 | strings. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 811 | |
| 812 | The first line should always be a short, concise summary of the object's |
| 813 | purpose. For brevity, it should not explicitly state the object's name or type, |
| 814 | since these are available by other means (except if the name happens to be a |
| 815 | verb describing a function's operation). This line should begin with a capital |
| 816 | letter and end with a period. |
| 817 | |
| 818 | If there are more lines in the documentation string, the second line should be |
| 819 | blank, visually separating the summary from the rest of the description. The |
| 820 | following lines should be one or more paragraphs describing the object's calling |
| 821 | conventions, its side effects, etc. |
| 822 | |
| 823 | The Python parser does not strip indentation from multi-line string literals in |
| 824 | Python, so tools that process documentation have to strip indentation if |
| 825 | desired. This is done using the following convention. The first non-blank line |
| 826 | *after* the first line of the string determines the amount of indentation for |
| 827 | the entire documentation string. (We can't use the first line since it is |
| 828 | generally adjacent to the string's opening quotes so its indentation is not |
| 829 | apparent in the string literal.) Whitespace "equivalent" to this indentation is |
| 830 | then stripped from the start of all lines of the string. Lines that are |
| 831 | indented less should not occur, but if they occur all their leading whitespace |
| 832 | should be stripped. Equivalence of whitespace should be tested after expansion |
| 833 | of tabs (to 8 spaces, normally). |
| 834 | |
| 835 | Here is an example of a multi-line docstring:: |
| 836 | |
| 837 | >>> def my_function(): |
| 838 | ... """Do nothing, but document it. |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 839 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 840 | ... No, really, it doesn't do anything. |
| 841 | ... """ |
| 842 | ... pass |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 843 | ... |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 844 | >>> print(my_function.__doc__) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 845 | Do nothing, but document it. |
| 846 | |
| 847 | No, really, it doesn't do anything. |
| 848 | |
| 849 | |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 850 | .. _tut-annotations: |
| 851 | |
| 852 | Function Annotations |
| 853 | -------------------- |
| 854 | |
| 855 | .. sectionauthor:: Zachary Ware <zachary.ware@gmail.com> |
| 856 | .. index:: |
| 857 | pair: function; annotations |
Serhiy Storchaka | ddb961d | 2018-10-26 09:00:49 +0300 | [diff] [blame] | 858 | single: ->; function annotations |
Serhiy Storchaka | 913876d | 2018-10-28 13:41:26 +0200 | [diff] [blame] | 859 | single: : (colon); function annotations |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 860 | |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 861 | :ref:`Function annotations <function>` are completely optional metadata |
Neeraj Badlani | 643ff71 | 2018-04-25 10:52:13 -0700 | [diff] [blame] | 862 | information about the types used by user-defined functions (see :pep:`3107` and |
| 863 | :pep:`484` for more information). |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 864 | |
Cheryl Sabella | b7105c9 | 2018-12-24 00:09:09 -0500 | [diff] [blame] | 865 | :term:`Annotations <function annotation>` are stored in the :attr:`__annotations__` |
| 866 | attribute of the function as a dictionary and have no effect on any other part of the |
| 867 | function. Parameter annotations are defined by a colon after the parameter name, followed |
| 868 | by an expression evaluating to the value of the annotation. Return annotations are |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 869 | defined by a literal ``->``, followed by an expression, between the parameter |
| 870 | list and the colon denoting the end of the :keyword:`def` statement. The |
| 871 | following example has a positional argument, a keyword argument, and the return |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 872 | value annotated:: |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 873 | |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 874 | >>> def f(ham: str, eggs: str = 'eggs') -> str: |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 875 | ... print("Annotations:", f.__annotations__) |
| 876 | ... print("Arguments:", ham, eggs) |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 877 | ... return ham + ' and ' + eggs |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 878 | ... |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 879 | >>> f('spam') |
| 880 | Annotations: {'ham': <class 'str'>, 'return': <class 'str'>, 'eggs': <class 'str'>} |
| 881 | Arguments: spam eggs |
| 882 | 'spam and eggs' |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 883 | |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 884 | .. _tut-codingstyle: |
| 885 | |
| 886 | Intermezzo: Coding Style |
| 887 | ======================== |
| 888 | |
| 889 | .. sectionauthor:: Georg Brandl <georg@python.org> |
| 890 | .. index:: pair: coding; style |
| 891 | |
| 892 | Now that you are about to write longer, more complex pieces of Python, it is a |
| 893 | good time to talk about *coding style*. Most languages can be written (or more |
| 894 | concise, *formatted*) in different styles; some are more readable than others. |
| 895 | Making it easy for others to read your code is always a good idea, and adopting |
| 896 | a nice coding style helps tremendously for that. |
| 897 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 898 | For Python, :pep:`8` has emerged as the style guide that most projects adhere to; |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 899 | it promotes a very readable and eye-pleasing coding style. Every Python |
| 900 | developer should read it at some point; here are the most important points |
| 901 | extracted for you: |
| 902 | |
| 903 | * Use 4-space indentation, and no tabs. |
| 904 | |
| 905 | 4 spaces are a good compromise between small indentation (allows greater |
| 906 | nesting depth) and large indentation (easier to read). Tabs introduce |
| 907 | confusion, and are best left out. |
| 908 | |
| 909 | * Wrap lines so that they don't exceed 79 characters. |
| 910 | |
| 911 | This helps users with small displays and makes it possible to have several |
| 912 | code files side-by-side on larger displays. |
| 913 | |
| 914 | * Use blank lines to separate functions and classes, and larger blocks of |
| 915 | code inside functions. |
| 916 | |
| 917 | * When possible, put comments on a line of their own. |
| 918 | |
| 919 | * Use docstrings. |
| 920 | |
| 921 | * Use spaces around operators and after commas, but not directly inside |
| 922 | bracketing constructs: ``a = f(1, 2) + g(3, 4)``. |
| 923 | |
| 924 | * Name your classes and functions consistently; the convention is to use |
Julien Palard | 2da622f | 2019-07-08 23:06:32 +0200 | [diff] [blame] | 925 | ``UpperCamelCase`` for classes and ``lowercase_with_underscores`` for functions |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 926 | and methods. Always use ``self`` as the name for the first method argument |
| 927 | (see :ref:`tut-firstclasses` for more on classes and methods). |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 928 | |
| 929 | * Don't use fancy encodings if your code is meant to be used in international |
Georg Brandl | 7ae90dd | 2009-06-08 18:59:09 +0000 | [diff] [blame] | 930 | environments. Python's default, UTF-8, or even plain ASCII work best in any |
| 931 | case. |
| 932 | |
| 933 | * Likewise, don't use non-ASCII characters in identifiers if there is only the |
| 934 | slightest chance people speaking a different language will read or maintain |
| 935 | the code. |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 936 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 937 | |
| 938 | .. rubric:: Footnotes |
| 939 | |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 940 | .. [#] Actually, *call by object reference* would be a better description, |
| 941 | since if a mutable object is passed, the caller will see any changes the |
| 942 | callee makes to it (items inserted into a list). |