Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1 | \documentclass{howto} |
| 2 | \usepackage{distutils} |
| 3 | % $Id$ |
| 4 | |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 5 | % Fix XXX comments |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 6 | % Count up the patches and bugs |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 7 | |
| 8 | \title{What's New in Python 2.5} |
Andrew M. Kuchling | 99714cf | 2006-04-27 12:23:07 +0000 | [diff] [blame] | 9 | \release{0.2} |
Andrew M. Kuchling | 92e2495 | 2004-12-03 13:54:09 +0000 | [diff] [blame] | 10 | \author{A.M. Kuchling} |
| 11 | \authoraddress{\email{amk@amk.ca}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 12 | |
| 13 | \begin{document} |
| 14 | \maketitle |
| 15 | \tableofcontents |
| 16 | |
| 17 | This article explains the new features in Python 2.5. No release date |
Andrew M. Kuchling | 5eefdca | 2006-02-08 11:36:09 +0000 | [diff] [blame] | 18 | for Python 2.5 has been set; it will probably be released in the |
Andrew M. Kuchling | d96a6ac | 2006-04-04 19:17:34 +0000 | [diff] [blame] | 19 | autumn of 2006. \pep{356} describes the planned release schedule. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 20 | |
Andrew M. Kuchling | 0d660c0 | 2006-04-17 14:01:36 +0000 | [diff] [blame] | 21 | Comments, suggestions, and error reports are welcome; please e-mail them |
| 22 | to the author or open a bug in the Python bug tracker. |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 23 | |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 24 | % XXX Compare with previous release in 2 - 3 sentences here. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 25 | |
| 26 | This article doesn't attempt to provide a complete specification of |
| 27 | the new features, but instead provides a convenient overview. For |
| 28 | full details, you should refer to the documentation for Python 2.5. |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 29 | % XXX add hyperlink when the documentation becomes available online. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 30 | If you want to understand the complete implementation and design |
| 31 | rationale, refer to the PEP for a particular new feature. |
| 32 | |
| 33 | |
| 34 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 35 | \section{PEP 308: Conditional Expressions\label{pep-308}} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 36 | |
Andrew M. Kuchling | e362d93 | 2006-03-09 13:56:25 +0000 | [diff] [blame] | 37 | For a long time, people have been requesting a way to write |
| 38 | conditional expressions, expressions that return value A or value B |
| 39 | depending on whether a Boolean value is true or false. A conditional |
| 40 | expression lets you write a single assignment statement that has the |
| 41 | same effect as the following: |
| 42 | |
| 43 | \begin{verbatim} |
| 44 | if condition: |
| 45 | x = true_value |
| 46 | else: |
| 47 | x = false_value |
| 48 | \end{verbatim} |
| 49 | |
| 50 | There have been endless tedious discussions of syntax on both |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 51 | python-dev and comp.lang.python. A vote was even held that found the |
| 52 | majority of voters wanted conditional expressions in some form, |
| 53 | but there was no syntax that was preferred by a clear majority. |
| 54 | Candidates included C's \code{cond ? true_v : false_v}, |
Andrew M. Kuchling | e362d93 | 2006-03-09 13:56:25 +0000 | [diff] [blame] | 55 | \code{if cond then true_v else false_v}, and 16 other variations. |
| 56 | |
| 57 | GvR eventually chose a surprising syntax: |
| 58 | |
| 59 | \begin{verbatim} |
| 60 | x = true_value if condition else false_value |
| 61 | \end{verbatim} |
| 62 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 63 | Evaluation is still lazy as in existing Boolean expressions, so the |
| 64 | order of evaluation jumps around a bit. The \var{condition} |
| 65 | expression in the middle is evaluated first, and the \var{true_value} |
| 66 | expression is evaluated only if the condition was true. Similarly, |
| 67 | the \var{false_value} expression is only evaluated when the condition |
| 68 | is false. |
Andrew M. Kuchling | e362d93 | 2006-03-09 13:56:25 +0000 | [diff] [blame] | 69 | |
| 70 | This syntax may seem strange and backwards; why does the condition go |
| 71 | in the \emph{middle} of the expression, and not in the front as in C's |
| 72 | \code{c ? x : y}? The decision was checked by applying the new syntax |
| 73 | to the modules in the standard library and seeing how the resulting |
| 74 | code read. In many cases where a conditional expression is used, one |
| 75 | value seems to be the 'common case' and one value is an 'exceptional |
| 76 | case', used only on rarer occasions when the condition isn't met. The |
| 77 | conditional syntax makes this pattern a bit more obvious: |
| 78 | |
| 79 | \begin{verbatim} |
| 80 | contents = ((doc + '\n') if doc else '') |
| 81 | \end{verbatim} |
| 82 | |
| 83 | I read the above statement as meaning ``here \var{contents} is |
Andrew M. Kuchling | d0fcc02 | 2006-03-09 13:57:28 +0000 | [diff] [blame] | 84 | usually assigned a value of \code{doc+'\e n'}; sometimes |
Andrew M. Kuchling | e362d93 | 2006-03-09 13:56:25 +0000 | [diff] [blame] | 85 | \var{doc} is empty, in which special case an empty string is returned.'' |
| 86 | I doubt I will use conditional expressions very often where there |
| 87 | isn't a clear common and uncommon case. |
| 88 | |
| 89 | There was some discussion of whether the language should require |
| 90 | surrounding conditional expressions with parentheses. The decision |
| 91 | was made to \emph{not} require parentheses in the Python language's |
| 92 | grammar, but as a matter of style I think you should always use them. |
| 93 | Consider these two statements: |
| 94 | |
| 95 | \begin{verbatim} |
| 96 | # First version -- no parens |
| 97 | level = 1 if logging else 0 |
| 98 | |
| 99 | # Second version -- with parens |
| 100 | level = (1 if logging else 0) |
| 101 | \end{verbatim} |
| 102 | |
| 103 | In the first version, I think a reader's eye might group the statement |
| 104 | into 'level = 1', 'if logging', 'else 0', and think that the condition |
| 105 | decides whether the assignment to \var{level} is performed. The |
| 106 | second version reads better, in my opinion, because it makes it clear |
| 107 | that the assignment is always performed and the choice is being made |
| 108 | between two values. |
| 109 | |
| 110 | Another reason for including the brackets: a few odd combinations of |
| 111 | list comprehensions and lambdas could look like incorrect conditional |
| 112 | expressions. See \pep{308} for some examples. If you put parentheses |
| 113 | around your conditional expressions, you won't run into this case. |
| 114 | |
| 115 | |
| 116 | \begin{seealso} |
| 117 | |
| 118 | \seepep{308}{Conditional Expressions}{PEP written by |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 119 | Guido van~Rossum and Raymond D. Hettinger; implemented by Thomas |
Andrew M. Kuchling | e362d93 | 2006-03-09 13:56:25 +0000 | [diff] [blame] | 120 | Wouters.} |
| 121 | |
| 122 | \end{seealso} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 123 | |
| 124 | |
| 125 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 126 | \section{PEP 309: Partial Function Application\label{pep-309}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 127 | |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 128 | The \module{functools} module is intended to contain tools for |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 129 | functional-style programming. Currently it only contains a |
| 130 | \class{partial()} function, but new functions will probably be added |
| 131 | in future versions of Python. |
Andrew M. Kuchling | b1c96fd | 2005-03-20 21:42:04 +0000 | [diff] [blame] | 132 | |
Andrew M. Kuchling | 4b000cd | 2005-04-09 15:51:44 +0000 | [diff] [blame] | 133 | For programs written in a functional style, it can be useful to |
| 134 | construct variants of existing functions that have some of the |
| 135 | parameters filled in. Consider a Python function \code{f(a, b, c)}; |
| 136 | you could create a new function \code{g(b, c)} that was equivalent to |
| 137 | \code{f(1, b, c)}. This is called ``partial function application'', |
| 138 | and is provided by the \class{partial} class in the new |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 139 | \module{functools} module. |
Andrew M. Kuchling | 4b000cd | 2005-04-09 15:51:44 +0000 | [diff] [blame] | 140 | |
| 141 | The constructor for \class{partial} takes the arguments |
| 142 | \code{(\var{function}, \var{arg1}, \var{arg2}, ... |
| 143 | \var{kwarg1}=\var{value1}, \var{kwarg2}=\var{value2})}. The resulting |
| 144 | object is callable, so you can just call it to invoke \var{function} |
| 145 | with the filled-in arguments. |
| 146 | |
| 147 | Here's a small but realistic example: |
| 148 | |
| 149 | \begin{verbatim} |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 150 | import functools |
Andrew M. Kuchling | 4b000cd | 2005-04-09 15:51:44 +0000 | [diff] [blame] | 151 | |
| 152 | def log (message, subsystem): |
| 153 | "Write the contents of 'message' to the specified subsystem." |
| 154 | print '%s: %s' % (subsystem, message) |
| 155 | ... |
| 156 | |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 157 | server_log = functools.partial(log, subsystem='server') |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 158 | server_log('Unable to open socket') |
Andrew M. Kuchling | 4b000cd | 2005-04-09 15:51:44 +0000 | [diff] [blame] | 159 | \end{verbatim} |
| 160 | |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 161 | Here's another example, from a program that uses PyGTK. Here a |
Andrew M. Kuchling | 6af7fe0 | 2005-08-02 17:20:36 +0000 | [diff] [blame] | 162 | context-sensitive pop-up menu is being constructed dynamically. The |
| 163 | callback provided for the menu option is a partially applied version |
| 164 | of the \method{open_item()} method, where the first argument has been |
| 165 | provided. |
Andrew M. Kuchling | 4b000cd | 2005-04-09 15:51:44 +0000 | [diff] [blame] | 166 | |
Andrew M. Kuchling | 6af7fe0 | 2005-08-02 17:20:36 +0000 | [diff] [blame] | 167 | \begin{verbatim} |
| 168 | ... |
| 169 | class Application: |
| 170 | def open_item(self, path): |
| 171 | ... |
| 172 | def init (self): |
Andrew M. Kuchling | 0d272bb | 2006-05-31 13:18:56 +0000 | [diff] [blame] | 173 | open_func = functools.partial(self.open_item, item_path) |
Andrew M. Kuchling | 6af7fe0 | 2005-08-02 17:20:36 +0000 | [diff] [blame] | 174 | popup_menu.append( ("Open", open_func, 1) ) |
| 175 | \end{verbatim} |
Andrew M. Kuchling | b1c96fd | 2005-03-20 21:42:04 +0000 | [diff] [blame] | 176 | |
| 177 | |
| 178 | \begin{seealso} |
| 179 | |
| 180 | \seepep{309}{Partial Function Application}{PEP proposed and written by |
| 181 | Peter Harris; implemented by Hye-Shik Chang, with adaptations by |
| 182 | Raymond Hettinger.} |
| 183 | |
| 184 | \end{seealso} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 185 | |
| 186 | |
| 187 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 188 | \section{PEP 314: Metadata for Python Software Packages v1.1\label{pep-314}} |
Fred Drake | db7b002 | 2005-03-20 22:19:47 +0000 | [diff] [blame] | 189 | |
Andrew M. Kuchling | d8d732e | 2005-04-09 23:59:41 +0000 | [diff] [blame] | 190 | Some simple dependency support was added to Distutils. The |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 191 | \function{setup()} function now has \code{requires}, \code{provides}, |
| 192 | and \code{obsoletes} keyword parameters. When you build a source |
| 193 | distribution using the \code{sdist} command, the dependency |
| 194 | information will be recorded in the \file{PKG-INFO} file. |
Andrew M. Kuchling | d8d732e | 2005-04-09 23:59:41 +0000 | [diff] [blame] | 195 | |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 196 | Another new keyword parameter is \code{download_url}, which should be |
| 197 | set to a URL for the package's source code. This means it's now |
| 198 | possible to look up an entry in the package index, determine the |
| 199 | dependencies for a package, and download the required packages. |
Andrew M. Kuchling | d8d732e | 2005-04-09 23:59:41 +0000 | [diff] [blame] | 200 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 201 | \begin{verbatim} |
| 202 | VERSION = '1.0' |
| 203 | setup(name='PyPackage', |
| 204 | version=VERSION, |
| 205 | requires=['numarray', 'zlib (>=1.1.4)'], |
| 206 | obsoletes=['OldPackage'] |
| 207 | download_url=('http://www.example.com/pypackage/dist/pkg-%s.tar.gz' |
| 208 | % VERSION), |
| 209 | ) |
| 210 | \end{verbatim} |
Andrew M. Kuchling | c0a0dec | 2006-05-16 16:27:31 +0000 | [diff] [blame] | 211 | |
| 212 | Another new enhancement to the Python package index at |
| 213 | \url{http://cheeseshop.python.org} is storing source and binary |
| 214 | archives for a package. The new \command{upload} Distutils command |
| 215 | will upload a package to the repository. |
| 216 | |
| 217 | Before a package can be uploaded, you must be able to build a |
| 218 | distribution using the \command{sdist} Distutils command. Once that |
| 219 | works, you can run \code{python setup.py upload} to add your package |
| 220 | to the PyPI archive. Optionally you can GPG-sign the package by |
| 221 | supplying the \longprogramopt{sign} and |
| 222 | \longprogramopt{identity} options. |
| 223 | |
| 224 | Package uploading was implemented by Martin von~L\"owis and Richard Jones. |
Andrew M. Kuchling | d8d732e | 2005-04-09 23:59:41 +0000 | [diff] [blame] | 225 | |
| 226 | \begin{seealso} |
| 227 | |
| 228 | \seepep{314}{Metadata for Python Software Packages v1.1}{PEP proposed |
| 229 | and written by A.M. Kuchling, Richard Jones, and Fred Drake; |
| 230 | implemented by Richard Jones and Fred Drake.} |
| 231 | |
| 232 | \end{seealso} |
Fred Drake | db7b002 | 2005-03-20 22:19:47 +0000 | [diff] [blame] | 233 | |
| 234 | |
| 235 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 236 | \section{PEP 328: Absolute and Relative Imports\label{pep-328}} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 237 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 238 | The simpler part of PEP 328 was implemented in Python 2.4: parentheses |
| 239 | could now be used to enclose the names imported from a module using |
| 240 | the \code{from ... import ...} statement, making it easier to import |
| 241 | many different names. |
| 242 | |
| 243 | The more complicated part has been implemented in Python 2.5: |
| 244 | importing a module can be specified to use absolute or |
| 245 | package-relative imports. The plan is to move toward making absolute |
| 246 | imports the default in future versions of Python. |
| 247 | |
| 248 | Let's say you have a package directory like this: |
| 249 | \begin{verbatim} |
| 250 | pkg/ |
| 251 | pkg/__init__.py |
| 252 | pkg/main.py |
| 253 | pkg/string.py |
| 254 | \end{verbatim} |
| 255 | |
| 256 | This defines a package named \module{pkg} containing the |
| 257 | \module{pkg.main} and \module{pkg.string} submodules. |
| 258 | |
| 259 | Consider the code in the \file{main.py} module. What happens if it |
| 260 | executes the statement \code{import string}? In Python 2.4 and |
| 261 | earlier, it will first look in the package's directory to perform a |
| 262 | relative import, finds \file{pkg/string.py}, imports the contents of |
| 263 | that file as the \module{pkg.string} module, and that module is bound |
| 264 | to the name \samp{string} in the \module{pkg.main} module's namespace. |
| 265 | |
| 266 | That's fine if \module{pkg.string} was what you wanted. But what if |
| 267 | you wanted Python's standard \module{string} module? There's no clean |
| 268 | way to ignore \module{pkg.string} and look for the standard module; |
| 269 | generally you had to look at the contents of \code{sys.modules}, which |
| 270 | is slightly unclean. |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 271 | Holger Krekel's \module{py.std} package provides a tidier way to perform |
| 272 | imports from the standard library, \code{import py ; py.std.string.join()}, |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 273 | but that package isn't available on all Python installations. |
| 274 | |
| 275 | Reading code which relies on relative imports is also less clear, |
| 276 | because a reader may be confused about which module, \module{string} |
| 277 | or \module{pkg.string}, is intended to be used. Python users soon |
| 278 | learned not to duplicate the names of standard library modules in the |
| 279 | names of their packages' submodules, but you can't protect against |
| 280 | having your submodule's name being used for a new module added in a |
| 281 | future version of Python. |
| 282 | |
| 283 | In Python 2.5, you can switch \keyword{import}'s behaviour to |
| 284 | absolute imports using a \code{from __future__ import absolute_import} |
| 285 | directive. This absolute-import behaviour will become the default in |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 286 | a future version (probably Python 2.7). Once absolute imports |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 287 | are the default, \code{import string} will |
| 288 | always find the standard library's version. |
| 289 | It's suggested that users should begin using absolute imports as much |
| 290 | as possible, so it's preferable to begin writing \code{from pkg import |
| 291 | string} in your code. |
| 292 | |
| 293 | Relative imports are still possible by adding a leading period |
| 294 | to the module name when using the \code{from ... import} form: |
| 295 | |
| 296 | \begin{verbatim} |
| 297 | # Import names from pkg.string |
| 298 | from .string import name1, name2 |
| 299 | # Import pkg.string |
| 300 | from . import string |
| 301 | \end{verbatim} |
| 302 | |
| 303 | This imports the \module{string} module relative to the current |
| 304 | package, so in \module{pkg.main} this will import \var{name1} and |
| 305 | \var{name2} from \module{pkg.string}. Additional leading periods |
| 306 | perform the relative import starting from the parent of the current |
| 307 | package. For example, code in the \module{A.B.C} module can do: |
| 308 | |
| 309 | \begin{verbatim} |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 310 | from . import D # Imports A.B.D |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 311 | from .. import E # Imports A.E |
| 312 | from ..F import G # Imports A.F.G |
| 313 | \end{verbatim} |
| 314 | |
| 315 | Leading periods cannot be used with the \code{import \var{modname}} |
| 316 | form of the import statement, only the \code{from ... import} form. |
| 317 | |
| 318 | \begin{seealso} |
| 319 | |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 320 | \seepep{328}{Imports: Multi-Line and Absolute/Relative} |
| 321 | {PEP written by Aahz; implemented by Thomas Wouters.} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 322 | |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 323 | \seeurl{http://codespeak.net/py/current/doc/index.html} |
| 324 | {The py library by Holger Krekel, which contains the \module{py.std} package.} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 325 | |
| 326 | \end{seealso} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 327 | |
| 328 | |
| 329 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 330 | \section{PEP 338: Executing Modules as Scripts\label{pep-338}} |
Andrew M. Kuchling | 21d3a7c | 2006-03-15 11:53:09 +0000 | [diff] [blame] | 331 | |
Andrew M. Kuchling | b182db4 | 2006-03-17 21:48:46 +0000 | [diff] [blame] | 332 | The \programopt{-m} switch added in Python 2.4 to execute a module as |
| 333 | a script gained a few more abilities. Instead of being implemented in |
| 334 | C code inside the Python interpreter, the switch now uses an |
| 335 | implementation in a new module, \module{runpy}. |
| 336 | |
| 337 | The \module{runpy} module implements a more sophisticated import |
| 338 | mechanism so that it's now possible to run modules in a package such |
| 339 | as \module{pychecker.checker}. The module also supports alternative |
Andrew M. Kuchling | 5d4cf5e | 2006-04-13 13:02:42 +0000 | [diff] [blame] | 340 | import mechanisms such as the \module{zipimport} module. This means |
Andrew M. Kuchling | b182db4 | 2006-03-17 21:48:46 +0000 | [diff] [blame] | 341 | you can add a .zip archive's path to \code{sys.path} and then use the |
| 342 | \programopt{-m} switch to execute code from the archive. |
| 343 | |
| 344 | |
| 345 | \begin{seealso} |
| 346 | |
| 347 | \seepep{338}{Executing modules as scripts}{PEP written and |
| 348 | implemented by Nick Coghlan.} |
| 349 | |
| 350 | \end{seealso} |
Andrew M. Kuchling | 21d3a7c | 2006-03-15 11:53:09 +0000 | [diff] [blame] | 351 | |
| 352 | |
| 353 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 354 | \section{PEP 341: Unified try/except/finally\label{pep-341}} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 355 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 356 | Until Python 2.5, the \keyword{try} statement came in two |
| 357 | flavours. You could use a \keyword{finally} block to ensure that code |
Andrew M. Kuchling | 0f1955d | 2006-04-13 12:09:08 +0000 | [diff] [blame] | 358 | is always executed, or one or more \keyword{except} blocks to catch |
| 359 | specific exceptions. You couldn't combine both \keyword{except} blocks and a |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 360 | \keyword{finally} block, because generating the right bytecode for the |
| 361 | combined version was complicated and it wasn't clear what the |
| 362 | semantics of the combined should be. |
| 363 | |
| 364 | GvR spent some time working with Java, which does support the |
| 365 | equivalent of combining \keyword{except} blocks and a |
| 366 | \keyword{finally} block, and this clarified what the statement should |
| 367 | mean. In Python 2.5, you can now write: |
| 368 | |
| 369 | \begin{verbatim} |
| 370 | try: |
| 371 | block-1 ... |
| 372 | except Exception1: |
| 373 | handler-1 ... |
| 374 | except Exception2: |
| 375 | handler-2 ... |
| 376 | else: |
| 377 | else-block |
| 378 | finally: |
| 379 | final-block |
| 380 | \end{verbatim} |
| 381 | |
| 382 | The code in \var{block-1} is executed. If the code raises an |
Andrew M. Kuchling | 356af46 | 2006-05-10 17:19:04 +0000 | [diff] [blame] | 383 | exception, the various \keyword{except} blocks are tested: if the |
| 384 | exception is of class \class{Exception1}, \var{handler-1} is executed; |
| 385 | otherwise if it's of class \class{Exception2}, \var{handler-2} is |
| 386 | executed, and so forth. If no exception is raised, the |
| 387 | \var{else-block} is executed. |
| 388 | |
| 389 | No matter what happened previously, the \var{final-block} is executed |
| 390 | once the code block is complete and any raised exceptions handled. |
| 391 | Even if there's an error in an exception handler or the |
| 392 | \var{else-block} and a new exception is raised, the |
| 393 | code in the \var{final-block} is still run. |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 394 | |
| 395 | \begin{seealso} |
| 396 | |
| 397 | \seepep{341}{Unifying try-except and try-finally}{PEP written by Georg Brandl; |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 398 | implementation by Thomas Lee.} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 399 | |
| 400 | \end{seealso} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 401 | |
| 402 | |
| 403 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 404 | \section{PEP 342: New Generator Features\label{pep-342}} |
Andrew M. Kuchling | a2e21cb | 2005-08-02 17:13:21 +0000 | [diff] [blame] | 405 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 406 | Python 2.5 adds a simple way to pass values \emph{into} a generator. |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 407 | As introduced in Python 2.3, generators only produce output; once a |
Andrew M. Kuchling | 1e9f574 | 2006-05-20 19:25:16 +0000 | [diff] [blame] | 408 | generator's code was invoked to create an iterator, there was no way to |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 409 | pass any new information into the function when its execution is |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 410 | resumed. Sometimes the ability to pass in some information would be |
| 411 | useful. Hackish solutions to this include making the generator's code |
| 412 | look at a global variable and then changing the global variable's |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 413 | value, or passing in some mutable object that callers then modify. |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 414 | |
| 415 | To refresh your memory of basic generators, here's a simple example: |
| 416 | |
| 417 | \begin{verbatim} |
| 418 | def counter (maximum): |
| 419 | i = 0 |
| 420 | while i < maximum: |
| 421 | yield i |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 422 | i += 1 |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 423 | \end{verbatim} |
| 424 | |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 425 | When you call \code{counter(10)}, the result is an iterator that |
| 426 | returns the values from 0 up to 9. On encountering the |
| 427 | \keyword{yield} statement, the iterator returns the provided value and |
| 428 | suspends the function's execution, preserving the local variables. |
| 429 | Execution resumes on the following call to the iterator's |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 430 | \method{next()} method, picking up after the \keyword{yield} statement. |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 431 | |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 432 | In Python 2.3, \keyword{yield} was a statement; it didn't return any |
| 433 | value. In 2.5, \keyword{yield} is now an expression, returning a |
| 434 | value that can be assigned to a variable or otherwise operated on: |
Andrew M. Kuchling | a2e21cb | 2005-08-02 17:13:21 +0000 | [diff] [blame] | 435 | |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 436 | \begin{verbatim} |
| 437 | val = (yield i) |
| 438 | \end{verbatim} |
| 439 | |
| 440 | I recommend that you always put parentheses around a \keyword{yield} |
| 441 | expression when you're doing something with the returned value, as in |
| 442 | the above example. The parentheses aren't always necessary, but it's |
| 443 | easier to always add them instead of having to remember when they're |
Andrew M. Kuchling | 3b675d2 | 2006-04-20 13:43:21 +0000 | [diff] [blame] | 444 | needed. |
| 445 | |
| 446 | (\pep{342} explains the exact rules, which are that a |
| 447 | \keyword{yield}-expression must always be parenthesized except when it |
| 448 | occurs at the top-level expression on the right-hand side of an |
| 449 | assignment. This means you can write \code{val = yield i} but have to |
| 450 | use parentheses when there's an operation, as in \code{val = (yield i) |
| 451 | + 12}.) |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 452 | |
| 453 | Values are sent into a generator by calling its |
| 454 | \method{send(\var{value})} method. The generator's code is then |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 455 | resumed and the \keyword{yield} expression returns the specified |
| 456 | \var{value}. If the regular \method{next()} method is called, the |
| 457 | \keyword{yield} returns \constant{None}. |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 458 | |
| 459 | Here's the previous example, modified to allow changing the value of |
| 460 | the internal counter. |
| 461 | |
| 462 | \begin{verbatim} |
| 463 | def counter (maximum): |
| 464 | i = 0 |
| 465 | while i < maximum: |
| 466 | val = (yield i) |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 467 | # If value provided, change counter |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 468 | if val is not None: |
| 469 | i = val |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 470 | else: |
| 471 | i += 1 |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 472 | \end{verbatim} |
| 473 | |
| 474 | And here's an example of changing the counter: |
| 475 | |
| 476 | \begin{verbatim} |
| 477 | >>> it = counter(10) |
| 478 | >>> print it.next() |
| 479 | 0 |
| 480 | >>> print it.next() |
| 481 | 1 |
| 482 | >>> print it.send(8) |
| 483 | 8 |
| 484 | >>> print it.next() |
| 485 | 9 |
| 486 | >>> print it.next() |
| 487 | Traceback (most recent call last): |
| 488 | File ``t.py'', line 15, in ? |
| 489 | print it.next() |
| 490 | StopIteration |
Andrew M. Kuchling | c203370 | 2005-08-29 13:30:12 +0000 | [diff] [blame] | 491 | \end{verbatim} |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 492 | |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 493 | Because \keyword{yield} will often be returning \constant{None}, you |
| 494 | should always check for this case. Don't just use its value in |
| 495 | expressions unless you're sure that the \method{send()} method |
| 496 | will be the only method used resume your generator function. |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 497 | |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 498 | In addition to \method{send()}, there are two other new methods on |
| 499 | generators: |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 500 | |
| 501 | \begin{itemize} |
| 502 | |
| 503 | \item \method{throw(\var{type}, \var{value}=None, |
| 504 | \var{traceback}=None)} is used to raise an exception inside the |
| 505 | generator; the exception is raised by the \keyword{yield} expression |
| 506 | where the generator's execution is paused. |
| 507 | |
| 508 | \item \method{close()} raises a new \exception{GeneratorExit} |
| 509 | exception inside the generator to terminate the iteration. |
| 510 | On receiving this |
| 511 | exception, the generator's code must either raise |
| 512 | \exception{GeneratorExit} or \exception{StopIteration}; catching the |
| 513 | exception and doing anything else is illegal and will trigger |
| 514 | a \exception{RuntimeError}. \method{close()} will also be called by |
Andrew M. Kuchling | 3cdf24b | 2006-05-25 00:23:03 +0000 | [diff] [blame] | 515 | Python's garbage collector when the generator is garbage-collected. |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 516 | |
Andrew M. Kuchling | 3cdf24b | 2006-05-25 00:23:03 +0000 | [diff] [blame] | 517 | If you need to run cleanup code when a \exception{GeneratorExit} occurs, |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 518 | I suggest using a \code{try: ... finally:} suite instead of |
| 519 | catching \exception{GeneratorExit}. |
| 520 | |
| 521 | \end{itemize} |
| 522 | |
| 523 | The cumulative effect of these changes is to turn generators from |
| 524 | one-way producers of information into both producers and consumers. |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 525 | |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 526 | Generators also become \emph{coroutines}, a more generalized form of |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 527 | subroutines. Subroutines are entered at one point and exited at |
Andrew M. Kuchling | 1e9f574 | 2006-05-20 19:25:16 +0000 | [diff] [blame] | 528 | another point (the top of the function, and a \keyword{return} |
| 529 | statement), but coroutines can be entered, exited, and resumed at |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 530 | many different points (the \keyword{yield} statements). We'll have to |
| 531 | figure out patterns for using coroutines effectively in Python. |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 532 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 533 | The addition of the \method{close()} method has one side effect that |
| 534 | isn't obvious. \method{close()} is called when a generator is |
| 535 | garbage-collected, so this means the generator's code gets one last |
Andrew M. Kuchling | 3b4fb04 | 2006-04-13 12:49:39 +0000 | [diff] [blame] | 536 | chance to run before the generator is destroyed. This last chance |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 537 | means that \code{try...finally} statements in generators can now be |
| 538 | guaranteed to work; the \keyword{finally} clause will now always get a |
| 539 | chance to run. The syntactic restriction that you couldn't mix |
| 540 | \keyword{yield} statements with a \code{try...finally} suite has |
| 541 | therefore been removed. This seems like a minor bit of language |
| 542 | trivia, but using generators and \code{try...finally} is actually |
| 543 | necessary in order to implement the \keyword{with} statement |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 544 | described by PEP 343. I'll look at this new statement in the following |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 545 | section. |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 546 | |
Andrew M. Kuchling | 3b4fb04 | 2006-04-13 12:49:39 +0000 | [diff] [blame] | 547 | Another even more esoteric effect of this change: previously, the |
| 548 | \member{gi_frame} attribute of a generator was always a frame object. |
| 549 | It's now possible for \member{gi_frame} to be \code{None} |
| 550 | once the generator has been exhausted. |
| 551 | |
Andrew M. Kuchling | a2e21cb | 2005-08-02 17:13:21 +0000 | [diff] [blame] | 552 | \begin{seealso} |
| 553 | |
| 554 | \seepep{342}{Coroutines via Enhanced Generators}{PEP written by |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 555 | Guido van~Rossum and Phillip J. Eby; |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 556 | implemented by Phillip J. Eby. Includes examples of |
| 557 | some fancier uses of generators as coroutines.} |
| 558 | |
| 559 | \seeurl{http://en.wikipedia.org/wiki/Coroutine}{The Wikipedia entry for |
| 560 | coroutines.} |
| 561 | |
Neal Norwitz | 0917988 | 2006-03-04 23:31:45 +0000 | [diff] [blame] | 562 | \seeurl{http://www.sidhe.org/\~{}dan/blog/archives/000178.html}{An |
Andrew M. Kuchling | 0738206 | 2005-08-27 18:45:47 +0000 | [diff] [blame] | 563 | explanation of coroutines from a Perl point of view, written by Dan |
| 564 | Sugalski.} |
Andrew M. Kuchling | a2e21cb | 2005-08-02 17:13:21 +0000 | [diff] [blame] | 565 | |
| 566 | \end{seealso} |
| 567 | |
| 568 | |
| 569 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 570 | \section{PEP 343: The 'with' statement\label{pep-343}} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 571 | |
Andrew M. Kuchling | 0a7ed8c | 2006-04-24 14:30:47 +0000 | [diff] [blame] | 572 | The '\keyword{with}' statement clarifies code that previously would |
| 573 | use \code{try...finally} blocks to ensure that clean-up code is |
| 574 | executed. In this section, I'll discuss the statement as it will |
| 575 | commonly be used. In the next section, I'll examine the |
| 576 | implementation details and show how to write objects for use with this |
| 577 | statement. |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 578 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 579 | The '\keyword{with}' statement is a new control-flow structure whose |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 580 | basic structure is: |
| 581 | |
| 582 | \begin{verbatim} |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 583 | with expression [as variable]: |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 584 | with-block |
| 585 | \end{verbatim} |
| 586 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 587 | The expression is evaluated, and it should result in an object that |
| 588 | supports the context management protocol. This object may return a |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 589 | value that can optionally be bound to the name \var{variable}. (Note |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 590 | carefully that \var{variable} is \emph{not} assigned the result of |
| 591 | \var{expression}.) The object can then run set-up code |
| 592 | before \var{with-block} is executed and some clean-up code |
| 593 | is executed after the block is done, even if the block raised an exception. |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 594 | |
| 595 | To enable the statement in Python 2.5, you need |
| 596 | to add the following directive to your module: |
| 597 | |
| 598 | \begin{verbatim} |
| 599 | from __future__ import with_statement |
| 600 | \end{verbatim} |
| 601 | |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 602 | The statement will always be enabled in Python 2.6. |
| 603 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 604 | Some standard Python objects now support the context management |
| 605 | protocol and can be used with the '\keyword{with}' statement. File |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 606 | objects are one example: |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 607 | |
| 608 | \begin{verbatim} |
| 609 | with open('/etc/passwd', 'r') as f: |
| 610 | for line in f: |
| 611 | print line |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 612 | ... more processing code ... |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 613 | \end{verbatim} |
| 614 | |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 615 | After this statement has executed, the file object in \var{f} will |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 616 | have been automatically closed, even if the 'for' loop |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 617 | raised an exception part-way through the block. |
| 618 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 619 | The \module{threading} module's locks and condition variables |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 620 | also support the '\keyword{with}' statement: |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 621 | |
| 622 | \begin{verbatim} |
| 623 | lock = threading.Lock() |
| 624 | with lock: |
| 625 | # Critical section of code |
| 626 | ... |
| 627 | \end{verbatim} |
| 628 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 629 | The lock is acquired before the block is executed and always released once |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 630 | the block is complete. |
| 631 | |
| 632 | The \module{decimal} module's contexts, which encapsulate the desired |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 633 | precision and rounding characteristics for computations, provide a |
| 634 | \method{context_manager()} method for getting a context manager: |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 635 | |
| 636 | \begin{verbatim} |
| 637 | import decimal |
| 638 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 639 | # Displays with default precision of 28 digits |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 640 | v1 = decimal.Decimal('578') |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 641 | print v1.sqrt() |
| 642 | |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 643 | ctx = decimal.Context(prec=16) |
| 644 | with ctx.context_manager(): |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 645 | # All code in this block uses a precision of 16 digits. |
| 646 | # The original context is restored on exiting the block. |
| 647 | print v1.sqrt() |
| 648 | \end{verbatim} |
| 649 | |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 650 | \subsection{Writing Context Managers\label{context-managers}} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 651 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 652 | Under the hood, the '\keyword{with}' statement is fairly complicated. |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 653 | Most people will only use '\keyword{with}' in company with existing |
Andrew M. Kuchling | 0a7ed8c | 2006-04-24 14:30:47 +0000 | [diff] [blame] | 654 | objects and don't need to know these details, so you can skip the rest |
| 655 | of this section if you like. Authors of new objects will need to |
| 656 | understand the details of the underlying implementation and should |
| 657 | keep reading. |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 658 | |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 659 | A high-level explanation of the context management protocol is: |
| 660 | |
| 661 | \begin{itemize} |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 662 | |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 663 | \item The expression is evaluated and should result in an object |
| 664 | called a ``context manager''. The context manager must have |
Andrew M. Kuchling | 0a7ed8c | 2006-04-24 14:30:47 +0000 | [diff] [blame] | 665 | \method{__enter__()} and \method{__exit__()} methods. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 666 | |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 667 | \item The context manager's \method{__enter__()} method is called. The value |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 668 | returned is assigned to \var{VAR}. If no \code{'as \var{VAR}'} clause |
| 669 | is present, the value is simply discarded. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 670 | |
| 671 | \item The code in \var{BLOCK} is executed. |
| 672 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 673 | \item If \var{BLOCK} raises an exception, the |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 674 | \method{__exit__(\var{type}, \var{value}, \var{traceback})} is called |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 675 | with the exception details, the same values returned by |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 676 | \function{sys.exc_info()}. The method's return value controls whether |
| 677 | the exception is re-raised: any false value re-raises the exception, |
| 678 | and \code{True} will result in suppressing it. You'll only rarely |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 679 | want to suppress the exception, because if you do |
| 680 | the author of the code containing the |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 681 | '\keyword{with}' statement will never realize anything went wrong. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 682 | |
| 683 | \item If \var{BLOCK} didn't raise an exception, |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 684 | the \method{__exit__()} method is still called, |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 685 | but \var{type}, \var{value}, and \var{traceback} are all \code{None}. |
| 686 | |
| 687 | \end{itemize} |
| 688 | |
| 689 | Let's think through an example. I won't present detailed code but |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 690 | will only sketch the methods necessary for a database that supports |
| 691 | transactions. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 692 | |
| 693 | (For people unfamiliar with database terminology: a set of changes to |
| 694 | the database are grouped into a transaction. Transactions can be |
| 695 | either committed, meaning that all the changes are written into the |
| 696 | database, or rolled back, meaning that the changes are all discarded |
| 697 | and the database is unchanged. See any database textbook for more |
| 698 | information.) |
| 699 | % XXX find a shorter reference? |
| 700 | |
| 701 | Let's assume there's an object representing a database connection. |
| 702 | Our goal will be to let the user write code like this: |
| 703 | |
| 704 | \begin{verbatim} |
| 705 | db_connection = DatabaseConnection() |
| 706 | with db_connection as cursor: |
| 707 | cursor.execute('insert into ...') |
| 708 | cursor.execute('delete from ...') |
| 709 | # ... more operations ... |
| 710 | \end{verbatim} |
| 711 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 712 | The transaction should be committed if the code in the block |
| 713 | runs flawlessly or rolled back if there's an exception. |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 714 | Here's the basic interface |
| 715 | for \class{DatabaseConnection} that I'll assume: |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 716 | |
| 717 | \begin{verbatim} |
| 718 | class DatabaseConnection: |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 719 | # Database interface |
| 720 | def cursor (self): |
| 721 | "Returns a cursor object and starts a new transaction" |
| 722 | def commit (self): |
| 723 | "Commits current transaction" |
| 724 | def rollback (self): |
| 725 | "Rolls back current transaction" |
| 726 | \end{verbatim} |
| 727 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 728 | The \method {__enter__()} method is pretty easy, having only to start |
| 729 | a new transaction. For this application the resulting cursor object |
| 730 | would be a useful result, so the method will return it. The user can |
| 731 | then add \code{as cursor} to their '\keyword{with}' statement to bind |
| 732 | the cursor to a variable name. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 733 | |
| 734 | \begin{verbatim} |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 735 | class DatabaseConnection: |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 736 | ... |
| 737 | def __enter__ (self): |
| 738 | # Code to start a new transaction |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 739 | cursor = self.cursor() |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 740 | return cursor |
| 741 | \end{verbatim} |
| 742 | |
| 743 | The \method{__exit__()} method is the most complicated because it's |
| 744 | where most of the work has to be done. The method has to check if an |
| 745 | exception occurred. If there was no exception, the transaction is |
| 746 | committed. The transaction is rolled back if there was an exception. |
Andrew M. Kuchling | 0a7ed8c | 2006-04-24 14:30:47 +0000 | [diff] [blame] | 747 | |
| 748 | In the code below, execution will just fall off the end of the |
| 749 | function, returning the default value of \code{None}. \code{None} is |
| 750 | false, so the exception will be re-raised automatically. If you |
| 751 | wished, you could be more explicit and add a \keyword{return} |
| 752 | statement at the marked location. |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 753 | |
| 754 | \begin{verbatim} |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 755 | class DatabaseConnection: |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 756 | ... |
| 757 | def __exit__ (self, type, value, tb): |
| 758 | if tb is None: |
| 759 | # No exception, so commit |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 760 | self.commit() |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 761 | else: |
| 762 | # Exception occurred, so rollback. |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 763 | self.rollback() |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 764 | # return False |
| 765 | \end{verbatim} |
| 766 | |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 767 | |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 768 | \subsection{The contextlib module\label{module-contextlib}} |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 769 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 770 | The new \module{contextlib} module provides some functions and a |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 771 | decorator that are useful for writing objects for use with the |
| 772 | '\keyword{with}' statement. |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 773 | |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 774 | The decorator is called \function{contextfactory}, and lets you write |
| 775 | a single generator function instead of defining a new class. The generator |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 776 | should yield exactly one value. The code up to the \keyword{yield} |
| 777 | will be executed as the \method{__enter__()} method, and the value |
| 778 | yielded will be the method's return value that will get bound to the |
| 779 | variable in the '\keyword{with}' statement's \keyword{as} clause, if |
| 780 | any. The code after the \keyword{yield} will be executed in the |
| 781 | \method{__exit__()} method. Any exception raised in the block will be |
| 782 | raised by the \keyword{yield} statement. |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 783 | |
| 784 | Our database example from the previous section could be written |
| 785 | using this decorator as: |
| 786 | |
| 787 | \begin{verbatim} |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 788 | from contextlib import contextfactory |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 789 | |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 790 | @contextfactory |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 791 | def db_transaction (connection): |
| 792 | cursor = connection.cursor() |
| 793 | try: |
| 794 | yield cursor |
| 795 | except: |
| 796 | connection.rollback() |
| 797 | raise |
| 798 | else: |
| 799 | connection.commit() |
| 800 | |
| 801 | db = DatabaseConnection() |
| 802 | with db_transaction(db) as cursor: |
| 803 | ... |
| 804 | \end{verbatim} |
| 805 | |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 806 | The \module{contextlib} module also has a \function{nested(\var{mgr1}, |
Andrew M. Kuchling | f322d68 | 2006-05-02 22:47:49 +0000 | [diff] [blame] | 807 | \var{mgr2}, ...)} function that combines a number of context managers so you |
Andrew M. Kuchling | d798a18 | 2006-04-25 12:47:25 +0000 | [diff] [blame] | 808 | don't need to write nested '\keyword{with}' statements. In this |
| 809 | example, the single '\keyword{with}' statement both starts a database |
| 810 | transaction and acquires a thread lock: |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 811 | |
| 812 | \begin{verbatim} |
| 813 | lock = threading.Lock() |
| 814 | with nested (db_transaction(db), lock) as (cursor, locked): |
| 815 | ... |
| 816 | \end{verbatim} |
| 817 | |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 818 | Finally, the \function{closing(\var{object})} function |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 819 | returns \var{object} so that it can be bound to a variable, |
| 820 | and calls \code{\var{object}.close()} at the end of the block. |
| 821 | |
| 822 | \begin{verbatim} |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 823 | import urllib, sys |
| 824 | from contextlib import closing |
| 825 | |
| 826 | with closing(urllib.urlopen('http://www.yahoo.com')) as f: |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 827 | for line in f: |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 828 | sys.stdout.write(line) |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 829 | \end{verbatim} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 830 | |
| 831 | \begin{seealso} |
| 832 | |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 833 | \seepep{343}{The ``with'' statement}{PEP written by Guido van~Rossum |
| 834 | and Nick Coghlan; implemented by Mike Bland, Guido van~Rossum, and |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 835 | Neal Norwitz. The PEP shows the code generated for a '\keyword{with}' |
Andrew M. Kuchling | edb575e | 2006-04-23 21:01:04 +0000 | [diff] [blame] | 836 | statement, which can be helpful in learning how the statement works.} |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 837 | |
| 838 | \seeurl{../lib/module-contextlib.html}{The documentation |
| 839 | for the \module{contextlib} module.} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 840 | |
| 841 | \end{seealso} |
| 842 | |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 843 | |
| 844 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 845 | \section{PEP 352: Exceptions as New-Style Classes\label{pep-352}} |
Andrew M. Kuchling | 8f4d255 | 2006-03-08 01:50:20 +0000 | [diff] [blame] | 846 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 847 | Exception classes can now be new-style classes, not just classic |
| 848 | classes, and the built-in \exception{Exception} class and all the |
| 849 | standard built-in exceptions (\exception{NameError}, |
| 850 | \exception{ValueError}, etc.) are now new-style classes. |
Andrew M. Kuchling | aeadf95 | 2006-03-09 19:06:05 +0000 | [diff] [blame] | 851 | |
| 852 | The inheritance hierarchy for exceptions has been rearranged a bit. |
| 853 | In 2.5, the inheritance relationships are: |
| 854 | |
| 855 | \begin{verbatim} |
| 856 | BaseException # New in Python 2.5 |
| 857 | |- KeyboardInterrupt |
| 858 | |- SystemExit |
| 859 | |- Exception |
| 860 | |- (all other current built-in exceptions) |
| 861 | \end{verbatim} |
| 862 | |
| 863 | This rearrangement was done because people often want to catch all |
| 864 | exceptions that indicate program errors. \exception{KeyboardInterrupt} and |
| 865 | \exception{SystemExit} aren't errors, though, and usually represent an explicit |
| 866 | action such as the user hitting Control-C or code calling |
| 867 | \function{sys.exit()}. A bare \code{except:} will catch all exceptions, |
| 868 | so you commonly need to list \exception{KeyboardInterrupt} and |
| 869 | \exception{SystemExit} in order to re-raise them. The usual pattern is: |
| 870 | |
| 871 | \begin{verbatim} |
| 872 | try: |
| 873 | ... |
| 874 | except (KeyboardInterrupt, SystemExit): |
| 875 | raise |
| 876 | except: |
| 877 | # Log error... |
| 878 | # Continue running program... |
| 879 | \end{verbatim} |
| 880 | |
| 881 | In Python 2.5, you can now write \code{except Exception} to achieve |
| 882 | the same result, catching all the exceptions that usually indicate errors |
| 883 | but leaving \exception{KeyboardInterrupt} and |
| 884 | \exception{SystemExit} alone. As in previous versions, |
| 885 | a bare \code{except:} still catches all exceptions. |
| 886 | |
| 887 | The goal for Python 3.0 is to require any class raised as an exception |
| 888 | to derive from \exception{BaseException} or some descendant of |
| 889 | \exception{BaseException}, and future releases in the |
| 890 | Python 2.x series may begin to enforce this constraint. Therefore, I |
| 891 | suggest you begin making all your exception classes derive from |
| 892 | \exception{Exception} now. It's been suggested that the bare |
| 893 | \code{except:} form should be removed in Python 3.0, but Guido van~Rossum |
| 894 | hasn't decided whether to do this or not. |
| 895 | |
| 896 | Raising of strings as exceptions, as in the statement \code{raise |
| 897 | "Error occurred"}, is deprecated in Python 2.5 and will trigger a |
| 898 | warning. The aim is to be able to remove the string-exception feature |
| 899 | in a few releases. |
| 900 | |
| 901 | |
| 902 | \begin{seealso} |
| 903 | |
Andrew M. Kuchling | c3749a9 | 2006-04-04 19:14:41 +0000 | [diff] [blame] | 904 | \seepep{352}{Required Superclass for Exceptions}{PEP written by |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 905 | Brett Cannon and Guido van~Rossum; implemented by Brett Cannon.} |
Andrew M. Kuchling | aeadf95 | 2006-03-09 19:06:05 +0000 | [diff] [blame] | 906 | |
| 907 | \end{seealso} |
Andrew M. Kuchling | 8f4d255 | 2006-03-08 01:50:20 +0000 | [diff] [blame] | 908 | |
| 909 | |
| 910 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 911 | \section{PEP 353: Using ssize_t as the index type\label{pep-353}} |
Andrew M. Kuchling | c3749a9 | 2006-04-04 19:14:41 +0000 | [diff] [blame] | 912 | |
| 913 | A wide-ranging change to Python's C API, using a new |
| 914 | \ctype{Py_ssize_t} type definition instead of \ctype{int}, |
| 915 | will permit the interpreter to handle more data on 64-bit platforms. |
| 916 | This change doesn't affect Python's capacity on 32-bit platforms. |
| 917 | |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 918 | Various pieces of the Python interpreter used C's \ctype{int} type to |
| 919 | store sizes or counts; for example, the number of items in a list or |
| 920 | tuple were stored in an \ctype{int}. The C compilers for most 64-bit |
| 921 | platforms still define \ctype{int} as a 32-bit type, so that meant |
| 922 | that lists could only hold up to \code{2**31 - 1} = 2147483647 items. |
| 923 | (There are actually a few different programming models that 64-bit C |
| 924 | compilers can use -- see |
| 925 | \url{http://www.unix.org/version2/whatsnew/lp64_wp.html} for a |
| 926 | discussion -- but the most commonly available model leaves \ctype{int} |
| 927 | as 32 bits.) |
| 928 | |
| 929 | A limit of 2147483647 items doesn't really matter on a 32-bit platform |
| 930 | because you'll run out of memory before hitting the length limit. |
| 931 | Each list item requires space for a pointer, which is 4 bytes, plus |
| 932 | space for a \ctype{PyObject} representing the item. 2147483647*4 is |
| 933 | already more bytes than a 32-bit address space can contain. |
| 934 | |
| 935 | It's possible to address that much memory on a 64-bit platform, |
| 936 | however. The pointers for a list that size would only require 16GiB |
| 937 | of space, so it's not unreasonable that Python programmers might |
| 938 | construct lists that large. Therefore, the Python interpreter had to |
| 939 | be changed to use some type other than \ctype{int}, and this will be a |
| 940 | 64-bit type on 64-bit platforms. The change will cause |
| 941 | incompatibilities on 64-bit machines, so it was deemed worth making |
| 942 | the transition now, while the number of 64-bit users is still |
| 943 | relatively small. (In 5 or 10 years, we may \emph{all} be on 64-bit |
| 944 | machines, and the transition would be more painful then.) |
| 945 | |
| 946 | This change most strongly affects authors of C extension modules. |
| 947 | Python strings and container types such as lists and tuples |
| 948 | now use \ctype{Py_ssize_t} to store their size. |
| 949 | Functions such as \cfunction{PyList_Size()} |
| 950 | now return \ctype{Py_ssize_t}. Code in extension modules |
| 951 | may therefore need to have some variables changed to |
| 952 | \ctype{Py_ssize_t}. |
| 953 | |
| 954 | The \cfunction{PyArg_ParseTuple()} and \cfunction{Py_BuildValue()} functions |
| 955 | have a new conversion code, \samp{n}, for \ctype{Py_ssize_t}. |
Andrew M. Kuchling | a4d651f | 2006-04-06 13:24:58 +0000 | [diff] [blame] | 956 | \cfunction{PyArg_ParseTuple()}'s \samp{s\#} and \samp{t\#} still output |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 957 | \ctype{int} by default, but you can define the macro |
| 958 | \csimplemacro{PY_SSIZE_T_CLEAN} before including \file{Python.h} |
| 959 | to make them return \ctype{Py_ssize_t}. |
| 960 | |
| 961 | \pep{353} has a section on conversion guidelines that |
| 962 | extension authors should read to learn about supporting 64-bit |
| 963 | platforms. |
Andrew M. Kuchling | c3749a9 | 2006-04-04 19:14:41 +0000 | [diff] [blame] | 964 | |
| 965 | \begin{seealso} |
| 966 | |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 967 | \seepep{353}{Using ssize_t as the index type}{PEP written and implemented by Martin von~L\"owis.} |
Andrew M. Kuchling | c3749a9 | 2006-04-04 19:14:41 +0000 | [diff] [blame] | 968 | |
| 969 | \end{seealso} |
| 970 | |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 971 | |
Andrew M. Kuchling | c3749a9 | 2006-04-04 19:14:41 +0000 | [diff] [blame] | 972 | %====================================================================== |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 973 | \section{PEP 357: The '__index__' method\label{pep-357}} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 974 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 975 | The NumPy developers had a problem that could only be solved by adding |
| 976 | a new special method, \method{__index__}. When using slice notation, |
Fred Drake | 1c0e328 | 2006-04-02 03:30:06 +0000 | [diff] [blame] | 977 | as in \code{[\var{start}:\var{stop}:\var{step}]}, the values of the |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 978 | \var{start}, \var{stop}, and \var{step} indexes must all be either |
| 979 | integers or long integers. NumPy defines a variety of specialized |
| 980 | integer types corresponding to unsigned and signed integers of 8, 16, |
| 981 | 32, and 64 bits, but there was no way to signal that these types could |
| 982 | be used as slice indexes. |
| 983 | |
| 984 | Slicing can't just use the existing \method{__int__} method because |
| 985 | that method is also used to implement coercion to integers. If |
| 986 | slicing used \method{__int__}, floating-point numbers would also |
| 987 | become legal slice indexes and that's clearly an undesirable |
| 988 | behaviour. |
| 989 | |
| 990 | Instead, a new special method called \method{__index__} was added. It |
| 991 | takes no arguments and returns an integer giving the slice index to |
| 992 | use. For example: |
| 993 | |
| 994 | \begin{verbatim} |
| 995 | class C: |
| 996 | def __index__ (self): |
| 997 | return self.value |
| 998 | \end{verbatim} |
| 999 | |
| 1000 | The return value must be either a Python integer or long integer. |
| 1001 | The interpreter will check that the type returned is correct, and |
| 1002 | raises a \exception{TypeError} if this requirement isn't met. |
| 1003 | |
| 1004 | A corresponding \member{nb_index} slot was added to the C-level |
| 1005 | \ctype{PyNumberMethods} structure to let C extensions implement this |
| 1006 | protocol. \cfunction{PyNumber_Index(\var{obj})} can be used in |
| 1007 | extension code to call the \method{__index__} function and retrieve |
| 1008 | its result. |
| 1009 | |
| 1010 | \begin{seealso} |
| 1011 | |
| 1012 | \seepep{357}{Allowing Any Object to be Used for Slicing}{PEP written |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 1013 | and implemented by Travis Oliphant.} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1014 | |
| 1015 | \end{seealso} |
Andrew M. Kuchling | 437567c | 2006-03-07 20:48:55 +0000 | [diff] [blame] | 1016 | |
| 1017 | |
| 1018 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1019 | \section{Other Language Changes\label{other-lang}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1020 | |
| 1021 | Here are all of the changes that Python 2.5 makes to the core Python |
| 1022 | language. |
| 1023 | |
| 1024 | \begin{itemize} |
Andrew M. Kuchling | 1cae3f5 | 2004-12-03 14:57:21 +0000 | [diff] [blame] | 1025 | |
Andrew M. Kuchling | c709584 | 2006-04-14 12:41:19 +0000 | [diff] [blame] | 1026 | \item The \class{dict} type has a new hook for letting subclasses |
| 1027 | provide a default value when a key isn't contained in the dictionary. |
| 1028 | When a key isn't found, the dictionary's |
| 1029 | \method{__missing__(\var{key})} |
| 1030 | method will be called. This hook is used to implement |
| 1031 | the new \class{defaultdict} class in the \module{collections} |
| 1032 | module. The following example defines a dictionary |
| 1033 | that returns zero for any missing key: |
| 1034 | |
| 1035 | \begin{verbatim} |
| 1036 | class zerodict (dict): |
| 1037 | def __missing__ (self, key): |
| 1038 | return 0 |
| 1039 | |
| 1040 | d = zerodict({1:1, 2:2}) |
| 1041 | print d[1], d[2] # Prints 1, 2 |
| 1042 | print d[3], d[4] # Prints 0, 0 |
| 1043 | \end{verbatim} |
| 1044 | |
Andrew M. Kuchling | afe6598 | 2006-05-26 18:41:18 +0000 | [diff] [blame] | 1045 | \item Both 8-bit and Unicode strings have new \method{partition(sep)} |
| 1046 | and \method{rpartition(sep)} methods that simplify a common use case. |
Andrew M. Kuchling | ad0cb65 | 2006-05-26 12:39:48 +0000 | [diff] [blame] | 1047 | The \method{find(S)} method is often used to get an index which is |
| 1048 | then used to slice the string and obtain the pieces that are before |
Andrew M. Kuchling | afe6598 | 2006-05-26 18:41:18 +0000 | [diff] [blame] | 1049 | and after the separator. |
| 1050 | |
| 1051 | \method{partition(sep)} condenses this |
Andrew M. Kuchling | ad0cb65 | 2006-05-26 12:39:48 +0000 | [diff] [blame] | 1052 | pattern into a single method call that returns a 3-tuple containing |
| 1053 | the substring before the separator, the separator itself, and the |
| 1054 | substring after the separator. If the separator isn't found, the |
| 1055 | first element of the tuple is the entire string and the other two |
Andrew M. Kuchling | afe6598 | 2006-05-26 18:41:18 +0000 | [diff] [blame] | 1056 | elements are empty. \method{rpartition(sep)} also returns a 3-tuple |
| 1057 | but starts searching from the end of the string; the \samp{r} stands |
| 1058 | for 'reverse'. |
| 1059 | |
| 1060 | Some examples: |
Andrew M. Kuchling | ad0cb65 | 2006-05-26 12:39:48 +0000 | [diff] [blame] | 1061 | |
| 1062 | \begin{verbatim} |
| 1063 | >>> ('http://www.python.org').partition('://') |
| 1064 | ('http', '://', 'www.python.org') |
| 1065 | >>> (u'Subject: a quick question').partition(':') |
| 1066 | (u'Subject', u':', u' a quick question') |
| 1067 | >>> ('file:/usr/share/doc/index.html').partition('://') |
| 1068 | ('file:/usr/share/doc/index.html', '', '') |
Andrew M. Kuchling | afe6598 | 2006-05-26 18:41:18 +0000 | [diff] [blame] | 1069 | >>> 'www.python.org'.rpartition('.') |
| 1070 | ('www.python', '.', 'org') |
Andrew M. Kuchling | ad0cb65 | 2006-05-26 12:39:48 +0000 | [diff] [blame] | 1071 | \end{verbatim} |
| 1072 | |
| 1073 | (Implemented by Fredrik Lundh following a suggestion by Raymond Hettinger.) |
| 1074 | |
Andrew M. Kuchling | 1cae3f5 | 2004-12-03 14:57:21 +0000 | [diff] [blame] | 1075 | \item The \function{min()} and \function{max()} built-in functions |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1076 | gained a \code{key} keyword parameter analogous to the \code{key} |
| 1077 | argument for \method{sort()}. This parameter supplies a function that |
Andrew M. Kuchling | c709584 | 2006-04-14 12:41:19 +0000 | [diff] [blame] | 1078 | takes a single argument and is called for every value in the list; |
Andrew M. Kuchling | 1cae3f5 | 2004-12-03 14:57:21 +0000 | [diff] [blame] | 1079 | \function{min()}/\function{max()} will return the element with the |
| 1080 | smallest/largest return value from this function. |
| 1081 | For example, to find the longest string in a list, you can do: |
| 1082 | |
| 1083 | \begin{verbatim} |
| 1084 | L = ['medium', 'longest', 'short'] |
| 1085 | # Prints 'longest' |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1086 | print max(L, key=len) |
Andrew M. Kuchling | 1cae3f5 | 2004-12-03 14:57:21 +0000 | [diff] [blame] | 1087 | # Prints 'short', because lexicographically 'short' has the largest value |
| 1088 | print max(L) |
| 1089 | \end{verbatim} |
| 1090 | |
| 1091 | (Contributed by Steven Bethard and Raymond Hettinger.) |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1092 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1093 | \item Two new built-in functions, \function{any()} and |
| 1094 | \function{all()}, evaluate whether an iterator contains any true or |
| 1095 | false values. \function{any()} returns \constant{True} if any value |
| 1096 | returned by the iterator is true; otherwise it will return |
| 1097 | \constant{False}. \function{all()} returns \constant{True} only if |
| 1098 | all of the values returned by the iterator evaluate as being true. |
Andrew M. Kuchling | 6e3a66d | 2006-04-07 12:46:06 +0000 | [diff] [blame] | 1099 | (Suggested by GvR, and implemented by Raymond Hettinger.) |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1100 | |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 1101 | \item ASCII is now the default encoding for modules. It's now |
| 1102 | a syntax error if a module contains string literals with 8-bit |
| 1103 | characters but doesn't have an encoding declaration. In Python 2.4 |
| 1104 | this triggered a warning, not a syntax error. See \pep{263} |
| 1105 | for how to declare a module's encoding; for example, you might add |
| 1106 | a line like this near the top of the source file: |
| 1107 | |
| 1108 | \begin{verbatim} |
| 1109 | # -*- coding: latin1 -*- |
| 1110 | \end{verbatim} |
| 1111 | |
Andrew M. Kuchling | c923611 | 2006-04-30 01:07:09 +0000 | [diff] [blame] | 1112 | \item One error that Python programmers sometimes make is forgetting |
| 1113 | to include an \file{__init__.py} module in a package directory. |
| 1114 | Debugging this mistake can be confusing, and usually requires running |
| 1115 | Python with the \programopt{-v} switch to log all the paths searched. |
| 1116 | In Python 2.5, a new \exception{ImportWarning} warning is raised when |
| 1117 | an import would have picked up a directory as a package but no |
| 1118 | \file{__init__.py} was found. (Implemented by Thomas Wouters.) |
| 1119 | |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1120 | \item The list of base classes in a class definition can now be empty. |
| 1121 | As an example, this is now legal: |
| 1122 | |
| 1123 | \begin{verbatim} |
| 1124 | class C(): |
| 1125 | pass |
| 1126 | \end{verbatim} |
| 1127 | (Implemented by Brett Cannon.) |
| 1128 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1129 | \end{itemize} |
| 1130 | |
| 1131 | |
| 1132 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1133 | \subsection{Interactive Interpreter Changes\label{interactive}} |
Andrew M. Kuchling | da37604 | 2006-03-17 15:56:41 +0000 | [diff] [blame] | 1134 | |
| 1135 | In the interactive interpreter, \code{quit} and \code{exit} |
| 1136 | have long been strings so that new users get a somewhat helpful message |
| 1137 | when they try to quit: |
| 1138 | |
| 1139 | \begin{verbatim} |
| 1140 | >>> quit |
| 1141 | 'Use Ctrl-D (i.e. EOF) to exit.' |
| 1142 | \end{verbatim} |
| 1143 | |
| 1144 | In Python 2.5, \code{quit} and \code{exit} are now objects that still |
| 1145 | produce string representations of themselves, but are also callable. |
| 1146 | Newbies who try \code{quit()} or \code{exit()} will now exit the |
| 1147 | interpreter as they expect. (Implemented by Georg Brandl.) |
| 1148 | |
| 1149 | |
| 1150 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1151 | \subsection{Optimizations\label{opts}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1152 | |
Andrew M. Kuchling | c602723 | 2006-05-23 12:44:36 +0000 | [diff] [blame] | 1153 | Several of the optimizations were developed at the NeedForSpeed |
| 1154 | sprint, an event held in Reykjavik, Iceland, from May 21--28 2006. |
| 1155 | The sprint focused on speed enhancements to the CPython implementation |
| 1156 | and was funded by EWT LLC with local support from CCP Games. Those |
| 1157 | optimizations added at this sprint are specially marked in the |
| 1158 | following list. |
| 1159 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1160 | \begin{itemize} |
| 1161 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1162 | \item When they were introduced |
| 1163 | in Python 2.4, the built-in \class{set} and \class{frozenset} types |
| 1164 | were built on top of Python's dictionary type. |
| 1165 | In 2.5 the internal data structure has been customized for implementing sets, |
| 1166 | and as a result sets will use a third less memory and are somewhat faster. |
| 1167 | (Implemented by Raymond Hettinger.) |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1168 | |
Andrew M. Kuchling | 3e134a5 | 2006-05-23 12:49:35 +0000 | [diff] [blame] | 1169 | \item The speed of some Unicode operations, such as |
Andrew M. Kuchling | 150faff | 2006-05-23 19:29:38 +0000 | [diff] [blame] | 1170 | finding substrings, string splitting, and character map decoding, has |
| 1171 | been improved. (Substring search and splitting improvements were |
| 1172 | added by Fredrik Lundh and Andrew Dalke at the NeedForSpeed |
| 1173 | sprint. Character map decoding was improved by Walter D\"orwald.) |
Andrew M. Kuchling | 45bb98e | 2006-04-16 19:53:27 +0000 | [diff] [blame] | 1174 | % Patch 1313939 |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1175 | |
Andrew M. Kuchling | 3cdf24b | 2006-05-25 00:23:03 +0000 | [diff] [blame] | 1176 | \item The \function{long(\var{str}, \var{base})} function is now |
| 1177 | faster on long digit strings because fewer intermediate results are |
| 1178 | calculated. The peak is for strings of around 800--1000 digits where |
| 1179 | the function is 6 times faster. |
| 1180 | (Contributed by Alan McIntyre and committed at the NeedForSpeed sprint.) |
| 1181 | % Patch 1442927 |
| 1182 | |
Andrew M. Kuchling | 70bd199 | 2006-05-23 19:32:35 +0000 | [diff] [blame] | 1183 | \item The \module{struct} module now compiles structure format |
| 1184 | strings into an internal representation and caches this |
| 1185 | representation, yielding a 20\% speedup. (Contributed by Bob Ippolito |
| 1186 | at the NeedForSpeed sprint.) |
| 1187 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1188 | \item The code generator's peephole optimizer now performs |
| 1189 | simple constant folding in expressions. If you write something like |
| 1190 | \code{a = 2+3}, the code generator will do the arithmetic and produce |
| 1191 | code corresponding to \code{a = 5}. |
| 1192 | |
Andrew M. Kuchling | c602723 | 2006-05-23 12:44:36 +0000 | [diff] [blame] | 1193 | \item Function calls are now faster because code objects now keep |
| 1194 | the most recently finished frame (a ``zombie frame'') in an internal |
| 1195 | field of the code object, reusing it the next time the code object is |
| 1196 | invoked. (Original patch by Michael Hudson, modified by Armin Rigo |
| 1197 | and Richard Jones; committed at the NeedForSpeed sprint.) |
| 1198 | % Patch 876206 |
| 1199 | |
Andrew M. Kuchling | 150faff | 2006-05-23 19:29:38 +0000 | [diff] [blame] | 1200 | Frame objects are also slightly smaller, which may improve cache locality |
| 1201 | and reduce memory usage a bit. (Contributed by Neal Norwitz.) |
| 1202 | % Patch 1337051 |
| 1203 | |
Andrew M. Kuchling | dae266e | 2006-05-27 13:44:37 +0000 | [diff] [blame] | 1204 | \item Python's built-in exceptions are now new-style classes, a change |
| 1205 | that speeds up instantiation considerably. Exception handling in |
| 1206 | Python 2.5 is therefore about 30\% faster than in 2.4. |
Richard Jones | 87f5471 | 2006-05-27 13:50:42 +0000 | [diff] [blame] | 1207 | (Contributed by Richard Jones, Georg Brandl and Sean Reifschneider at |
| 1208 | the NeedForSpeed sprint.) |
Andrew M. Kuchling | dae266e | 2006-05-27 13:44:37 +0000 | [diff] [blame] | 1209 | |
Andrew M. Kuchling | afe6598 | 2006-05-26 18:41:18 +0000 | [diff] [blame] | 1210 | \item Importing now caches the paths tried, recording whether |
| 1211 | they exist or not so that the interpreter makes fewer |
| 1212 | \cfunction{open()} and \cfunction{stat()} calls on startup. |
| 1213 | (Contributed by Martin von~L\"owis and Georg Brandl.) |
| 1214 | % Patch 921466 |
| 1215 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1216 | \end{itemize} |
| 1217 | |
| 1218 | The net result of the 2.5 optimizations is that Python 2.5 runs the |
Andrew M. Kuchling | 9c67ee0 | 2006-04-04 19:07:27 +0000 | [diff] [blame] | 1219 | pystone benchmark around XXX\% faster than Python 2.4. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1220 | |
| 1221 | |
| 1222 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1223 | \section{New, Improved, and Removed Modules\label{modules}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1224 | |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 1225 | The standard library received many enhancements and bug fixes in |
| 1226 | Python 2.5. Here's a partial list of the most notable changes, sorted |
| 1227 | alphabetically by module name. Consult the \file{Misc/NEWS} file in |
| 1228 | the source tree for a more complete list of changes, or look through |
| 1229 | the SVN logs for all the details. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1230 | |
| 1231 | \begin{itemize} |
| 1232 | |
Andrew M. Kuchling | 6fc6976 | 2006-04-13 12:37:21 +0000 | [diff] [blame] | 1233 | \item The \module{audioop} module now supports the a-LAW encoding, |
| 1234 | and the code for u-LAW encoding has been improved. (Contributed by |
| 1235 | Lars Immisch.) |
| 1236 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1237 | \item The \module{codecs} module gained support for incremental |
| 1238 | codecs. The \function{codec.lookup()} function now |
| 1239 | returns a \class{CodecInfo} instance instead of a tuple. |
| 1240 | \class{CodecInfo} instances behave like a 4-tuple to preserve backward |
| 1241 | compatibility but also have the attributes \member{encode}, |
| 1242 | \member{decode}, \member{incrementalencoder}, \member{incrementaldecoder}, |
| 1243 | \member{streamwriter}, and \member{streamreader}. Incremental codecs |
| 1244 | can receive input and produce output in multiple chunks; the output is |
| 1245 | the same as if the entire input was fed to the non-incremental codec. |
| 1246 | See the \module{codecs} module documentation for details. |
| 1247 | (Designed and implemented by Walter D\"orwald.) |
| 1248 | % Patch 1436130 |
| 1249 | |
Andrew M. Kuchling | c709584 | 2006-04-14 12:41:19 +0000 | [diff] [blame] | 1250 | \item The \module{collections} module gained a new type, |
| 1251 | \class{defaultdict}, that subclasses the standard \class{dict} |
| 1252 | type. The new type mostly behaves like a dictionary but constructs a |
| 1253 | default value when a key isn't present, automatically adding it to the |
| 1254 | dictionary for the requested key value. |
| 1255 | |
| 1256 | The first argument to \class{defaultdict}'s constructor is a factory |
| 1257 | function that gets called whenever a key is requested but not found. |
| 1258 | This factory function receives no arguments, so you can use built-in |
| 1259 | type constructors such as \function{list()} or \function{int()}. For |
| 1260 | example, |
| 1261 | you can make an index of words based on their initial letter like this: |
| 1262 | |
| 1263 | \begin{verbatim} |
| 1264 | words = """Nel mezzo del cammin di nostra vita |
| 1265 | mi ritrovai per una selva oscura |
| 1266 | che la diritta via era smarrita""".lower().split() |
| 1267 | |
| 1268 | index = defaultdict(list) |
| 1269 | |
| 1270 | for w in words: |
| 1271 | init_letter = w[0] |
| 1272 | index[init_letter].append(w) |
| 1273 | \end{verbatim} |
| 1274 | |
| 1275 | Printing \code{index} results in the following output: |
| 1276 | |
| 1277 | \begin{verbatim} |
| 1278 | defaultdict(<type 'list'>, {'c': ['cammin', 'che'], 'e': ['era'], |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1279 | 'd': ['del', 'di', 'diritta'], 'm': ['mezzo', 'mi'], |
| 1280 | 'l': ['la'], 'o': ['oscura'], 'n': ['nel', 'nostra'], |
| 1281 | 'p': ['per'], 's': ['selva', 'smarrita'], |
| 1282 | 'r': ['ritrovai'], 'u': ['una'], 'v': ['vita', 'via']} |
Andrew M. Kuchling | c709584 | 2006-04-14 12:41:19 +0000 | [diff] [blame] | 1283 | \end{verbatim} |
| 1284 | |
| 1285 | The \class{deque} double-ended queue type supplied by the |
| 1286 | \module{collections} module now has a \method{remove(\var{value})} |
| 1287 | method that removes the first occurrence of \var{value} in the queue, |
| 1288 | raising \exception{ValueError} if the value isn't found. |
| 1289 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1290 | \item New module: The \module{contextlib} module contains helper functions for use |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1291 | with the new '\keyword{with}' statement. See |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1292 | section~\ref{module-contextlib} for more about this module. |
Andrew M. Kuchling | de0a23f | 2006-04-16 18:45:11 +0000 | [diff] [blame] | 1293 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1294 | \item New module: The \module{cProfile} module is a C implementation of |
Andrew M. Kuchling | c709584 | 2006-04-14 12:41:19 +0000 | [diff] [blame] | 1295 | the existing \module{profile} module that has much lower overhead. |
| 1296 | The module's interface is the same as \module{profile}: you run |
| 1297 | \code{cProfile.run('main()')} to profile a function, can save profile |
| 1298 | data to a file, etc. It's not yet known if the Hotshot profiler, |
| 1299 | which is also written in C but doesn't match the \module{profile} |
| 1300 | module's interface, will continue to be maintained in future versions |
| 1301 | of Python. (Contributed by Armin Rigo.) |
| 1302 | |
Andrew M. Kuchling | 0a7ed8c | 2006-04-24 14:30:47 +0000 | [diff] [blame] | 1303 | Also, the \module{pstats} module for analyzing the data measured by |
| 1304 | the profiler now supports directing the output to any file object |
Andrew M. Kuchling | e78eeb1 | 2006-04-21 13:26:42 +0000 | [diff] [blame] | 1305 | by supplying a \var{stream} argument to the \class{Stats} constructor. |
| 1306 | (Contributed by Skip Montanaro.) |
| 1307 | |
Andrew M. Kuchling | 952f196 | 2006-04-18 12:38:19 +0000 | [diff] [blame] | 1308 | \item The \module{csv} module, which parses files in |
| 1309 | comma-separated value format, received several enhancements and a |
| 1310 | number of bugfixes. You can now set the maximum size in bytes of a |
| 1311 | field by calling the \method{csv.field_size_limit(\var{new_limit})} |
| 1312 | function; omitting the \var{new_limit} argument will return the |
| 1313 | currently-set limit. The \class{reader} class now has a |
| 1314 | \member{line_num} attribute that counts the number of physical lines |
| 1315 | read from the source; records can span multiple physical lines, so |
| 1316 | \member{line_num} is not the same as the number of records read. |
| 1317 | (Contributed by Skip Montanaro and Andrew McNamara.) |
| 1318 | |
Andrew M. Kuchling | 6719131 | 2006-04-19 12:55:39 +0000 | [diff] [blame] | 1319 | \item The \class{datetime} class in the \module{datetime} |
| 1320 | module now has a \method{strptime(\var{string}, \var{format})} |
| 1321 | method for parsing date strings, contributed by Josh Spoerri. |
| 1322 | It uses the same format characters as \function{time.strptime()} and |
| 1323 | \function{time.strftime()}: |
| 1324 | |
| 1325 | \begin{verbatim} |
| 1326 | from datetime import datetime |
| 1327 | |
| 1328 | ts = datetime.strptime('10:13:15 2006-03-07', |
| 1329 | '%H:%M:%S %Y-%m-%d') |
| 1330 | \end{verbatim} |
| 1331 | |
Andrew M. Kuchling | b33842a | 2006-04-25 12:31:38 +0000 | [diff] [blame] | 1332 | \item The \module{doctest} module gained a \code{SKIP} option that |
| 1333 | keeps an example from being executed at all. This is intended for |
| 1334 | code snippets that are usage examples intended for the reader and |
| 1335 | aren't actually test cases. |
| 1336 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1337 | \item The \module{fileinput} module was made more flexible. |
| 1338 | Unicode filenames are now supported, and a \var{mode} parameter that |
| 1339 | defaults to \code{"r"} was added to the |
| 1340 | \function{input()} function to allow opening files in binary or |
| 1341 | universal-newline mode. Another new parameter, \var{openhook}, |
| 1342 | lets you use a function other than \function{open()} |
| 1343 | to open the input files. Once you're iterating over |
| 1344 | the set of files, the \class{FileInput} object's new |
| 1345 | \method{fileno()} returns the file descriptor for the currently opened file. |
| 1346 | (Contributed by Georg Brandl.) |
| 1347 | |
Andrew M. Kuchling | da37604 | 2006-03-17 15:56:41 +0000 | [diff] [blame] | 1348 | \item In the \module{gc} module, the new \function{get_count()} function |
| 1349 | returns a 3-tuple containing the current collection counts for the |
| 1350 | three GC generations. This is accounting information for the garbage |
| 1351 | collector; when these counts reach a specified threshold, a garbage |
| 1352 | collection sweep will be made. The existing \function{gc.collect()} |
| 1353 | function now takes an optional \var{generation} argument of 0, 1, or 2 |
| 1354 | to specify which generation to collect. |
| 1355 | |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1356 | \item The \function{nsmallest()} and |
| 1357 | \function{nlargest()} functions in the \module{heapq} module |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1358 | now support a \code{key} keyword parameter similar to the one |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1359 | provided by the \function{min()}/\function{max()} functions |
| 1360 | and the \method{sort()} methods. For example: |
| 1361 | Example: |
| 1362 | |
| 1363 | \begin{verbatim} |
| 1364 | >>> import heapq |
| 1365 | >>> L = ["short", 'medium', 'longest', 'longer still'] |
| 1366 | >>> heapq.nsmallest(2, L) # Return two lowest elements, lexicographically |
| 1367 | ['longer still', 'longest'] |
| 1368 | >>> heapq.nsmallest(2, L, key=len) # Return two shortest elements |
| 1369 | ['short', 'medium'] |
| 1370 | \end{verbatim} |
| 1371 | |
| 1372 | (Contributed by Raymond Hettinger.) |
| 1373 | |
Andrew M. Kuchling | 511a3a8 | 2005-03-20 19:52:18 +0000 | [diff] [blame] | 1374 | \item The \function{itertools.islice()} function now accepts |
| 1375 | \code{None} for the start and step arguments. This makes it more |
| 1376 | compatible with the attributes of slice objects, so that you can now write |
| 1377 | the following: |
| 1378 | |
| 1379 | \begin{verbatim} |
| 1380 | s = slice(5) # Create slice object |
| 1381 | itertools.islice(iterable, s.start, s.stop, s.step) |
| 1382 | \end{verbatim} |
| 1383 | |
| 1384 | (Contributed by Raymond Hettinger.) |
Andrew M. Kuchling | 3e41b05 | 2005-03-01 00:53:46 +0000 | [diff] [blame] | 1385 | |
Andrew M. Kuchling | d4c2177 | 2006-04-23 21:51:10 +0000 | [diff] [blame] | 1386 | \item The \module{mailbox} module underwent a massive rewrite to add |
| 1387 | the capability to modify mailboxes in addition to reading them. A new |
| 1388 | set of classes that include \class{mbox}, \class{MH}, and |
| 1389 | \class{Maildir} are used to read mailboxes, and have an |
| 1390 | \method{add(\var{message})} method to add messages, |
| 1391 | \method{remove(\var{key})} to remove messages, and |
| 1392 | \method{lock()}/\method{unlock()} to lock/unlock the mailbox. The |
| 1393 | following example converts a maildir-format mailbox into an mbox-format one: |
| 1394 | |
| 1395 | \begin{verbatim} |
| 1396 | import mailbox |
| 1397 | |
| 1398 | # 'factory=None' uses email.Message.Message as the class representing |
| 1399 | # individual messages. |
| 1400 | src = mailbox.Maildir('maildir', factory=None) |
| 1401 | dest = mailbox.mbox('/tmp/mbox') |
| 1402 | |
| 1403 | for msg in src: |
| 1404 | dest.add(msg) |
| 1405 | \end{verbatim} |
| 1406 | |
| 1407 | (Contributed by Gregory K. Johnson. Funding was provided by Google's |
| 1408 | 2005 Summer of Code.) |
| 1409 | |
Andrew M. Kuchling | 6849488 | 2006-05-01 16:32:49 +0000 | [diff] [blame] | 1410 | \item New module: the \module{msilib} module allows creating |
| 1411 | Microsoft Installer \file{.msi} files and CAB files. Some support |
| 1412 | for reading the \file{.msi} database is also included. |
| 1413 | (Contributed by Martin von~L\"owis.) |
| 1414 | |
Andrew M. Kuchling | 75ba244 | 2006-04-14 10:29:55 +0000 | [diff] [blame] | 1415 | \item The \module{nis} module now supports accessing domains other |
| 1416 | than the system default domain by supplying a \var{domain} argument to |
| 1417 | the \function{nis.match()} and \function{nis.maps()} functions. |
| 1418 | (Contributed by Ben Bell.) |
| 1419 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1420 | \item The \module{operator} module's \function{itemgetter()} |
| 1421 | and \function{attrgetter()} functions now support multiple fields. |
| 1422 | A call such as \code{operator.attrgetter('a', 'b')} |
| 1423 | will return a function |
| 1424 | that retrieves the \member{a} and \member{b} attributes. Combining |
| 1425 | this new feature with the \method{sort()} method's \code{key} parameter |
| 1426 | lets you easily sort lists using multiple fields. |
Andrew M. Kuchling | 6e3a66d | 2006-04-07 12:46:06 +0000 | [diff] [blame] | 1427 | (Contributed by Raymond Hettinger.) |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1428 | |
Andrew M. Kuchling | d4c2177 | 2006-04-23 21:51:10 +0000 | [diff] [blame] | 1429 | \item The \module{optparse} module was updated to version 1.5.1 of the |
| 1430 | Optik library. The \class{OptionParser} class gained an |
| 1431 | \member{epilog} attribute, a string that will be printed after the |
| 1432 | help message, and a \method{destroy()} method to break reference |
| 1433 | cycles created by the object. (Contributed by Greg Ward.) |
Andrew M. Kuchling | 3e41b05 | 2005-03-01 00:53:46 +0000 | [diff] [blame] | 1434 | |
Andrew M. Kuchling | 0f1955d | 2006-04-13 12:09:08 +0000 | [diff] [blame] | 1435 | \item The \module{os} module underwent several changes. The |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1436 | \member{stat_float_times} variable now defaults to true, meaning that |
| 1437 | \function{os.stat()} will now return time values as floats. (This |
| 1438 | doesn't necessarily mean that \function{os.stat()} will return times |
| 1439 | that are precise to fractions of a second; not all systems support |
| 1440 | such precision.) |
Andrew M. Kuchling | 3e41b05 | 2005-03-01 00:53:46 +0000 | [diff] [blame] | 1441 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1442 | Constants named \member{os.SEEK_SET}, \member{os.SEEK_CUR}, and |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1443 | \member{os.SEEK_END} have been added; these are the parameters to the |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1444 | \function{os.lseek()} function. Two new constants for locking are |
| 1445 | \member{os.O_SHLOCK} and \member{os.O_EXLOCK}. |
| 1446 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1447 | Two new functions, \function{wait3()} and \function{wait4()}, were |
| 1448 | added. They're similar the \function{waitpid()} function which waits |
| 1449 | for a child process to exit and returns a tuple of the process ID and |
| 1450 | its exit status, but \function{wait3()} and \function{wait4()} return |
| 1451 | additional information. \function{wait3()} doesn't take a process ID |
| 1452 | as input, so it waits for any child process to exit and returns a |
| 1453 | 3-tuple of \var{process-id}, \var{exit-status}, \var{resource-usage} |
| 1454 | as returned from the \function{resource.getrusage()} function. |
| 1455 | \function{wait4(\var{pid})} does take a process ID. |
Andrew M. Kuchling | 6e3a66d | 2006-04-07 12:46:06 +0000 | [diff] [blame] | 1456 | (Contributed by Chad J. Schroeder.) |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1457 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1458 | On FreeBSD, the \function{os.stat()} function now returns |
| 1459 | times with nanosecond resolution, and the returned object |
| 1460 | now has \member{st_gen} and \member{st_birthtime}. |
| 1461 | The \member{st_flags} member is also available, if the platform supports it. |
Andrew M. Kuchling | 6e3a66d | 2006-04-07 12:46:06 +0000 | [diff] [blame] | 1462 | (Contributed by Antti Louko and Diego Petten\`o.) |
| 1463 | % (Patch 1180695, 1212117) |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1464 | |
Andrew M. Kuchling | b33842a | 2006-04-25 12:31:38 +0000 | [diff] [blame] | 1465 | \item The Python debugger provided by the \module{pdb} module |
| 1466 | can now store lists of commands to execute when a breakpoint is |
George Yoshida | 3bbbc49 | 2006-04-25 14:09:58 +0000 | [diff] [blame] | 1467 | reached and execution stops. Once breakpoint \#1 has been created, |
Andrew M. Kuchling | b33842a | 2006-04-25 12:31:38 +0000 | [diff] [blame] | 1468 | enter \samp{commands 1} and enter a series of commands to be executed, |
| 1469 | finishing the list with \samp{end}. The command list can include |
| 1470 | commands that resume execution, such as \samp{continue} or |
| 1471 | \samp{next}. (Contributed by Gr\'egoire Dooms.) |
| 1472 | % Patch 790710 |
| 1473 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1474 | \item The \module{pickle} and \module{cPickle} modules no |
| 1475 | longer accept a return value of \code{None} from the |
| 1476 | \method{__reduce__()} method; the method must return a tuple of |
| 1477 | arguments instead. The ability to return \code{None} was deprecated |
| 1478 | in Python 2.4, so this completes the removal of the feature. |
| 1479 | |
Andrew M. Kuchling | aa013da | 2006-04-29 12:10:43 +0000 | [diff] [blame] | 1480 | \item The \module{pkgutil} module, containing various utility |
| 1481 | functions for finding packages, was enhanced to support PEP 302's |
| 1482 | import hooks and now also works for packages stored in ZIP-format archives. |
| 1483 | (Contributed by Phillip J. Eby.) |
| 1484 | |
Andrew M. Kuchling | c923611 | 2006-04-30 01:07:09 +0000 | [diff] [blame] | 1485 | \item The pybench benchmark suite by Marc-Andr\'e~Lemburg is now |
| 1486 | included in the \file{Tools/pybench} directory. The pybench suite is |
| 1487 | an improvement on the commonly used \file{pystone.py} program because |
| 1488 | pybench provides a more detailed measurement of the interpreter's |
Andrew M. Kuchling | 3e134a5 | 2006-05-23 12:49:35 +0000 | [diff] [blame] | 1489 | speed. It times particular operations such as function calls, |
Andrew M. Kuchling | c923611 | 2006-04-30 01:07:09 +0000 | [diff] [blame] | 1490 | tuple slicing, method lookups, and numeric operations, instead of |
| 1491 | performing many different operations and reducing the result to a |
| 1492 | single number as \file{pystone.py} does. |
| 1493 | |
Andrew M. Kuchling | 01e3d26 | 2006-03-17 15:38:39 +0000 | [diff] [blame] | 1494 | \item The old \module{regex} and \module{regsub} modules, which have been |
| 1495 | deprecated ever since Python 2.0, have finally been deleted. |
Andrew M. Kuchling | f4b0660 | 2006-03-17 15:39:52 +0000 | [diff] [blame] | 1496 | Other deleted modules: \module{statcache}, \module{tzparse}, |
| 1497 | \module{whrandom}. |
Andrew M. Kuchling | 01e3d26 | 2006-03-17 15:38:39 +0000 | [diff] [blame] | 1498 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1499 | \item Also deleted: the \file{lib-old} directory, |
Andrew M. Kuchling | 01e3d26 | 2006-03-17 15:38:39 +0000 | [diff] [blame] | 1500 | which includes ancient modules such as \module{dircmp} and |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 1501 | \module{ni}, was removed. \file{lib-old} wasn't on the default |
Andrew M. Kuchling | 01e3d26 | 2006-03-17 15:38:39 +0000 | [diff] [blame] | 1502 | \code{sys.path}, so unless your programs explicitly added the directory to |
| 1503 | \code{sys.path}, this removal shouldn't affect your code. |
| 1504 | |
Andrew M. Kuchling | 0961228 | 2006-04-30 21:19:49 +0000 | [diff] [blame] | 1505 | \item The \module{rlcompleter} module is no longer |
| 1506 | dependent on importing the \module{readline} module and |
| 1507 | therefore now works on non-{\UNIX} platforms. |
| 1508 | (Patch from Robert Kiendl.) |
| 1509 | % Patch #1472854 |
| 1510 | |
Andrew M. Kuchling | 07cf072 | 2006-05-31 14:12:47 +0000 | [diff] [blame^] | 1511 | \item The \module{SimpleXMLRPCServer} and \module{DocXMLRPCServer} |
| 1512 | classes now have a \member{rpc_paths} attribute that constrains |
| 1513 | XML-RPC operations to a limited set of URL paths; the default is |
| 1514 | to allow only \code{'/'} and \code{'/RPC2'}. Setting |
| 1515 | \member{rpc_paths} to \code{None} or an empty tuple disables |
| 1516 | this path checking. |
| 1517 | % Bug #1473048 |
| 1518 | |
Andrew M. Kuchling | 4678dc8 | 2006-01-15 16:11:28 +0000 | [diff] [blame] | 1519 | \item The \module{socket} module now supports \constant{AF_NETLINK} |
| 1520 | sockets on Linux, thanks to a patch from Philippe Biondi. |
| 1521 | Netlink sockets are a Linux-specific mechanism for communications |
| 1522 | between a user-space process and kernel code; an introductory |
| 1523 | article about them is at \url{http://www.linuxjournal.com/article/7356}. |
| 1524 | In Python code, netlink addresses are represented as a tuple of 2 integers, |
| 1525 | \code{(\var{pid}, \var{group_mask})}. |
| 1526 | |
Andrew M. Kuchling | 230c3e1 | 2006-05-26 14:03:41 +0000 | [diff] [blame] | 1527 | Two new methods on socket objects, \method{recv_buf(\var{buffer})} and |
| 1528 | \method{recvfrom_buf(\var{buffer})}, store the received data in an object |
| 1529 | that supports the buffer protocol instead of returning the data as a |
| 1530 | string. This means you can put the data directly into an array or a |
| 1531 | memory-mapped file. |
| 1532 | |
| 1533 | Socket objects also gained \method{getfamily()}, \method{gettype()}, |
| 1534 | and \method{getproto()} accessor methods to retrieve the family, type, |
| 1535 | and protocol values for the socket. |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1536 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1537 | \item New module: the \module{spwd} module provides functions for |
| 1538 | accessing the shadow password database on systems that support |
| 1539 | shadow passwords. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1540 | |
Andrew M. Kuchling | c6f5c87 | 2006-05-26 14:04:19 +0000 | [diff] [blame] | 1541 | \item The \module{struct} is now faster because it |
Andrew M. Kuchling | 230c3e1 | 2006-05-26 14:03:41 +0000 | [diff] [blame] | 1542 | compiles format strings into \class{Struct} objects |
| 1543 | with \method{pack()} and \method{unpack()} methods. This is similar |
| 1544 | to how the \module{re} module lets you create compiled regular |
| 1545 | expression objects. You can still use the module-level |
| 1546 | \function{pack()} and \function{unpack()} functions; they'll create |
| 1547 | \class{Struct} objects and cache them. Or you can use |
| 1548 | \class{Struct} instances directly: |
| 1549 | |
| 1550 | \begin{verbatim} |
| 1551 | s = struct.Struct('ih3s') |
| 1552 | |
| 1553 | data = s.pack(1972, 187, 'abc') |
| 1554 | year, number, name = s.unpack(data) |
| 1555 | \end{verbatim} |
| 1556 | |
| 1557 | You can also pack and unpack data to and from buffer objects directly |
| 1558 | using the \method{pack_to(\var{buffer}, \var{offset}, \var{v1}, |
| 1559 | \var{v2}, ...)} and \method{unpack_from(\var{buffer}, \var{offset})} |
| 1560 | methods. This lets you store data directly into an array or a |
| 1561 | memory-mapped file. |
| 1562 | |
| 1563 | (\class{Struct} objects were implemented by Bob Ippolito at the |
| 1564 | NeedForSpeed sprint. Support for buffer objects was added by Martin |
| 1565 | Blais, also at the NeedForSpeed sprint.) |
| 1566 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 1567 | \item The Python developers switched from CVS to Subversion during the 2.5 |
Andrew M. Kuchling | 230c3e1 | 2006-05-26 14:03:41 +0000 | [diff] [blame] | 1568 | development process. Information about the exact build version is |
| 1569 | available as the \code{sys.subversion} variable, a 3-tuple of |
| 1570 | \code{(\var{interpreter-name}, \var{branch-name}, |
| 1571 | \var{revision-range})}. For example, at the time of writing my copy |
| 1572 | of 2.5 was reporting \code{('CPython', 'trunk', '45313:45315')}. |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 1573 | |
| 1574 | This information is also available to C extensions via the |
| 1575 | \cfunction{Py_GetBuildInfo()} function that returns a |
| 1576 | string of build information like this: |
| 1577 | \code{"trunk:45355:45356M, Apr 13 2006, 07:42:19"}. |
| 1578 | (Contributed by Barry Warsaw.) |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1579 | |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1580 | \item The \class{TarFile} class in the \module{tarfile} module now has |
Georg Brandl | 08c02db | 2005-07-22 18:39:19 +0000 | [diff] [blame] | 1581 | an \method{extractall()} method that extracts all members from the |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1582 | archive into the current working directory. It's also possible to set |
| 1583 | a different directory as the extraction target, and to unpack only a |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1584 | subset of the archive's members. |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1585 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1586 | A tarfile's compression can be autodetected by |
| 1587 | using the mode \code{'r|*'}. |
| 1588 | % patch 918101 |
| 1589 | (Contributed by Lars Gust\"abel.) |
Gregory P. Smith | f21a5f7 | 2005-08-21 18:45:59 +0000 | [diff] [blame] | 1590 | |
Andrew M. Kuchling | f688cc5 | 2006-03-10 18:50:08 +0000 | [diff] [blame] | 1591 | \item The \module{unicodedata} module has been updated to use version 4.1.0 |
| 1592 | of the Unicode character database. Version 3.2.0 is required |
| 1593 | by some specifications, so it's still available as |
George Yoshida | a2d6c8a | 2006-05-27 17:09:17 +0000 | [diff] [blame] | 1594 | \member{unicodedata.ucd_3_2_0}. |
Andrew M. Kuchling | f688cc5 | 2006-03-10 18:50:08 +0000 | [diff] [blame] | 1595 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 1596 | \item The \module{webbrowser} module received a number of |
| 1597 | enhancements. |
| 1598 | It's now usable as a script with \code{python -m webbrowser}, taking a |
| 1599 | URL as the argument; there are a number of switches |
| 1600 | to control the behaviour (\programopt{-n} for a new browser window, |
| 1601 | \programopt{-t} for a new tab). New module-level functions, |
| 1602 | \function{open_new()} and \function{open_new_tab()}, were added |
| 1603 | to support this. The module's \function{open()} function supports an |
| 1604 | additional feature, an \var{autoraise} parameter that signals whether |
| 1605 | to raise the open window when possible. A number of additional |
| 1606 | browsers were added to the supported list such as Firefox, Opera, |
| 1607 | Konqueror, and elinks. (Contributed by Oleg Broytmann and George |
| 1608 | Brandl.) |
| 1609 | % Patch #754022 |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1610 | |
Fredrik Lundh | 7e0aef0 | 2005-12-12 18:54:55 +0000 | [diff] [blame] | 1611 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1612 | \item The \module{xmlrpclib} module now supports returning |
| 1613 | \class{datetime} objects for the XML-RPC date type. Supply |
| 1614 | \code{use_datetime=True} to the \function{loads()} function |
| 1615 | or the \class{Unmarshaller} class to enable this feature. |
Andrew M. Kuchling | 6e3a66d | 2006-04-07 12:46:06 +0000 | [diff] [blame] | 1616 | (Contributed by Skip Montanaro.) |
| 1617 | % Patch 1120353 |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1618 | |
Andrew M. Kuchling | d779b35 | 2006-05-16 16:11:54 +0000 | [diff] [blame] | 1619 | \item The \module{zlib} module's \class{Compress} and \class{Decompress} |
| 1620 | objects now support a \method{copy()} method that makes a copy of the |
| 1621 | object's internal state and returns a new |
| 1622 | \class{Compress} or \class{Decompress} object. |
| 1623 | (Contributed by Chris AtLee.) |
| 1624 | % Patch 1435422 |
Gregory P. Smith | f21a5f7 | 2005-08-21 18:45:59 +0000 | [diff] [blame] | 1625 | |
Fred Drake | 114b8ca | 2005-03-21 05:47:11 +0000 | [diff] [blame] | 1626 | \end{itemize} |
Andrew M. Kuchling | e9b1bf4 | 2005-03-20 19:26:30 +0000 | [diff] [blame] | 1627 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1628 | |
| 1629 | |
| 1630 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1631 | \subsection{The ctypes package\label{module-ctypes}} |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1632 | |
| 1633 | The \module{ctypes} package, written by Thomas Heller, has been added |
| 1634 | to the standard library. \module{ctypes} lets you call arbitrary functions |
Andrew M. Kuchling | 28c5f1f | 2006-04-13 02:04:42 +0000 | [diff] [blame] | 1635 | in shared libraries or DLLs. Long-time users may remember the \module{dl} module, which |
| 1636 | provides functions for loading shared libraries and calling functions in them. The \module{ctypes} package is much fancier. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1637 | |
Andrew M. Kuchling | 28c5f1f | 2006-04-13 02:04:42 +0000 | [diff] [blame] | 1638 | To load a shared library or DLL, you must create an instance of the |
| 1639 | \class{CDLL} class and provide the name or path of the shared library |
| 1640 | or DLL. Once that's done, you can call arbitrary functions |
| 1641 | by accessing them as attributes of the \class{CDLL} object. |
| 1642 | |
| 1643 | \begin{verbatim} |
| 1644 | import ctypes |
| 1645 | |
| 1646 | libc = ctypes.CDLL('libc.so.6') |
| 1647 | result = libc.printf("Line of output\n") |
| 1648 | \end{verbatim} |
| 1649 | |
| 1650 | Type constructors for the various C types are provided: \function{c_int}, |
| 1651 | \function{c_float}, \function{c_double}, \function{c_char_p} (equivalent to \ctype{char *}), and so forth. Unlike Python's types, the C versions are all mutable; you can assign to their \member{value} attribute |
| 1652 | to change the wrapped value. Python integers and strings will be automatically |
| 1653 | converted to the corresponding C types, but for other types you |
| 1654 | must call the correct type constructor. (And I mean \emph{must}; |
| 1655 | getting it wrong will often result in the interpreter crashing |
| 1656 | with a segmentation fault.) |
| 1657 | |
| 1658 | You shouldn't use \function{c_char_p} with a Python string when the C function will be modifying the memory area, because Python strings are |
| 1659 | supposed to be immutable; breaking this rule will cause puzzling bugs. When you need a modifiable memory area, |
Neal Norwitz | 5f5a69b | 2006-04-13 03:41:04 +0000 | [diff] [blame] | 1660 | use \function{create_string_buffer()}: |
Andrew M. Kuchling | 28c5f1f | 2006-04-13 02:04:42 +0000 | [diff] [blame] | 1661 | |
| 1662 | \begin{verbatim} |
| 1663 | s = "this is a string" |
| 1664 | buf = ctypes.create_string_buffer(s) |
| 1665 | libc.strfry(buf) |
| 1666 | \end{verbatim} |
| 1667 | |
| 1668 | C functions are assumed to return integers, but you can set |
| 1669 | the \member{restype} attribute of the function object to |
| 1670 | change this: |
| 1671 | |
| 1672 | \begin{verbatim} |
| 1673 | >>> libc.atof('2.71828') |
| 1674 | -1783957616 |
| 1675 | >>> libc.atof.restype = ctypes.c_double |
| 1676 | >>> libc.atof('2.71828') |
| 1677 | 2.71828 |
| 1678 | \end{verbatim} |
| 1679 | |
| 1680 | \module{ctypes} also provides a wrapper for Python's C API |
| 1681 | as the \code{ctypes.pythonapi} object. This object does \emph{not} |
| 1682 | release the global interpreter lock before calling a function, because the lock must be held when calling into the interpreter's code. |
| 1683 | There's a \class{py_object()} type constructor that will create a |
| 1684 | \ctype{PyObject *} pointer. A simple usage: |
| 1685 | |
| 1686 | \begin{verbatim} |
| 1687 | import ctypes |
| 1688 | |
| 1689 | d = {} |
| 1690 | ctypes.pythonapi.PyObject_SetItem(ctypes.py_object(d), |
| 1691 | ctypes.py_object("abc"), ctypes.py_object(1)) |
| 1692 | # d is now {'abc', 1}. |
| 1693 | \end{verbatim} |
| 1694 | |
| 1695 | Don't forget to use \class{py_object()}; if it's omitted you end |
| 1696 | up with a segmentation fault. |
| 1697 | |
| 1698 | \module{ctypes} has been around for a while, but people still write |
| 1699 | and distribution hand-coded extension modules because you can't rely on \module{ctypes} being present. |
| 1700 | Perhaps developers will begin to write |
| 1701 | Python wrappers atop a library accessed through \module{ctypes} instead |
| 1702 | of extension modules, now that \module{ctypes} is included with core Python. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1703 | |
Andrew M. Kuchling | 28c5f1f | 2006-04-13 02:04:42 +0000 | [diff] [blame] | 1704 | \begin{seealso} |
| 1705 | |
| 1706 | \seeurl{http://starship.python.net/crew/theller/ctypes/} |
| 1707 | {The ctypes web page, with a tutorial, reference, and FAQ.} |
| 1708 | |
| 1709 | \end{seealso} |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1710 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 1711 | |
| 1712 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1713 | \subsection{The ElementTree package\label{module-etree}} |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1714 | |
| 1715 | A subset of Fredrik Lundh's ElementTree library for processing XML has |
Andrew M. Kuchling | e3c958c | 2006-05-01 12:45:02 +0000 | [diff] [blame] | 1716 | been added to the standard library as \module{xml.etree}. The |
Georg Brandl | ce27a06 | 2006-04-11 06:27:12 +0000 | [diff] [blame] | 1717 | available modules are |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1718 | \module{ElementTree}, \module{ElementPath}, and |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 1719 | \module{ElementInclude} from ElementTree 1.2.6. |
| 1720 | The \module{cElementTree} accelerator module is also included. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1721 | |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1722 | The rest of this section will provide a brief overview of using |
| 1723 | ElementTree. Full documentation for ElementTree is available at |
| 1724 | \url{http://effbot.org/zone/element-index.htm}. |
| 1725 | |
| 1726 | ElementTree represents an XML document as a tree of element nodes. |
| 1727 | The text content of the document is stored as the \member{.text} |
| 1728 | and \member{.tail} attributes of |
| 1729 | (This is one of the major differences between ElementTree and |
| 1730 | the Document Object Model; in the DOM there are many different |
| 1731 | types of node, including \class{TextNode}.) |
| 1732 | |
| 1733 | The most commonly used parsing function is \function{parse()}, that |
| 1734 | takes either a string (assumed to contain a filename) or a file-like |
| 1735 | object and returns an \class{ElementTree} instance: |
| 1736 | |
| 1737 | \begin{verbatim} |
Andrew M. Kuchling | e3c958c | 2006-05-01 12:45:02 +0000 | [diff] [blame] | 1738 | from xml.etree import ElementTree as ET |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1739 | |
| 1740 | tree = ET.parse('ex-1.xml') |
| 1741 | |
| 1742 | feed = urllib.urlopen( |
| 1743 | 'http://planet.python.org/rss10.xml') |
| 1744 | tree = ET.parse(feed) |
| 1745 | \end{verbatim} |
| 1746 | |
| 1747 | Once you have an \class{ElementTree} instance, you |
| 1748 | can call its \method{getroot()} method to get the root \class{Element} node. |
| 1749 | |
| 1750 | There's also an \function{XML()} function that takes a string literal |
| 1751 | and returns an \class{Element} node (not an \class{ElementTree}). |
| 1752 | This function provides a tidy way to incorporate XML fragments, |
| 1753 | approaching the convenience of an XML literal: |
| 1754 | |
| 1755 | \begin{verbatim} |
Andrew M. Kuchling | e3c958c | 2006-05-01 12:45:02 +0000 | [diff] [blame] | 1756 | svg = ET.XML("""<svg width="10px" version="1.0"> |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1757 | </svg>""") |
| 1758 | svg.set('height', '320px') |
| 1759 | svg.append(elem1) |
| 1760 | \end{verbatim} |
| 1761 | |
| 1762 | Each XML element supports some dictionary-like and some list-like |
Andrew M. Kuchling | 075e023 | 2006-04-11 13:14:56 +0000 | [diff] [blame] | 1763 | access methods. Dictionary-like operations are used to access attribute |
| 1764 | values, and list-like operations are used to access child nodes. |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1765 | |
Andrew M. Kuchling | 075e023 | 2006-04-11 13:14:56 +0000 | [diff] [blame] | 1766 | \begin{tableii}{c|l}{code}{Operation}{Result} |
| 1767 | \lineii{elem[n]}{Returns n'th child element.} |
| 1768 | \lineii{elem[m:n]}{Returns list of m'th through n'th child elements.} |
| 1769 | \lineii{len(elem)}{Returns number of child elements.} |
Andrew M. Kuchling | e3c958c | 2006-05-01 12:45:02 +0000 | [diff] [blame] | 1770 | \lineii{list(elem)}{Returns list of child elements.} |
Andrew M. Kuchling | 075e023 | 2006-04-11 13:14:56 +0000 | [diff] [blame] | 1771 | \lineii{elem.append(elem2)}{Adds \var{elem2} as a child.} |
| 1772 | \lineii{elem.insert(index, elem2)}{Inserts \var{elem2} at the specified location.} |
| 1773 | \lineii{del elem[n]}{Deletes n'th child element.} |
| 1774 | \lineii{elem.keys()}{Returns list of attribute names.} |
| 1775 | \lineii{elem.get(name)}{Returns value of attribute \var{name}.} |
| 1776 | \lineii{elem.set(name, value)}{Sets new value for attribute \var{name}.} |
| 1777 | \lineii{elem.attrib}{Retrieves the dictionary containing attributes.} |
| 1778 | \lineii{del elem.attrib[name]}{Deletes attribute \var{name}.} |
| 1779 | \end{tableii} |
| 1780 | |
| 1781 | Comments and processing instructions are also represented as |
| 1782 | \class{Element} nodes. To check if a node is a comment or processing |
| 1783 | instructions: |
| 1784 | |
| 1785 | \begin{verbatim} |
| 1786 | if elem.tag is ET.Comment: |
| 1787 | ... |
| 1788 | elif elem.tag is ET.ProcessingInstruction: |
| 1789 | ... |
| 1790 | \end{verbatim} |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1791 | |
| 1792 | To generate XML output, you should call the |
| 1793 | \method{ElementTree.write()} method. Like \function{parse()}, |
| 1794 | it can take either a string or a file-like object: |
| 1795 | |
| 1796 | \begin{verbatim} |
| 1797 | # Encoding is US-ASCII |
| 1798 | tree.write('output.xml') |
| 1799 | |
| 1800 | # Encoding is UTF-8 |
| 1801 | f = open('output.xml', 'w') |
Andrew M. Kuchling | a883701 | 2006-05-02 11:30:03 +0000 | [diff] [blame] | 1802 | tree.write(f, encoding='utf-8') |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1803 | \end{verbatim} |
| 1804 | |
Andrew M. Kuchling | a883701 | 2006-05-02 11:30:03 +0000 | [diff] [blame] | 1805 | (Caution: the default encoding used for output is ASCII. For general |
| 1806 | XML work, where an element's name may contain arbitrary Unicode |
| 1807 | characters, ASCII isn't a very useful encoding because it will raise |
| 1808 | an exception if an element's name contains any characters with values |
| 1809 | greater than 127. Therefore, it's best to specify a different |
| 1810 | encoding such as UTF-8 that can handle any Unicode character.) |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1811 | |
Andrew M. Kuchling | 075e023 | 2006-04-11 13:14:56 +0000 | [diff] [blame] | 1812 | This section is only a partial description of the ElementTree interfaces. |
| 1813 | Please read the package's official documentation for more details. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1814 | |
Andrew M. Kuchling | 16ed521 | 2006-04-10 22:28:11 +0000 | [diff] [blame] | 1815 | \begin{seealso} |
| 1816 | |
| 1817 | \seeurl{http://effbot.org/zone/element-index.htm} |
| 1818 | {Official documentation for ElementTree.} |
| 1819 | |
| 1820 | |
| 1821 | \end{seealso} |
| 1822 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1823 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 1824 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1825 | \subsection{The hashlib package\label{module-hashlib}} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1826 | |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1827 | A new \module{hashlib} module, written by Gregory P. Smith, |
| 1828 | has been added to replace the |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1829 | \module{md5} and \module{sha} modules. \module{hashlib} adds support |
| 1830 | for additional secure hashes (SHA-224, SHA-256, SHA-384, and SHA-512). |
| 1831 | When available, the module uses OpenSSL for fast platform optimized |
| 1832 | implementations of algorithms. |
| 1833 | |
| 1834 | The old \module{md5} and \module{sha} modules still exist as wrappers |
| 1835 | around hashlib to preserve backwards compatibility. The new module's |
| 1836 | interface is very close to that of the old modules, but not identical. |
| 1837 | The most significant difference is that the constructor functions |
| 1838 | for creating new hashing objects are named differently. |
| 1839 | |
| 1840 | \begin{verbatim} |
| 1841 | # Old versions |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1842 | h = md5.md5() |
| 1843 | h = md5.new() |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1844 | |
| 1845 | # New version |
| 1846 | h = hashlib.md5() |
| 1847 | |
| 1848 | # Old versions |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1849 | h = sha.sha() |
| 1850 | h = sha.new() |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1851 | |
| 1852 | # New version |
| 1853 | h = hashlib.sha1() |
| 1854 | |
| 1855 | # Hash that weren't previously available |
| 1856 | h = hashlib.sha224() |
| 1857 | h = hashlib.sha256() |
| 1858 | h = hashlib.sha384() |
| 1859 | h = hashlib.sha512() |
| 1860 | |
| 1861 | # Alternative form |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1862 | h = hashlib.new('md5') # Provide algorithm as a string |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1863 | \end{verbatim} |
| 1864 | |
| 1865 | Once a hash object has been created, its methods are the same as before: |
| 1866 | \method{update(\var{string})} hashes the specified string into the |
| 1867 | current digest state, \method{digest()} and \method{hexdigest()} |
| 1868 | return the digest value as a binary string or a string of hex digits, |
| 1869 | and \method{copy()} returns a new hashing object with the same digest state. |
| 1870 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 1871 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 1872 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1873 | \subsection{The sqlite3 package\label{module-sqlite}} |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1874 | |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1875 | The pysqlite module (\url{http://www.pysqlite.org}), a wrapper for the |
| 1876 | SQLite embedded database, has been added to the standard library under |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1877 | the package name \module{sqlite3}. |
| 1878 | |
| 1879 | SQLite is a C library that provides a SQL-language database that |
| 1880 | stores data in disk files without requiring a separate server process. |
| 1881 | pysqlite was written by Gerhard H\"aring and provides a SQL interface |
| 1882 | compliant with the DB-API 2.0 specification described by |
| 1883 | \pep{249}. This means that it should be possible to write the first |
| 1884 | version of your applications using SQLite for data storage. If |
| 1885 | switching to a larger database such as PostgreSQL or Oracle is |
| 1886 | later necessary, the switch should be relatively easy. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1887 | |
| 1888 | If you're compiling the Python source yourself, note that the source |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1889 | tree doesn't include the SQLite code, only the wrapper module. |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1890 | You'll need to have the SQLite libraries and headers installed before |
| 1891 | compiling Python, and the build process will compile the module when |
| 1892 | the necessary headers are available. |
| 1893 | |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1894 | To use the module, you must first create a \class{Connection} object |
| 1895 | that represents the database. Here the data will be stored in the |
| 1896 | \file{/tmp/example} file: |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1897 | |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1898 | \begin{verbatim} |
| 1899 | conn = sqlite3.connect('/tmp/example') |
| 1900 | \end{verbatim} |
| 1901 | |
| 1902 | You can also supply the special name \samp{:memory:} to create |
| 1903 | a database in RAM. |
| 1904 | |
| 1905 | Once you have a \class{Connection}, you can create a \class{Cursor} |
| 1906 | object and call its \method{execute()} method to perform SQL commands: |
| 1907 | |
| 1908 | \begin{verbatim} |
| 1909 | c = conn.cursor() |
| 1910 | |
| 1911 | # Create table |
| 1912 | c.execute('''create table stocks |
| 1913 | (date timestamp, trans varchar, symbol varchar, |
| 1914 | qty decimal, price decimal)''') |
| 1915 | |
| 1916 | # Insert a row of data |
| 1917 | c.execute("""insert into stocks |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1918 | values ('2006-01-05','BUY','RHAT',100,35.14)""") |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1919 | \end{verbatim} |
| 1920 | |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1921 | Usually your SQL operations will need to use values from Python |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1922 | variables. You shouldn't assemble your query using Python's string |
| 1923 | operations because doing so is insecure; it makes your program |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 1924 | vulnerable to an SQL injection attack. |
| 1925 | |
| 1926 | Instead, use SQLite's parameter substitution. Put \samp{?} as a |
| 1927 | placeholder wherever you want to use a value, and then provide a tuple |
| 1928 | of values as the second argument to the cursor's \method{execute()} |
| 1929 | method. For example: |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1930 | |
| 1931 | \begin{verbatim} |
| 1932 | # Never do this -- insecure! |
| 1933 | symbol = 'IBM' |
| 1934 | c.execute("... where symbol = '%s'" % symbol) |
| 1935 | |
| 1936 | # Do this instead |
| 1937 | t = (symbol,) |
Andrew M. Kuchling | 7e5abb9 | 2006-04-26 12:21:06 +0000 | [diff] [blame] | 1938 | c.execute('select * from stocks where symbol=?', t) |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1939 | |
| 1940 | # Larger example |
| 1941 | for t in (('2006-03-28', 'BUY', 'IBM', 1000, 45.00), |
Andrew M. Kuchling | d058d00 | 2006-04-16 18:20:05 +0000 | [diff] [blame] | 1942 | ('2006-04-05', 'BUY', 'MSOFT', 1000, 72.00), |
| 1943 | ('2006-04-06', 'SELL', 'IBM', 500, 53.00), |
| 1944 | ): |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1945 | c.execute('insert into stocks values (?,?,?,?,?)', t) |
| 1946 | \end{verbatim} |
| 1947 | |
| 1948 | To retrieve data after executing a SELECT statement, you can either |
| 1949 | treat the cursor as an iterator, call the cursor's \method{fetchone()} |
| 1950 | method to retrieve a single matching row, |
| 1951 | or call \method{fetchall()} to get a list of the matching rows. |
| 1952 | |
| 1953 | This example uses the iterator form: |
| 1954 | |
| 1955 | \begin{verbatim} |
| 1956 | >>> c = conn.cursor() |
| 1957 | >>> c.execute('select * from stocks order by price') |
| 1958 | >>> for row in c: |
| 1959 | ... print row |
| 1960 | ... |
| 1961 | (u'2006-01-05', u'BUY', u'RHAT', 100, 35.140000000000001) |
| 1962 | (u'2006-03-28', u'BUY', u'IBM', 1000, 45.0) |
| 1963 | (u'2006-04-06', u'SELL', u'IBM', 500, 53.0) |
| 1964 | (u'2006-04-05', u'BUY', u'MSOFT', 1000, 72.0) |
| 1965 | >>> |
| 1966 | \end{verbatim} |
| 1967 | |
Andrew M. Kuchling | d58baf8 | 2006-04-10 21:40:16 +0000 | [diff] [blame] | 1968 | For more information about the SQL dialect supported by SQLite, see |
| 1969 | \url{http://www.sqlite.org}. |
| 1970 | |
| 1971 | \begin{seealso} |
| 1972 | |
| 1973 | \seeurl{http://www.pysqlite.org} |
| 1974 | {The pysqlite web page.} |
| 1975 | |
| 1976 | \seeurl{http://www.sqlite.org} |
| 1977 | {The SQLite web page; the documentation describes the syntax and the |
| 1978 | available data types for the supported SQL dialect.} |
| 1979 | |
| 1980 | \seepep{249}{Database API Specification 2.0}{PEP written by |
| 1981 | Marc-Andr\'e Lemburg.} |
| 1982 | |
| 1983 | \end{seealso} |
Andrew M. Kuchling | af7ee99 | 2006-04-03 12:41:37 +0000 | [diff] [blame] | 1984 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1985 | |
| 1986 | % ====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 1987 | \section{Build and C API Changes\label{build-api}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 1988 | |
| 1989 | Changes to Python's build process and to the C API include: |
| 1990 | |
| 1991 | \begin{itemize} |
| 1992 | |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 1993 | \item The largest change to the C API came from \pep{353}, |
| 1994 | which modifies the interpreter to use a \ctype{Py_ssize_t} type |
| 1995 | definition instead of \ctype{int}. See the earlier |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 1996 | section~\ref{pep-353} for a discussion of this change. |
Andrew M. Kuchling | 4d8cd89 | 2006-04-06 13:03:04 +0000 | [diff] [blame] | 1997 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 1998 | \item The design of the bytecode compiler has changed a great deal, to |
| 1999 | no longer generate bytecode by traversing the parse tree. Instead |
Andrew M. Kuchling | db85ed5 | 2005-10-23 21:52:59 +0000 | [diff] [blame] | 2000 | the parse tree is converted to an abstract syntax tree (or AST), and it is |
| 2001 | the abstract syntax tree that's traversed to produce the bytecode. |
| 2002 | |
Andrew M. Kuchling | 4e86195 | 2006-04-12 12:16:31 +0000 | [diff] [blame] | 2003 | It's possible for Python code to obtain AST objects by using the |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 2004 | \function{compile()} built-in and specifying \code{_ast.PyCF_ONLY_AST} |
| 2005 | as the value of the |
Andrew M. Kuchling | 4e86195 | 2006-04-12 12:16:31 +0000 | [diff] [blame] | 2006 | \var{flags} parameter: |
| 2007 | |
| 2008 | \begin{verbatim} |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 2009 | from _ast import PyCF_ONLY_AST |
Andrew M. Kuchling | 4e86195 | 2006-04-12 12:16:31 +0000 | [diff] [blame] | 2010 | ast = compile("""a=0 |
| 2011 | for i in range(10): |
| 2012 | a += i |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 2013 | """, "<string>", 'exec', PyCF_ONLY_AST) |
Andrew M. Kuchling | 4e86195 | 2006-04-12 12:16:31 +0000 | [diff] [blame] | 2014 | |
| 2015 | assignment = ast.body[0] |
| 2016 | for_loop = ast.body[1] |
| 2017 | \end{verbatim} |
| 2018 | |
Andrew M. Kuchling | db85ed5 | 2005-10-23 21:52:59 +0000 | [diff] [blame] | 2019 | No documentation has been written for the AST code yet. To start |
| 2020 | learning about it, read the definition of the various AST nodes in |
| 2021 | \file{Parser/Python.asdl}. A Python script reads this file and |
| 2022 | generates a set of C structure definitions in |
| 2023 | \file{Include/Python-ast.h}. The \cfunction{PyParser_ASTFromString()} |
| 2024 | and \cfunction{PyParser_ASTFromFile()}, defined in |
| 2025 | \file{Include/pythonrun.h}, take Python source as input and return the |
| 2026 | root of an AST representing the contents. This AST can then be turned |
| 2027 | into a code object by \cfunction{PyAST_Compile()}. For more |
| 2028 | information, read the source code, and then ask questions on |
| 2029 | python-dev. |
| 2030 | |
| 2031 | % List of names taken from Jeremy's python-dev post at |
| 2032 | % http://mail.python.org/pipermail/python-dev/2005-October/057500.html |
| 2033 | The AST code was developed under Jeremy Hylton's management, and |
| 2034 | implemented by (in alphabetical order) Brett Cannon, Nick Coghlan, |
| 2035 | Grant Edwards, John Ehresman, Kurt Kaiser, Neal Norwitz, Tim Peters, |
| 2036 | Armin Rigo, and Neil Schemenauer, plus the participants in a number of |
| 2037 | AST sprints at conferences such as PyCon. |
| 2038 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 2039 | \item The built-in set types now have an official C API. Call |
| 2040 | \cfunction{PySet_New()} and \cfunction{PyFrozenSet_New()} to create a |
| 2041 | new set, \cfunction{PySet_Add()} and \cfunction{PySet_Discard()} to |
| 2042 | add and remove elements, and \cfunction{PySet_Contains} and |
| 2043 | \cfunction{PySet_Size} to examine the set's state. |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 2044 | (Contributed by Raymond Hettinger.) |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 2045 | |
Andrew M. Kuchling | 61434b6 | 2006-04-13 11:51:07 +0000 | [diff] [blame] | 2046 | \item C code can now obtain information about the exact revision |
| 2047 | of the Python interpreter by calling the |
| 2048 | \cfunction{Py_GetBuildInfo()} function that returns a |
| 2049 | string of build information like this: |
| 2050 | \code{"trunk:45355:45356M, Apr 13 2006, 07:42:19"}. |
| 2051 | (Contributed by Barry Warsaw.) |
| 2052 | |
Andrew M. Kuchling | b98d65c | 2006-05-27 11:26:33 +0000 | [diff] [blame] | 2053 | \item Two new macros can be used to indicate C functions that are |
| 2054 | local to the current file so that a faster calling convention can be |
| 2055 | used. \cfunction{Py_LOCAL(\var{type})} declares the function as |
| 2056 | returning a value of the specified \var{type} and uses a fast-calling |
| 2057 | qualifier. \cfunction{Py_LOCAL_INLINE(\var{type})} does the same thing |
| 2058 | and also requests the function be inlined. If |
| 2059 | \cfunction{PY_LOCAL_AGGRESSIVE} is defined before \file{python.h} is |
| 2060 | included, a set of more aggressive optimizations are enabled for the |
| 2061 | module; you should benchmark the results to find out if these |
| 2062 | optimizations actually make the code faster. (Contributed by Fredrik |
| 2063 | Lundh at the NeedForSpeed sprint.) |
| 2064 | |
Andrew M. Kuchling | c602723 | 2006-05-23 12:44:36 +0000 | [diff] [blame] | 2065 | \item \cfunction{PyErr_NewException(\var{name}, \var{base}, |
| 2066 | \var{dict})} can now accept a tuple of base classes as its \var{base} |
| 2067 | argument. (Contributed by Georg Brandl.) |
| 2068 | |
Andrew M. Kuchling | 29b3d08 | 2006-04-14 20:35:17 +0000 | [diff] [blame] | 2069 | \item The CPython interpreter is still written in C, but |
| 2070 | the code can now be compiled with a {\Cpp} compiler without errors. |
| 2071 | (Implemented by Anthony Baxter, Martin von~L\"owis, Skip Montanaro.) |
| 2072 | |
Andrew M. Kuchling | 150e349 | 2005-08-23 00:56:06 +0000 | [diff] [blame] | 2073 | \item The \cfunction{PyRange_New()} function was removed. It was |
| 2074 | never documented, never used in the core code, and had dangerously lax |
| 2075 | error checking. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2076 | |
| 2077 | \end{itemize} |
| 2078 | |
| 2079 | |
| 2080 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 2081 | \subsection{Port-Specific Changes\label{ports}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2082 | |
Andrew M. Kuchling | 6fc6976 | 2006-04-13 12:37:21 +0000 | [diff] [blame] | 2083 | \begin{itemize} |
| 2084 | |
| 2085 | \item MacOS X (10.3 and higher): dynamic loading of modules |
| 2086 | now uses the \cfunction{dlopen()} function instead of MacOS-specific |
| 2087 | functions. |
| 2088 | |
Andrew M. Kuchling | b37bcb5 | 2006-04-29 11:53:15 +0000 | [diff] [blame] | 2089 | \item MacOS X: a \longprogramopt{enable-universalsdk} switch was added |
| 2090 | to the \program{configure} script that compiles the interpreter as a |
| 2091 | universal binary able to run on both PowerPC and Intel processors. |
| 2092 | (Contributed by Ronald Oussoren.) |
| 2093 | |
Andrew M. Kuchling | 63fe9b5 | 2006-04-20 13:36:06 +0000 | [diff] [blame] | 2094 | \item Windows: \file{.dll} is no longer supported as a filename extension for |
| 2095 | extension modules. \file{.pyd} is now the only filename extension that will |
| 2096 | be searched for. |
| 2097 | |
Andrew M. Kuchling | 6fc6976 | 2006-04-13 12:37:21 +0000 | [diff] [blame] | 2098 | \end{itemize} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2099 | |
| 2100 | |
| 2101 | %====================================================================== |
| 2102 | \section{Other Changes and Fixes \label{section-other}} |
| 2103 | |
| 2104 | As usual, there were a bunch of other improvements and bugfixes |
Andrew M. Kuchling | f688cc5 | 2006-03-10 18:50:08 +0000 | [diff] [blame] | 2105 | scattered throughout the source tree. A search through the SVN change |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2106 | logs finds there were XXX patches applied and YYY bugs fixed between |
Andrew M. Kuchling | 92e2495 | 2004-12-03 13:54:09 +0000 | [diff] [blame] | 2107 | Python 2.4 and 2.5. Both figures are likely to be underestimates. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2108 | |
| 2109 | Some of the more notable changes are: |
| 2110 | |
| 2111 | \begin{itemize} |
| 2112 | |
Andrew M. Kuchling | 01e3d26 | 2006-03-17 15:38:39 +0000 | [diff] [blame] | 2113 | \item Evan Jones's patch to obmalloc, first described in a talk |
| 2114 | at PyCon DC 2005, was applied. Python 2.4 allocated small objects in |
| 2115 | 256K-sized arenas, but never freed arenas. With this patch, Python |
| 2116 | will free arenas when they're empty. The net effect is that on some |
| 2117 | platforms, when you allocate many objects, Python's memory usage may |
| 2118 | actually drop when you delete them, and the memory may be returned to |
| 2119 | the operating system. (Implemented by Evan Jones, and reworked by Tim |
| 2120 | Peters.) |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2121 | |
Andrew M. Kuchling | f7c6290 | 2006-04-12 12:27:50 +0000 | [diff] [blame] | 2122 | Note that this change means extension modules need to be more careful |
Andrew M. Kuchling | 0f1955d | 2006-04-13 12:09:08 +0000 | [diff] [blame] | 2123 | with how they allocate memory. Python's API has many different |
Andrew M. Kuchling | f7c6290 | 2006-04-12 12:27:50 +0000 | [diff] [blame] | 2124 | functions for allocating memory that are grouped into families. For |
| 2125 | example, \cfunction{PyMem_Malloc()}, \cfunction{PyMem_Realloc()}, and |
| 2126 | \cfunction{PyMem_Free()} are one family that allocates raw memory, |
| 2127 | while \cfunction{PyObject_Malloc()}, \cfunction{PyObject_Realloc()}, |
| 2128 | and \cfunction{PyObject_Free()} are another family that's supposed to |
| 2129 | be used for creating Python objects. |
| 2130 | |
| 2131 | Previously these different families all reduced to the platform's |
| 2132 | \cfunction{malloc()} and \cfunction{free()} functions. This meant |
| 2133 | it didn't matter if you got things wrong and allocated memory with the |
| 2134 | \cfunction{PyMem} function but freed it with the \cfunction{PyObject} |
| 2135 | function. With the obmalloc change, these families now do different |
| 2136 | things, and mismatches will probably result in a segfault. You should |
| 2137 | carefully test your C extension modules with Python 2.5. |
| 2138 | |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 2139 | \item Coverity, a company that markets a source code analysis tool |
| 2140 | called Prevent, provided the results of their examination of the Python |
Andrew M. Kuchling | 0f1955d | 2006-04-13 12:09:08 +0000 | [diff] [blame] | 2141 | source code. The analysis found about 60 bugs that |
| 2142 | were quickly fixed. Many of the bugs were refcounting problems, often |
| 2143 | occurring in error-handling code. See |
| 2144 | \url{http://scan.coverity.com} for the statistics. |
Andrew M. Kuchling | 38f8507 | 2006-04-02 01:46:32 +0000 | [diff] [blame] | 2145 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2146 | \end{itemize} |
| 2147 | |
| 2148 | |
| 2149 | %====================================================================== |
Andrew M. Kuchling | 9818924 | 2006-04-26 12:23:39 +0000 | [diff] [blame] | 2150 | \section{Porting to Python 2.5\label{porting}} |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2151 | |
| 2152 | This section lists previously described changes that may require |
| 2153 | changes to your code: |
| 2154 | |
| 2155 | \begin{itemize} |
| 2156 | |
Andrew M. Kuchling | 5f445bf | 2006-04-12 18:54:00 +0000 | [diff] [blame] | 2157 | \item ASCII is now the default encoding for modules. It's now |
| 2158 | a syntax error if a module contains string literals with 8-bit |
| 2159 | characters but doesn't have an encoding declaration. In Python 2.4 |
| 2160 | this triggered a warning, not a syntax error. |
| 2161 | |
Andrew M. Kuchling | 3b4fb04 | 2006-04-13 12:49:39 +0000 | [diff] [blame] | 2162 | \item Previously, the \member{gi_frame} attribute of a generator |
| 2163 | was always a frame object. Because of the \pep{342} changes |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 2164 | described in section~\ref{pep-342}, it's now possible |
Andrew M. Kuchling | 3b4fb04 | 2006-04-13 12:49:39 +0000 | [diff] [blame] | 2165 | for \member{gi_frame} to be \code{None}. |
| 2166 | |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 2167 | |
| 2168 | \item Library: The \module{pickle} and \module{cPickle} modules no |
| 2169 | longer accept a return value of \code{None} from the |
| 2170 | \method{__reduce__()} method; the method must return a tuple of |
| 2171 | arguments instead. The modules also no longer accept the deprecated |
| 2172 | \var{bin} keyword parameter. |
| 2173 | |
Andrew M. Kuchling | 07cf072 | 2006-05-31 14:12:47 +0000 | [diff] [blame^] | 2174 | \item Library: The \module{SimpleXMLRPCServer} and \module{DocXMLRPCServer} |
| 2175 | classes now have a \member{rpc_paths} attribute that constrains |
| 2176 | XML-RPC operations to a limited set of URL paths; the default is |
| 2177 | to allow only \code{'/'} and \code{'/RPC2'}. Setting |
| 2178 | \member{rpc_paths} to \code{None} or an empty tuple disables |
| 2179 | this path checking. |
| 2180 | |
Andrew M. Kuchling | f7c6290 | 2006-04-12 12:27:50 +0000 | [diff] [blame] | 2181 | \item C API: Many functions now use \ctype{Py_ssize_t} |
Andrew M. Kuchling | 42c6e2f | 2006-04-21 13:01:45 +0000 | [diff] [blame] | 2182 | instead of \ctype{int} to allow processing more data on 64-bit |
| 2183 | machines. Extension code may need to make the same change to avoid |
| 2184 | warnings and to support 64-bit machines. See the earlier |
Andrew M. Kuchling | fb08e73 | 2006-04-21 13:08:02 +0000 | [diff] [blame] | 2185 | section~\ref{pep-353} for a discussion of this change. |
Andrew M. Kuchling | f7c6290 | 2006-04-12 12:27:50 +0000 | [diff] [blame] | 2186 | |
| 2187 | \item C API: |
| 2188 | The obmalloc changes mean that |
| 2189 | you must be careful to not mix usage |
| 2190 | of the \cfunction{PyMem_*()} and \cfunction{PyObject_*()} |
| 2191 | families of functions. Memory allocated with |
| 2192 | one family's \cfunction{*_Malloc()} must be |
| 2193 | freed with the corresponding family's \cfunction{*_Free()} function. |
| 2194 | |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2195 | \end{itemize} |
| 2196 | |
| 2197 | |
| 2198 | %====================================================================== |
| 2199 | \section{Acknowledgements \label{acks}} |
| 2200 | |
| 2201 | The author would like to thank the following people for offering |
| 2202 | suggestions, corrections and assistance with various drafts of this |
Andrew M. Kuchling | e3c958c | 2006-05-01 12:45:02 +0000 | [diff] [blame] | 2203 | article: Phillip J. Eby, Kent Johnson, Martin von~L\"owis, Fredrik Lundh, |
Andrew M. Kuchling | 356af46 | 2006-05-10 17:19:04 +0000 | [diff] [blame] | 2204 | Gustavo Niemeyer, James Pryor, Mike Rovner, Scott Weikart, Thomas Wouters. |
Fred Drake | 2db7680 | 2004-12-01 05:05:47 +0000 | [diff] [blame] | 2205 | |
| 2206 | \end{document} |