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 | |
Daniel F Moisset | a22bca6 | 2021-03-01 04:08:38 +0000 | [diff] [blame] | 39 | If you're comparing the same value to several constants, or checking for specific types or |
| 40 | attributes, you may also find the :keyword:`!match` statement useful. For more |
| 41 | details see :ref:`tut-match`. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 42 | |
| 43 | .. _tut-for: |
| 44 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 45 | :keyword:`!for` Statements |
| 46 | ========================== |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 47 | |
| 48 | .. index:: |
| 49 | statement: for |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 50 | |
| 51 | The :keyword:`for` statement in Python differs a bit from what you may be used |
| 52 | to in C or Pascal. Rather than always iterating over an arithmetic progression |
| 53 | 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] | 54 | iteration step and halting condition (as C), Python's :keyword:`!for` statement |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 55 | iterates over the items of any sequence (a list or a string), in the order that |
| 56 | they appear in the sequence. For example (no pun intended): |
| 57 | |
Christian Heimes | 5b5e81c | 2007-12-31 16:14:33 +0000 | [diff] [blame] | 58 | .. One suggestion was to give a real C example here, but that may only serve to |
| 59 | confuse non-C programmers. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 60 | |
| 61 | :: |
| 62 | |
| 63 | >>> # Measure some strings: |
Chris Jerdonek | 4fab8f0 | 2012-10-15 19:44:47 -0700 | [diff] [blame] | 64 | ... words = ['cat', 'window', 'defenestrate'] |
| 65 | >>> for w in words: |
| 66 | ... print(w, len(w)) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 67 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 68 | cat 3 |
| 69 | window 6 |
| 70 | defenestrate 12 |
| 71 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 72 | Code that modifies a collection while iterating over that same collection can |
| 73 | be tricky to get right. Instead, it is usually more straight-forward to loop |
| 74 | over a copy of the collection or to create a new collection:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 75 | |
Antoine | 6fad3e6 | 2020-05-23 02:29:34 +0200 | [diff] [blame] | 76 | # Create a sample collection |
| 77 | users = {'Hans': 'active', 'Éléonore': 'inactive', '景太郎': 'active'} |
| 78 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 79 | # Strategy: Iterate over a copy |
| 80 | for user, status in users.copy().items(): |
| 81 | if status == 'inactive': |
| 82 | del users[user] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 83 | |
Raymond Hettinger | 6fcb6cf | 2019-08-22 23:44:19 -0700 | [diff] [blame] | 84 | # 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 Brandl | 40383c8 | 2016-02-15 17:50:33 +0100 | [diff] [blame] | 89 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 90 | |
| 91 | .. _tut-range: |
| 92 | |
| 93 | The :func:`range` Function |
| 94 | ========================== |
| 95 | |
| 96 | 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] | 97 | :func:`range` comes in handy. It generates arithmetic progressions:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 98 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 99 | >>> for i in range(5): |
| 100 | ... print(i) |
| 101 | ... |
| 102 | 0 |
| 103 | 1 |
| 104 | 2 |
| 105 | 3 |
| 106 | 4 |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 107 | |
Georg Brandl | 7d82106 | 2010-06-27 10:59:19 +0000 | [diff] [blame] | 108 | 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] | 109 | 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] | 110 | is possible to let the range start at another number, or to specify a different |
| 111 | increment (even negative; sometimes this is called the 'step'):: |
| 112 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 113 | range(5, 10) |
Steven M. Vascellaro | 83d7062 | 2018-03-09 14:57:21 -0500 | [diff] [blame] | 114 | 5, 6, 7, 8, 9 |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 115 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 116 | range(0, 10, 3) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 117 | 0, 3, 6, 9 |
| 118 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 119 | range(-10, -100, -30) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 120 | -10, -40, -70 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 121 | |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 122 | To iterate over the indices of a sequence, you can combine :func:`range` and |
| 123 | :func:`len` as follows:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 124 | |
| 125 | >>> a = ['Mary', 'had', 'a', 'little', 'lamb'] |
| 126 | >>> for i in range(len(a)): |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 127 | ... print(i, a[i]) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 128 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 129 | 0 Mary |
| 130 | 1 had |
| 131 | 2 a |
| 132 | 3 little |
| 133 | 4 lamb |
| 134 | |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 135 | In most such cases, however, it is convenient to use the :func:`enumerate` |
| 136 | function, see :ref:`tut-loopidioms`. |
| 137 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 138 | A strange thing happens if you just print a range:: |
| 139 | |
| 140 | >>> print(range(10)) |
| 141 | range(0, 10) |
| 142 | |
| 143 | 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] | 144 | but in fact it isn't. It is an object which returns the successive items of |
| 145 | the desired sequence when you iterate over it, but it doesn't really make |
| 146 | the list, thus saving space. |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 147 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 148 | 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] | 149 | functions and constructs that expect something from which they can |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 150 | obtain successive items until the supply is exhausted. We have seen that |
Don Kirkby | 3ed4d25 | 2020-02-09 16:57:46 -0800 | [diff] [blame] | 151 | 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] | 152 | that takes an iterable is :func:`sum`:: |
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 | >>> sum(range(4)) # 0 + 1 + 2 + 3 |
| 155 | 6 |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 156 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 157 | Later we will see more functions that return iterables and take iterables as |
| 158 | arguments. Lastly, maybe you are curious about how to get a list from a range. |
| 159 | Here is the solution:: |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 160 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 161 | >>> list(range(4)) |
| 162 | [0, 1, 2, 3] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 163 | |
Marco Buttu | 218e47b | 2019-06-01 23:11:48 +0200 | [diff] [blame] | 164 | In chapter :ref:`tut-structures`, we will discuss in more detail about |
| 165 | :func:`list`. |
Georg Brandl | af265f4 | 2008-12-07 15:06:20 +0000 | [diff] [blame] | 166 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 167 | .. _tut-break: |
| 168 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 169 | :keyword:`!break` and :keyword:`!continue` Statements, and :keyword:`!else` Clauses on Loops |
| 170 | ============================================================================================ |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 171 | |
regexaurus | 36fc896 | 2017-06-27 18:40:41 -0400 | [diff] [blame] | 172 | 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] | 173 | :keyword:`for` or :keyword:`while` loop. |
| 174 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 175 | 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] | 176 | terminates through exhaustion of the iterable (with :keyword:`for`) or when the |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 177 | condition becomes false (with :keyword:`while`), but not when the loop is |
| 178 | terminated by a :keyword:`break` statement. This is exemplified by the |
| 179 | following 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 Brandl | b03c1d9 | 2008-05-01 18:06:50 +0000 | [diff] [blame] | 184 | ... print(n, 'equals', x, '*', n//x) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 185 | ... break |
| 186 | ... else: |
| 187 | ... # loop fell through without finding a factor |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 188 | ... print(n, 'is a prime number') |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 189 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 190 | 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 Brandl | bdbdfb1 | 2011-08-08 21:45:13 +0200 | [diff] [blame] | 199 | (Yes, this is the correct code. Look closely: the ``else`` clause belongs to |
| 200 | the :keyword:`for` loop, **not** the :keyword:`if` statement.) |
| 201 | |
Nick Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 202 | 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] | 203 | ``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 Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 205 | 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] | 206 | occurs. For more on the :keyword:`!try` statement and exceptions, see |
Nick Coghlan | a3a164a | 2012-06-07 22:41:34 +1000 | [diff] [blame] | 207 | :ref:`tut-handling`. |
| 208 | |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 209 | The :keyword:`continue` statement, also borrowed from C, continues with the next |
| 210 | iteration of the loop:: |
| 211 | |
| 212 | >>> for num in range(2, 10): |
Eli Bendersky | 31a1190 | 2012-08-18 09:50:09 +0300 | [diff] [blame] | 213 | ... if num % 2 == 0: |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 214 | ... print("Found an even number", num) |
| 215 | ... continue |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 216 | ... print("Found an odd number", num) |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 217 | Found an even number 2 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 218 | Found an odd number 3 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 219 | Found an even number 4 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 220 | Found an odd number 5 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 221 | Found an even number 6 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 222 | Found an odd number 7 |
Senthil Kumaran | 1ef9caa | 2012-08-12 12:01:47 -0700 | [diff] [blame] | 223 | Found an even number 8 |
Neeraj Samtani | 7bcc645 | 2020-09-15 17:39:29 +0400 | [diff] [blame] | 224 | Found an odd number 9 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 225 | |
| 226 | .. _tut-pass: |
| 227 | |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 228 | :keyword:`!pass` Statements |
| 229 | =========================== |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 230 | |
| 231 | The :keyword:`pass` statement does nothing. It can be used when a statement is |
| 232 | required syntactically but the program requires no action. For example:: |
| 233 | |
| 234 | >>> while True: |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 235 | ... pass # Busy-wait for keyboard interrupt (Ctrl+C) |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 236 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 237 | |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 238 | This is commonly used for creating minimal classes:: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 239 | |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 240 | >>> class MyEmptyClass: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 241 | ... pass |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 242 | ... |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 243 | |
| 244 | 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] | 245 | 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] | 246 | at a more abstract level. The :keyword:`!pass` is silently ignored:: |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 247 | |
| 248 | >>> def initlog(*args): |
Benjamin Peterson | 9203501 | 2008-12-27 16:00:54 +0000 | [diff] [blame] | 249 | ... pass # Remember to implement this! |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 250 | ... |
Georg Brandl | a971c65 | 2008-11-07 09:39:56 +0000 | [diff] [blame] | 251 | |
Daniel F Moisset | a22bca6 | 2021-03-01 04:08:38 +0000 | [diff] [blame] | 252 | |
| 253 | .. _tut-match: |
| 254 | |
| 255 | :keyword:`!match` Statements |
| 256 | ============================ |
| 257 | |
| 258 | A match statement takes an expression and compares its value to successive |
| 259 | patterns given as one or more case blocks. This is superficially |
| 260 | similar to a switch statement in C, Java or JavaScript (and many |
| 261 | other languages), but it can also extract components (sequence elements or |
| 262 | object attributes) from the value into variables. |
| 263 | |
| 264 | The 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 | |
| 277 | Note the last block: the "variable name" ``_`` acts as a *wildcard* and |
| 278 | never fails to match. If no case matches, none of the branches is executed. |
| 279 | |
| 280 | You can combine several literals in a single pattern using ``|`` ("or"):: |
| 281 | |
| 282 | case 401 | 403 | 404: |
| 283 | return "Not allowed" |
| 284 | |
| 285 | Patterns can look like unpacking assignments, and can be used to bind |
| 286 | variables:: |
| 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 | |
| 301 | Study that one carefully! The first pattern has two literals, and can |
| 302 | be thought of as an extension of the literal pattern shown above. But |
| 303 | the next two patterns combine a literal and a variable, and the |
| 304 | variable *binds* a value from the subject (``point``). The fourth |
| 305 | pattern captures two values, which makes it conceptually similar to |
| 306 | the unpacking assignment ``(x, y) = point``. |
| 307 | |
| 308 | If you are using classes to structure your data |
| 309 | you can use the class name followed by an argument list resembling a |
| 310 | constructor, 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 | |
| 329 | You can use positional parameters with some builtin classes that provide an |
| 330 | ordering for their attributes (e.g. dataclasses). You can also define a specific |
| 331 | position for attributes in patterns by setting the ``__match_args__`` special |
| 332 | attribute in your classes. If it's set to ("x", "y"), the following patterns are all |
| 333 | equivalent (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 | |
| 340 | A recommended way to read patterns is to look at them as an extended form of what you |
| 341 | would put on the left of an assignment, to understand which variables would be set to |
| 342 | what. |
| 343 | Only the standalone names (like ``var`` above) are assigned to by a match statement. |
| 344 | Dotted 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 | |
| 347 | Patterns can be arbitrarily nested. For example, if we have a short |
| 348 | list 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 | |
| 362 | We can add an ``if`` clause to a pattern, known as a "guard". If the |
| 363 | guard is false, ``match`` goes on to try the next case block. Note |
| 364 | that 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 | |
| 372 | Several 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 | |
| 415 | For a more detailed explanation and additional examples, you can look into |
| 416 | :pep:`636` which is written in a tutorial format. |
| 417 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 418 | .. _tut-functions: |
| 419 | |
| 420 | Defining Functions |
| 421 | ================== |
| 422 | |
| 423 | We can create a function that writes the Fibonacci series to an arbitrary |
| 424 | boundary:: |
| 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 Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 429 | ... while a < n: |
| 430 | ... print(a, end=' ') |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 431 | ... a, b = b, a+b |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 432 | ... print() |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 433 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 434 | >>> # Now call the function we just defined: |
| 435 | ... fib(2000) |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 436 | 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] | 437 | |
| 438 | .. index:: |
| 439 | single: documentation strings |
| 440 | single: docstrings |
| 441 | single: strings, documentation |
| 442 | |
| 443 | The keyword :keyword:`def` introduces a function *definition*. It must be |
| 444 | followed by the function name and the parenthesized list of formal parameters. |
| 445 | 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] | 446 | must be indented. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 447 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 448 | The first statement of the function body can optionally be a string literal; |
| 449 | this 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 451 | There are tools which use docstrings to automatically produce online or printed |
| 452 | 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] | 453 | 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] | 454 | |
| 455 | The *execution* of a function introduces a new symbol table used for the local |
| 456 | variables of the function. More precisely, all variable assignments in a |
| 457 | function store the value in the local symbol table; whereas variable references |
Georg Brandl | 86def6c | 2008-01-21 20:36:10 +0000 | [diff] [blame] | 458 | first look in the local symbol table, then in the local symbol tables of |
| 459 | enclosing functions, then in the global symbol table, and finally in the table |
pbhd | e1f95e7 | 2019-05-29 05:38:03 +0200 | [diff] [blame] | 460 | of built-in names. Thus, global variables and variables of enclosing functions |
| 461 | cannot be directly assigned a value within a function (unless, for global |
| 462 | variables, named in a :keyword:`global` statement, or, for variables of enclosing |
| 463 | functions, named in a :keyword:`nonlocal` statement), although they may be |
| 464 | referenced. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 465 | |
| 466 | The actual parameters (arguments) to a function call are introduced in the local |
| 467 | symbol table of the called function when it is called; thus, arguments are |
| 468 | passed using *call by value* (where the *value* is always an object *reference*, |
Terry Jan Reedy | b30fcba | 2021-02-19 19:26:21 -0500 | [diff] [blame] | 469 | not the value of the object). [#]_ When a function calls another function, |
| 470 | or calls itself recursively, a new |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 471 | local symbol table is created for that call. |
| 472 | |
Joannah Nanjekye | d12af71 | 2020-07-05 22:47:15 -0300 | [diff] [blame] | 473 | A function definition associates the function name with the function object in |
| 474 | the current symbol table. The interpreter recognizes the object pointed to by |
| 475 | that name as a user-defined function. Other names can also point to that same |
| 476 | function object and can also be used to access the function:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 477 | |
| 478 | >>> fib |
| 479 | <function fib at 10042ed0> |
| 480 | >>> f = fib |
| 481 | >>> f(100) |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 482 | 0 1 1 2 3 5 8 13 21 34 55 89 |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 483 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 484 | Coming from other languages, you might object that ``fib`` is not a function but |
| 485 | a 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 |
| 487 | value is called ``None`` (it's a built-in name). Writing the value ``None`` is |
| 488 | normally suppressed by the interpreter if it would be the only value written. |
| 489 | You can see it if you really want to using :func:`print`:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 490 | |
Georg Brandl | 9afde1c | 2007-11-01 20:32:30 +0000 | [diff] [blame] | 491 | >>> fib(0) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 492 | >>> print(fib(0)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 493 | None |
| 494 | |
| 495 | It is simple to write a function that returns a list of the numbers of the |
| 496 | Fibonacci series, instead of printing it:: |
| 497 | |
Serhiy Storchaka | dba9039 | 2016-05-10 12:01:23 +0300 | [diff] [blame] | 498 | >>> def fib2(n): # return Fibonacci series up to n |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 499 | ... """Return a list containing the Fibonacci series up to n.""" |
| 500 | ... result = [] |
| 501 | ... a, b = 0, 1 |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 502 | ... while a < n: |
| 503 | ... result.append(a) # see below |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 504 | ... a, b = b, a+b |
| 505 | ... return result |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 506 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 507 | >>> f100 = fib2(100) # call it |
| 508 | >>> f100 # write the result |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 509 | [0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89] |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 510 | |
| 511 | This example, as usual, demonstrates some new Python features: |
| 512 | |
| 513 | * The :keyword:`return` statement returns with a value from a function. |
Serhiy Storchaka | 2b57c43 | 2018-12-19 08:09:46 +0200 | [diff] [blame] | 514 | :keyword:`!return` without an expression argument returns ``None``. Falling off |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 515 | the end of a function also returns ``None``. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 516 | |
Mark Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 517 | * The statement ``result.append(a)`` calls a *method* of the list object |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 518 | ``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 Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 523 | object types and methods, using *classes*, see :ref:`tut-classes`) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 524 | 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 Dickinson | c099ee2 | 2009-11-23 16:41:41 +0000 | [diff] [blame] | 526 | ``result = result + [a]``, but more efficient. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 527 | |
| 528 | |
| 529 | .. _tut-defining: |
| 530 | |
| 531 | More on Defining Functions |
| 532 | ========================== |
| 533 | |
| 534 | It is also possible to define functions with a variable number of arguments. |
| 535 | There are three forms, which can be combined. |
| 536 | |
| 537 | |
| 538 | .. _tut-defaultargs: |
| 539 | |
| 540 | Default Argument Values |
| 541 | ----------------------- |
| 542 | |
| 543 | The most useful form is to specify a default value for one or more arguments. |
| 544 | This creates a function that can be called with fewer arguments than it is |
| 545 | defined to allow. For example:: |
| 546 | |
Berker Peksag | 0a5120e | 2016-06-02 11:31:19 -0700 | [diff] [blame] | 547 | def ask_ok(prompt, retries=4, reminder='Please try again!'): |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 548 | while True: |
Georg Brandl | e9af284 | 2007-08-17 05:54:09 +0000 | [diff] [blame] | 549 | ok = input(prompt) |
Georg Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 550 | if ok in ('y', 'ye', 'yes'): |
| 551 | return True |
| 552 | if ok in ('n', 'no', 'nop', 'nope'): |
| 553 | return False |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 554 | retries = retries - 1 |
Collin Winter | 58721bc | 2007-09-10 00:39:52 +0000 | [diff] [blame] | 555 | if retries < 0: |
Berker Peksag | 0a5120e | 2016-06-02 11:31:19 -0700 | [diff] [blame] | 556 | raise ValueError('invalid user response') |
| 557 | print(reminder) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 558 | |
Georg Brandl | c6c3178 | 2009-06-08 13:41:29 +0000 | [diff] [blame] | 559 | This 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 567 | |
| 568 | This example also introduces the :keyword:`in` keyword. This tests whether or |
| 569 | not a sequence contains a certain value. |
| 570 | |
| 571 | The 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 Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 577 | print(arg) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 578 | |
| 579 | i = 6 |
| 580 | f() |
| 581 | |
| 582 | will print ``5``. |
| 583 | |
| 584 | **Important warning:** The default value is evaluated only once. This makes a |
| 585 | difference when the default is a mutable object such as a list, dictionary, or |
| 586 | instances of most classes. For example, the following function accumulates the |
| 587 | arguments passed to it on subsequent calls:: |
| 588 | |
| 589 | def f(a, L=[]): |
| 590 | L.append(a) |
| 591 | return L |
| 592 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 593 | print(f(1)) |
| 594 | print(f(2)) |
| 595 | print(f(3)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 596 | |
| 597 | This will print :: |
| 598 | |
| 599 | [1] |
| 600 | [1, 2] |
| 601 | [1, 2, 3] |
| 602 | |
| 603 | If you don't want the default to be shared between subsequent calls, you can |
| 604 | write 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 | |
| 615 | Keyword Arguments |
| 616 | ----------------- |
| 617 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 618 | Functions can also be called using :term:`keyword arguments <keyword argument>` |
| 619 | of the form ``kwarg=value``. For instance, the following function:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 620 | |
| 621 | def parrot(voltage, state='a stiff', action='voom', type='Norwegian Blue'): |
Georg Brandl | e4ac750 | 2007-09-03 07:10:24 +0000 | [diff] [blame] | 622 | print("-- This parrot wouldn't", action, end=' ') |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 623 | print("if you put", voltage, "volts through it.") |
| 624 | print("-- Lovely plumage, the", type) |
| 625 | print("-- It's", state, "!") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 626 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 627 | accepts one required argument (``voltage``) and three optional arguments |
| 628 | (``state``, ``action``, and ``type``). This function can be called in any |
| 629 | of the following ways:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 630 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 631 | 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 637 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 638 | but all the following calls would be invalid:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 639 | |
| 640 | parrot() # required argument missing |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 641 | 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 644 | |
Ezio Melotti | 7b7e39a | 2011-12-13 15:49:22 +0200 | [diff] [blame] | 645 | In a function call, keyword arguments must follow positional arguments. |
| 646 | All the keyword arguments passed must match one of the arguments |
| 647 | accepted 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 |
| 649 | non-optional arguments (e.g. ``parrot(voltage=1000)`` is valid too). |
| 650 | No argument may receive a value more than once. |
| 651 | Here's an example that fails due to this restriction:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 652 | |
| 653 | >>> def function(a): |
| 654 | ... pass |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 655 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 656 | >>> function(0, a=0) |
| 657 | Traceback (most recent call last): |
UltimateCoder | 8856940 | 2017-05-03 22:16:45 +0530 | [diff] [blame] | 658 | File "<stdin>", line 1, in <module> |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 659 | TypeError: function() got multiple values for keyword argument 'a' |
| 660 | |
| 661 | When a final formal parameter of the form ``**name`` is present, it receives a |
| 662 | dictionary (see :ref:`typesmapping`) containing all keyword arguments except for |
| 663 | those corresponding to a formal parameter. This may be combined with a formal |
| 664 | parameter of the form ``*name`` (described in the next subsection) which |
Julien Palard | 51ddab8 | 2019-05-28 15:10:23 +0200 | [diff] [blame] | 665 | receives a :ref:`tuple <tut-tuples>` containing the positional |
| 666 | arguments beyond the formal parameter list. (``*name`` must occur |
| 667 | before ``**name``.) For example, if we define a function like this:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 668 | |
| 669 | def cheeseshop(kind, *arguments, **keywords): |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 670 | print("-- Do you have any", kind, "?") |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 671 | print("-- I'm sorry, we're all out of", kind) |
Georg Brandl | 70543ac | 2010-10-15 15:32:05 +0000 | [diff] [blame] | 672 | for arg in arguments: |
| 673 | print(arg) |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 674 | print("-" * 40) |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 675 | for kw in keywords: |
Georg Brandl | 70543ac | 2010-10-15 15:32:05 +0000 | [diff] [blame] | 676 | print(kw, ":", keywords[kw]) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 677 | |
| 678 | It could be called like this:: |
| 679 | |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 680 | cheeseshop("Limburger", "It's very runny, sir.", |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 681 | "It's really very, VERY runny, sir.", |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 682 | shopkeeper="Michael Palin", |
| 683 | client="John Cleese", |
| 684 | sketch="Cheese Shop Sketch") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 685 | |
Martin Panter | 1050d2d | 2016-07-26 11:18:21 +0200 | [diff] [blame] | 686 | and of course it would print: |
| 687 | |
| 688 | .. code-block:: none |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 689 | |
| 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 695 | shopkeeper : Michael Palin |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 696 | client : John Cleese |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 697 | sketch : Cheese Shop Sketch |
| 698 | |
Jim Fasarakis-Hilliard | 32e8f9b | 2017-02-21 08:20:23 +0200 | [diff] [blame] | 699 | Note that the order in which the keyword arguments are printed is guaranteed |
| 700 | to match the order in which they were provided in the function call. |
| 701 | |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 702 | Special parameters |
| 703 | ------------------ |
| 704 | |
| 705 | By default, arguments may be passed to a Python function either by position |
| 706 | or explicitly by keyword. For readability and performance, it makes sense to |
| 707 | restrict the way arguments can be passed so that a developer need only look |
| 708 | at the function definition to determine if items are passed by position, by |
| 709 | position or keyword, or by keyword. |
| 710 | |
| 711 | A 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 | |
| 722 | where ``/`` and ``*`` are optional. If used, these symbols indicate the kind of |
| 723 | parameter by how the arguments may be passed to the function: |
| 724 | positional-only, positional-or-keyword, and keyword-only. Keyword parameters |
| 725 | are also referred to as named parameters. |
| 726 | |
| 727 | ------------------------------- |
| 728 | Positional-or-Keyword Arguments |
| 729 | ------------------------------- |
| 730 | |
| 731 | If ``/`` and ``*`` are not present in the function definition, arguments may |
| 732 | be passed to a function by position or by keyword. |
| 733 | |
| 734 | -------------------------- |
| 735 | Positional-Only Parameters |
| 736 | -------------------------- |
| 737 | |
| 738 | Looking at this in a bit more detail, it is possible to mark certain parameters |
| 739 | as *positional-only*. If *positional-only*, the parameters' order matters, and |
| 740 | the parameters cannot be passed by keyword. Positional-only parameters are |
| 741 | placed before a ``/`` (forward-slash). The ``/`` is used to logically |
| 742 | separate the positional-only parameters from the rest of the parameters. |
| 743 | If there is no ``/`` in the function definition, there are no positional-only |
| 744 | parameters. |
| 745 | |
| 746 | Parameters following the ``/`` may be *positional-or-keyword* or *keyword-only*. |
| 747 | |
| 748 | ---------------------- |
| 749 | Keyword-Only Arguments |
| 750 | ---------------------- |
| 751 | |
| 752 | To mark parameters as *keyword-only*, indicating the parameters must be passed |
| 753 | by keyword argument, place an ``*`` in the arguments list just before the first |
| 754 | *keyword-only* parameter. |
| 755 | |
| 756 | ----------------- |
| 757 | Function Examples |
| 758 | ----------------- |
| 759 | |
| 760 | Consider the following example function definitions paying close attention to the |
| 761 | markers ``/`` 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 | |
| 776 | The first function definition, ``standard_arg``, the most familiar form, |
| 777 | places no restrictions on the calling convention and arguments may be |
| 778 | passed by position or keyword:: |
| 779 | |
| 780 | >>> standard_arg(2) |
| 781 | 2 |
| 782 | |
| 783 | >>> standard_arg(arg=2) |
| 784 | 2 |
| 785 | |
| 786 | The second function ``pos_only_arg`` is restricted to only use positional |
| 787 | parameters 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 | |
| 797 | The third function ``kwd_only_args`` only allows keyword arguments as indicated |
| 798 | by 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 | |
| 808 | And the last uses all three calling conventions in the same function |
| 809 | definition:: |
| 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 | |
| 828 | Finally, 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 | |
| 833 | 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] | 834 | will always bind to the first parameter. For example:: |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 835 | |
| 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 | |
| 842 | 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:: |
| 843 | |
| 844 | def foo(name, /, **kwds): |
| 845 | return 'name' in kwds |
| 846 | >>> foo(1, **{'name': 2}) |
| 847 | True |
| 848 | |
| 849 | In other words, the names of positional-only parameters can be used in |
| 850 | ``**kwds`` without ambiguity. |
| 851 | |
| 852 | ----- |
| 853 | Recap |
| 854 | ----- |
| 855 | |
| 856 | The use case will determine which parameters to use in the function definition:: |
| 857 | |
| 858 | def f(pos1, pos2, /, pos_or_kwd, *, kwd1, kwd2): |
| 859 | |
| 860 | As 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 Bezerra | b7af4e7 | 2019-09-16 04:04:58 -0300 | [diff] [blame] | 870 | * For an API, use positional-only to prevent breaking API changes |
Pablo Galindo | b76302d | 2019-05-29 00:45:32 +0100 | [diff] [blame] | 871 | if the parameter's name is modified in the future. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 872 | |
| 873 | .. _tut-arbitraryargs: |
| 874 | |
| 875 | Arbitrary Argument Lists |
| 876 | ------------------------ |
| 877 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 878 | .. index:: |
Serhiy Storchaka | 913876d | 2018-10-28 13:41:26 +0200 | [diff] [blame] | 879 | single: * (asterisk); in function calls |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 880 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 881 | Finally, the least frequently used option is to specify that a function can be |
| 882 | called with an arbitrary number of arguments. These arguments will be wrapped |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 883 | up in a tuple (see :ref:`tut-tuples`). Before the variable number of arguments, |
| 884 | zero or more normal arguments may occur. :: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 885 | |
Georg Brandl | f08a9dd | 2008-06-10 16:57:31 +0000 | [diff] [blame] | 886 | def write_multiple_items(file, separator, *args): |
| 887 | file.write(separator.join(args)) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 888 | |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 889 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 890 | Normally, these ``variadic`` arguments will be last in the list of formal |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 891 | parameters, because they scoop up all remaining input arguments that are |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 892 | passed to the function. Any formal parameters which occur after the ``*args`` |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 893 | 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] | 894 | keywords rather than positional arguments. :: |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 895 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 896 | >>> def concat(*args, sep="/"): |
Serhiy Storchaka | dba9039 | 2016-05-10 12:01:23 +0300 | [diff] [blame] | 897 | ... return sep.join(args) |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 898 | ... |
| 899 | >>> concat("earth", "mars", "venus") |
| 900 | 'earth/mars/venus' |
| 901 | >>> concat("earth", "mars", "venus", sep=".") |
| 902 | 'earth.mars.venus' |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 903 | |
| 904 | .. _tut-unpacking-arguments: |
| 905 | |
| 906 | Unpacking Argument Lists |
| 907 | ------------------------ |
| 908 | |
| 909 | The reverse situation occurs when the arguments are already in a list or tuple |
| 910 | but need to be unpacked for a function call requiring separate positional |
| 911 | arguments. For instance, the built-in :func:`range` function expects separate |
| 912 | *start* and *stop* arguments. If they are not available separately, write the |
Raymond Hettinger | fb28fcc | 2019-03-27 21:03:02 -0700 | [diff] [blame] | 913 | 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] | 914 | or tuple:: |
| 915 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 916 | >>> list(range(3, 6)) # normal call with separate arguments |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 917 | [3, 4, 5] |
| 918 | >>> args = [3, 6] |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 919 | >>> list(range(*args)) # call with arguments unpacked from a list |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 920 | [3, 4, 5] |
| 921 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 922 | .. index:: |
Serhiy Storchaka | ddb961d | 2018-10-26 09:00:49 +0300 | [diff] [blame] | 923 | single: **; in function calls |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 924 | |
Serhiy Storchaka | 3f819ca | 2018-10-31 02:26:06 +0200 | [diff] [blame] | 925 | In the same fashion, dictionaries can deliver keyword arguments with the |
Raymond Hettinger | fb28fcc | 2019-03-27 21:03:02 -0700 | [diff] [blame] | 926 | ``**``\ -operator:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 927 | |
| 928 | >>> def parrot(voltage, state='a stiff', action='voom'): |
Georg Brandl | e4ac750 | 2007-09-03 07:10:24 +0000 | [diff] [blame] | 929 | ... print("-- This parrot wouldn't", action, end=' ') |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 930 | ... print("if you put", voltage, "volts through it.", end=' ') |
| 931 | ... print("E's", state, "!") |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 932 | ... |
| 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 Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 940 | Lambda Expressions |
| 941 | ------------------ |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 942 | |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 943 | Small anonymous functions can be created with the :keyword:`lambda` keyword. |
| 944 | 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] | 945 | Lambda functions can be used wherever function objects are required. They are |
Georg Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 946 | syntactically restricted to a single expression. Semantically, they are just |
| 947 | syntactic sugar for a normal function definition. Like nested function |
| 948 | definitions, lambda functions can reference variables from the containing |
| 949 | scope:: |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 950 | |
| 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 Brandl | de5aff1 | 2013-10-06 10:22:45 +0200 | [diff] [blame] | 960 | The above example uses a lambda expression to return a function. Another use |
| 961 | is 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 Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 968 | |
| 969 | .. _tut-docstrings: |
| 970 | |
| 971 | Documentation Strings |
| 972 | --------------------- |
| 973 | |
| 974 | .. index:: |
| 975 | single: docstrings |
| 976 | single: documentation strings |
| 977 | single: strings, documentation |
| 978 | |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 979 | Here are some conventions about the content and formatting of documentation |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 980 | strings. |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 981 | |
| 982 | The first line should always be a short, concise summary of the object's |
| 983 | purpose. For brevity, it should not explicitly state the object's name or type, |
| 984 | since these are available by other means (except if the name happens to be a |
| 985 | verb describing a function's operation). This line should begin with a capital |
| 986 | letter and end with a period. |
| 987 | |
| 988 | If there are more lines in the documentation string, the second line should be |
| 989 | blank, visually separating the summary from the rest of the description. The |
| 990 | following lines should be one or more paragraphs describing the object's calling |
| 991 | conventions, its side effects, etc. |
| 992 | |
| 993 | The Python parser does not strip indentation from multi-line string literals in |
| 994 | Python, so tools that process documentation have to strip indentation if |
| 995 | desired. 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 |
| 997 | the entire documentation string. (We can't use the first line since it is |
| 998 | generally adjacent to the string's opening quotes so its indentation is not |
| 999 | apparent in the string literal.) Whitespace "equivalent" to this indentation is |
| 1000 | then stripped from the start of all lines of the string. Lines that are |
| 1001 | indented less should not occur, but if they occur all their leading whitespace |
| 1002 | should be stripped. Equivalence of whitespace should be tested after expansion |
| 1003 | of tabs (to 8 spaces, normally). |
| 1004 | |
| 1005 | Here is an example of a multi-line docstring:: |
| 1006 | |
| 1007 | >>> def my_function(): |
| 1008 | ... """Do nothing, but document it. |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 1009 | ... |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1010 | ... No, really, it doesn't do anything. |
| 1011 | ... """ |
| 1012 | ... pass |
Georg Brandl | 48310cd | 2009-01-03 21:18:54 +0000 | [diff] [blame] | 1013 | ... |
Guido van Rossum | 0616b79 | 2007-08-31 03:25:11 +0000 | [diff] [blame] | 1014 | >>> print(my_function.__doc__) |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1015 | Do nothing, but document it. |
| 1016 | |
| 1017 | No, really, it doesn't do anything. |
| 1018 | |
| 1019 | |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1020 | .. _tut-annotations: |
| 1021 | |
| 1022 | Function Annotations |
| 1023 | -------------------- |
| 1024 | |
| 1025 | .. sectionauthor:: Zachary Ware <zachary.ware@gmail.com> |
| 1026 | .. index:: |
| 1027 | pair: function; annotations |
Serhiy Storchaka | ddb961d | 2018-10-26 09:00:49 +0300 | [diff] [blame] | 1028 | single: ->; function annotations |
Serhiy Storchaka | 913876d | 2018-10-28 13:41:26 +0200 | [diff] [blame] | 1029 | single: : (colon); function annotations |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1030 | |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 1031 | :ref:`Function annotations <function>` are completely optional metadata |
Neeraj Badlani | 643ff71 | 2018-04-25 10:52:13 -0700 | [diff] [blame] | 1032 | information about the types used by user-defined functions (see :pep:`3107` and |
| 1033 | :pep:`484` for more information). |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1034 | |
Cheryl Sabella | b7105c9 | 2018-12-24 00:09:09 -0500 | [diff] [blame] | 1035 | :term:`Annotations <function annotation>` are stored in the :attr:`__annotations__` |
| 1036 | attribute of the function as a dictionary and have no effect on any other part of the |
| 1037 | function. Parameter annotations are defined by a colon after the parameter name, followed |
| 1038 | 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] | 1039 | defined by a literal ``->``, followed by an expression, between the parameter |
| 1040 | list and the colon denoting the end of the :keyword:`def` statement. The |
Irit Katriel | a53e9a7 | 2021-03-27 17:20:58 +0000 | [diff] [blame] | 1041 | following example has a required argument, an optional argument, and the return |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 1042 | value annotated:: |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1043 | |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 1044 | >>> def f(ham: str, eggs: str = 'eggs') -> str: |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1045 | ... print("Annotations:", f.__annotations__) |
| 1046 | ... print("Arguments:", ham, eggs) |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 1047 | ... return ham + ' and ' + eggs |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1048 | ... |
Zachary Ware | f3b990e | 2015-04-13 11:30:47 -0500 | [diff] [blame] | 1049 | >>> f('spam') |
| 1050 | Annotations: {'ham': <class 'str'>, 'return': <class 'str'>, 'eggs': <class 'str'>} |
| 1051 | Arguments: spam eggs |
| 1052 | 'spam and eggs' |
Andrew Svetlov | 1491cbd | 2012-11-01 21:26:55 +0200 | [diff] [blame] | 1053 | |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 1054 | .. _tut-codingstyle: |
| 1055 | |
| 1056 | Intermezzo: Coding Style |
| 1057 | ======================== |
| 1058 | |
| 1059 | .. sectionauthor:: Georg Brandl <georg@python.org> |
| 1060 | .. index:: pair: coding; style |
| 1061 | |
| 1062 | Now that you are about to write longer, more complex pieces of Python, it is a |
| 1063 | good time to talk about *coding style*. Most languages can be written (or more |
| 1064 | concise, *formatted*) in different styles; some are more readable than others. |
| 1065 | Making it easy for others to read your code is always a good idea, and adopting |
| 1066 | a nice coding style helps tremendously for that. |
| 1067 | |
Christian Heimes | dae2a89 | 2008-04-19 00:55:37 +0000 | [diff] [blame] | 1068 | 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] | 1069 | it promotes a very readable and eye-pleasing coding style. Every Python |
| 1070 | developer should read it at some point; here are the most important points |
| 1071 | extracted 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 Palard | 2da622f | 2019-07-08 23:06:32 +0200 | [diff] [blame] | 1095 | ``UpperCamelCase`` for classes and ``lowercase_with_underscores`` for functions |
Georg Brandl | 5d955ed | 2008-09-13 17:18:21 +0000 | [diff] [blame] | 1096 | 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 Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 1098 | |
| 1099 | * 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] | 1100 | 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 Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 1106 | |
Georg Brandl | 116aa62 | 2007-08-15 14:28:22 +0000 | [diff] [blame] | 1107 | |
| 1108 | .. rubric:: Footnotes |
| 1109 | |
Christian Heimes | 043d6f6 | 2008-01-07 17:19:16 +0000 | [diff] [blame] | 1110 | .. [#] 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). |