Link to docs; remove an XXX comment
[pytest.git] / Doc / whatsnew / whatsnew25.tex
blobbbe1ff6649150948f1945e7ceff4d2c264b1451e
1 \documentclass{howto}
2 \usepackage{distutils}
3 % $Id$
5 % Fix XXX comments
7 \title{What's New in Python 2.5}
8 \release{1.0}
9 \author{A.M. Kuchling}
10 \authoraddress{\email{amk@amk.ca}}
12 \begin{document}
13 \maketitle
14 \tableofcontents
16 This article explains the new features in Python 2.5. The final
17 release of Python 2.5 is scheduled for August 2006;
18 \pep{356} describes the planned release schedule.
20 The changes in Python 2.5 are an interesting mix of language and
21 library improvements. The library enhancements will be more important
22 to Python's user community, I think, because several widely-useful
23 packages were added. New modules include ElementTree for XML
24 processing (section~\ref{module-etree}), the SQLite database module
25 (section~\ref{module-sqlite}), and the \module{ctypes} module for
26 calling C functions (section~\ref{module-ctypes}).
28 The language changes are of middling significance. Some pleasant new
29 features were added, but most of them aren't features that you'll use
30 every day. Conditional expressions were finally added to the language
31 using a novel syntax; see section~\ref{pep-308}. The new
32 '\keyword{with}' statement will make writing cleanup code easier
33 (section~\ref{pep-343}). Values can now be passed into generators
34 (section~\ref{pep-342}). Imports are now visible as either absolute
35 or relative (section~\ref{pep-328}). Some corner cases of exception
36 handling are handled better (section~\ref{pep-341}). All these
37 improvements are worthwhile, but they're improvements to one specific
38 language feature or another; none of them are broad modifications to
39 Python's semantics.
41 As well as the language and library additions, other improvements and
42 bugfixes were made throughout the source tree. A search through the
43 SVN change logs finds there were 334 patches applied and 443 bugs
44 fixed between Python 2.4 and 2.5. (Both figures are likely to be
45 underestimates.)
47 This article doesn't try to be a complete specification of the new
48 features; instead changes are briefly introduced using helpful
49 examples. For full details, you should always refer to the
50 documentation for Python 2.5 at \url{http://docs.python.org}.
51 If you want to understand the complete implementation and design
52 rationale, refer to the PEP for a particular new feature.
54 Comments, suggestions, and error reports for this document are
55 welcome; please e-mail them to the author or open a bug in the Python
56 bug tracker.
58 %======================================================================
59 \section{PEP 308: Conditional Expressions\label{pep-308}}
61 For a long time, people have been requesting a way to write
62 conditional expressions, which are expressions that return value A or
63 value B depending on whether a Boolean value is true or false. A
64 conditional expression lets you write a single assignment statement
65 that has the same effect as the following:
67 \begin{verbatim}
68 if condition:
69 x = true_value
70 else:
71 x = false_value
72 \end{verbatim}
74 There have been endless tedious discussions of syntax on both
75 python-dev and comp.lang.python. A vote was even held that found the
76 majority of voters wanted conditional expressions in some form,
77 but there was no syntax that was preferred by a clear majority.
78 Candidates included C's \code{cond ? true_v : false_v},
79 \code{if cond then true_v else false_v}, and 16 other variations.
81 Guido van~Rossum eventually chose a surprising syntax:
83 \begin{verbatim}
84 x = true_value if condition else false_value
85 \end{verbatim}
87 Evaluation is still lazy as in existing Boolean expressions, so the
88 order of evaluation jumps around a bit. The \var{condition}
89 expression in the middle is evaluated first, and the \var{true_value}
90 expression is evaluated only if the condition was true. Similarly,
91 the \var{false_value} expression is only evaluated when the condition
92 is false.
94 This syntax may seem strange and backwards; why does the condition go
95 in the \emph{middle} of the expression, and not in the front as in C's
96 \code{c ? x : y}? The decision was checked by applying the new syntax
97 to the modules in the standard library and seeing how the resulting
98 code read. In many cases where a conditional expression is used, one
99 value seems to be the 'common case' and one value is an 'exceptional
100 case', used only on rarer occasions when the condition isn't met. The
101 conditional syntax makes this pattern a bit more obvious:
103 \begin{verbatim}
104 contents = ((doc + '\n') if doc else '')
105 \end{verbatim}
107 I read the above statement as meaning ``here \var{contents} is
108 usually assigned a value of \code{doc+'\e n'}; sometimes
109 \var{doc} is empty, in which special case an empty string is returned.''
110 I doubt I will use conditional expressions very often where there
111 isn't a clear common and uncommon case.
113 There was some discussion of whether the language should require
114 surrounding conditional expressions with parentheses. The decision
115 was made to \emph{not} require parentheses in the Python language's
116 grammar, but as a matter of style I think you should always use them.
117 Consider these two statements:
119 \begin{verbatim}
120 # First version -- no parens
121 level = 1 if logging else 0
123 # Second version -- with parens
124 level = (1 if logging else 0)
125 \end{verbatim}
127 In the first version, I think a reader's eye might group the statement
128 into 'level = 1', 'if logging', 'else 0', and think that the condition
129 decides whether the assignment to \var{level} is performed. The
130 second version reads better, in my opinion, because it makes it clear
131 that the assignment is always performed and the choice is being made
132 between two values.
134 Another reason for including the brackets: a few odd combinations of
135 list comprehensions and lambdas could look like incorrect conditional
136 expressions. See \pep{308} for some examples. If you put parentheses
137 around your conditional expressions, you won't run into this case.
140 \begin{seealso}
142 \seepep{308}{Conditional Expressions}{PEP written by
143 Guido van~Rossum and Raymond D. Hettinger; implemented by Thomas
144 Wouters.}
146 \end{seealso}
149 %======================================================================
150 \section{PEP 309: Partial Function Application\label{pep-309}}
152 The \module{functools} module is intended to contain tools for
153 functional-style programming.
155 One useful tool in this module is the \function{partial()} function.
156 For programs written in a functional style, you'll sometimes want to
157 construct variants of existing functions that have some of the
158 parameters filled in. Consider a Python function \code{f(a, b, c)};
159 you could create a new function \code{g(b, c)} that was equivalent to
160 \code{f(1, b, c)}. This is called ``partial function application''.
162 \function{partial} takes the arguments
163 \code{(\var{function}, \var{arg1}, \var{arg2}, ...
164 \var{kwarg1}=\var{value1}, \var{kwarg2}=\var{value2})}. The resulting
165 object is callable, so you can just call it to invoke \var{function}
166 with the filled-in arguments.
168 Here's a small but realistic example:
170 \begin{verbatim}
171 import functools
173 def log (message, subsystem):
174 "Write the contents of 'message' to the specified subsystem."
175 print '%s: %s' % (subsystem, message)
178 server_log = functools.partial(log, subsystem='server')
179 server_log('Unable to open socket')
180 \end{verbatim}
182 Here's another example, from a program that uses PyGTK. Here a
183 context-sensitive pop-up menu is being constructed dynamically. The
184 callback provided for the menu option is a partially applied version
185 of the \method{open_item()} method, where the first argument has been
186 provided.
188 \begin{verbatim}
190 class Application:
191 def open_item(self, path):
193 def init (self):
194 open_func = functools.partial(self.open_item, item_path)
195 popup_menu.append( ("Open", open_func, 1) )
196 \end{verbatim}
199 Another function in the \module{functools} module is the
200 \function{update_wrapper(\var{wrapper}, \var{wrapped})} function that
201 helps you write well-behaved decorators. \function{update_wrapper()}
202 copies the name, module, and docstring attribute to a wrapper function
203 so that tracebacks inside the wrapped function are easier to
204 understand. For example, you might write:
206 \begin{verbatim}
207 def my_decorator(f):
208 def wrapper(*args, **kwds):
209 print 'Calling decorated function'
210 return f(*args, **kwds)
211 functools.update_wrapper(wrapper, f)
212 return wrapper
213 \end{verbatim}
215 \function{wraps()} is a decorator that can be used inside your own
216 decorators to copy the wrapped function's information. An alternate
217 version of the previous example would be:
219 \begin{verbatim}
220 def my_decorator(f):
221 @functools.wraps(f)
222 def wrapper(*args, **kwds):
223 print 'Calling decorated function'
224 return f(*args, **kwds)
225 return wrapper
226 \end{verbatim}
228 \begin{seealso}
230 \seepep{309}{Partial Function Application}{PEP proposed and written by
231 Peter Harris; implemented by Hye-Shik Chang and Nick Coghlan, with
232 adaptations by Raymond Hettinger.}
234 \end{seealso}
237 %======================================================================
238 \section{PEP 314: Metadata for Python Software Packages v1.1\label{pep-314}}
240 Some simple dependency support was added to Distutils. The
241 \function{setup()} function now has \code{requires}, \code{provides},
242 and \code{obsoletes} keyword parameters. When you build a source
243 distribution using the \code{sdist} command, the dependency
244 information will be recorded in the \file{PKG-INFO} file.
246 Another new keyword parameter is \code{download_url}, which should be
247 set to a URL for the package's source code. This means it's now
248 possible to look up an entry in the package index, determine the
249 dependencies for a package, and download the required packages.
251 \begin{verbatim}
252 VERSION = '1.0'
253 setup(name='PyPackage',
254 version=VERSION,
255 requires=['numarray', 'zlib (>=1.1.4)'],
256 obsoletes=['OldPackage']
257 download_url=('http://www.example.com/pypackage/dist/pkg-%s.tar.gz'
258 % VERSION),
260 \end{verbatim}
262 Another new enhancement to the Python package index at
263 \url{http://cheeseshop.python.org} is storing source and binary
264 archives for a package. The new \command{upload} Distutils command
265 will upload a package to the repository.
267 Before a package can be uploaded, you must be able to build a
268 distribution using the \command{sdist} Distutils command. Once that
269 works, you can run \code{python setup.py upload} to add your package
270 to the PyPI archive. Optionally you can GPG-sign the package by
271 supplying the \longprogramopt{sign} and
272 \longprogramopt{identity} options.
274 Package uploading was implemented by Martin von~L\"owis and Richard Jones.
276 \begin{seealso}
278 \seepep{314}{Metadata for Python Software Packages v1.1}{PEP proposed
279 and written by A.M. Kuchling, Richard Jones, and Fred Drake;
280 implemented by Richard Jones and Fred Drake.}
282 \end{seealso}
285 %======================================================================
286 \section{PEP 328: Absolute and Relative Imports\label{pep-328}}
288 The simpler part of PEP 328 was implemented in Python 2.4: parentheses
289 could now be used to enclose the names imported from a module using
290 the \code{from ... import ...} statement, making it easier to import
291 many different names.
293 The more complicated part has been implemented in Python 2.5:
294 importing a module can be specified to use absolute or
295 package-relative imports. The plan is to move toward making absolute
296 imports the default in future versions of Python.
298 Let's say you have a package directory like this:
299 \begin{verbatim}
300 pkg/
301 pkg/__init__.py
302 pkg/main.py
303 pkg/string.py
304 \end{verbatim}
306 This defines a package named \module{pkg} containing the
307 \module{pkg.main} and \module{pkg.string} submodules.
309 Consider the code in the \file{main.py} module. What happens if it
310 executes the statement \code{import string}? In Python 2.4 and
311 earlier, it will first look in the package's directory to perform a
312 relative import, finds \file{pkg/string.py}, imports the contents of
313 that file as the \module{pkg.string} module, and that module is bound
314 to the name \samp{string} in the \module{pkg.main} module's namespace.
316 That's fine if \module{pkg.string} was what you wanted. But what if
317 you wanted Python's standard \module{string} module? There's no clean
318 way to ignore \module{pkg.string} and look for the standard module;
319 generally you had to look at the contents of \code{sys.modules}, which
320 is slightly unclean.
321 Holger Krekel's \module{py.std} package provides a tidier way to perform
322 imports from the standard library, \code{import py ; py.std.string.join()},
323 but that package isn't available on all Python installations.
325 Reading code which relies on relative imports is also less clear,
326 because a reader may be confused about which module, \module{string}
327 or \module{pkg.string}, is intended to be used. Python users soon
328 learned not to duplicate the names of standard library modules in the
329 names of their packages' submodules, but you can't protect against
330 having your submodule's name being used for a new module added in a
331 future version of Python.
333 In Python 2.5, you can switch \keyword{import}'s behaviour to
334 absolute imports using a \code{from __future__ import absolute_import}
335 directive. This absolute-import behaviour will become the default in
336 a future version (probably Python 2.7). Once absolute imports
337 are the default, \code{import string} will
338 always find the standard library's version.
339 It's suggested that users should begin using absolute imports as much
340 as possible, so it's preferable to begin writing \code{from pkg import
341 string} in your code.
343 Relative imports are still possible by adding a leading period
344 to the module name when using the \code{from ... import} form:
346 \begin{verbatim}
347 # Import names from pkg.string
348 from .string import name1, name2
349 # Import pkg.string
350 from . import string
351 \end{verbatim}
353 This imports the \module{string} module relative to the current
354 package, so in \module{pkg.main} this will import \var{name1} and
355 \var{name2} from \module{pkg.string}. Additional leading periods
356 perform the relative import starting from the parent of the current
357 package. For example, code in the \module{A.B.C} module can do:
359 \begin{verbatim}
360 from . import D # Imports A.B.D
361 from .. import E # Imports A.E
362 from ..F import G # Imports A.F.G
363 \end{verbatim}
365 Leading periods cannot be used with the \code{import \var{modname}}
366 form of the import statement, only the \code{from ... import} form.
368 \begin{seealso}
370 \seepep{328}{Imports: Multi-Line and Absolute/Relative}
371 {PEP written by Aahz; implemented by Thomas Wouters.}
373 \seeurl{http://codespeak.net/py/current/doc/index.html}
374 {The py library by Holger Krekel, which contains the \module{py.std} package.}
376 \end{seealso}
379 %======================================================================
380 \section{PEP 338: Executing Modules as Scripts\label{pep-338}}
382 The \programopt{-m} switch added in Python 2.4 to execute a module as
383 a script gained a few more abilities. Instead of being implemented in
384 C code inside the Python interpreter, the switch now uses an
385 implementation in a new module, \module{runpy}.
387 The \module{runpy} module implements a more sophisticated import
388 mechanism so that it's now possible to run modules in a package such
389 as \module{pychecker.checker}. The module also supports alternative
390 import mechanisms such as the \module{zipimport} module. This means
391 you can add a .zip archive's path to \code{sys.path} and then use the
392 \programopt{-m} switch to execute code from the archive.
395 \begin{seealso}
397 \seepep{338}{Executing modules as scripts}{PEP written and
398 implemented by Nick Coghlan.}
400 \end{seealso}
403 %======================================================================
404 \section{PEP 341: Unified try/except/finally\label{pep-341}}
406 Until Python 2.5, the \keyword{try} statement came in two
407 flavours. You could use a \keyword{finally} block to ensure that code
408 is always executed, or one or more \keyword{except} blocks to catch
409 specific exceptions. You couldn't combine both \keyword{except} blocks and a
410 \keyword{finally} block, because generating the right bytecode for the
411 combined version was complicated and it wasn't clear what the
412 semantics of the combined should be.
414 Guido van~Rossum spent some time working with Java, which does support the
415 equivalent of combining \keyword{except} blocks and a
416 \keyword{finally} block, and this clarified what the statement should
417 mean. In Python 2.5, you can now write:
419 \begin{verbatim}
420 try:
421 block-1 ...
422 except Exception1:
423 handler-1 ...
424 except Exception2:
425 handler-2 ...
426 else:
427 else-block
428 finally:
429 final-block
430 \end{verbatim}
432 The code in \var{block-1} is executed. If the code raises an
433 exception, the various \keyword{except} blocks are tested: if the
434 exception is of class \class{Exception1}, \var{handler-1} is executed;
435 otherwise if it's of class \class{Exception2}, \var{handler-2} is
436 executed, and so forth. If no exception is raised, the
437 \var{else-block} is executed.
439 No matter what happened previously, the \var{final-block} is executed
440 once the code block is complete and any raised exceptions handled.
441 Even if there's an error in an exception handler or the
442 \var{else-block} and a new exception is raised, the
443 code in the \var{final-block} is still run.
445 \begin{seealso}
447 \seepep{341}{Unifying try-except and try-finally}{PEP written by Georg Brandl;
448 implementation by Thomas Lee.}
450 \end{seealso}
453 %======================================================================
454 \section{PEP 342: New Generator Features\label{pep-342}}
456 Python 2.5 adds a simple way to pass values \emph{into} a generator.
457 As introduced in Python 2.3, generators only produce output; once a
458 generator's code was invoked to create an iterator, there was no way to
459 pass any new information into the function when its execution is
460 resumed. Sometimes the ability to pass in some information would be
461 useful. Hackish solutions to this include making the generator's code
462 look at a global variable and then changing the global variable's
463 value, or passing in some mutable object that callers then modify.
465 To refresh your memory of basic generators, here's a simple example:
467 \begin{verbatim}
468 def counter (maximum):
469 i = 0
470 while i < maximum:
471 yield i
472 i += 1
473 \end{verbatim}
475 When you call \code{counter(10)}, the result is an iterator that
476 returns the values from 0 up to 9. On encountering the
477 \keyword{yield} statement, the iterator returns the provided value and
478 suspends the function's execution, preserving the local variables.
479 Execution resumes on the following call to the iterator's
480 \method{next()} method, picking up after the \keyword{yield} statement.
482 In Python 2.3, \keyword{yield} was a statement; it didn't return any
483 value. In 2.5, \keyword{yield} is now an expression, returning a
484 value that can be assigned to a variable or otherwise operated on:
486 \begin{verbatim}
487 val = (yield i)
488 \end{verbatim}
490 I recommend that you always put parentheses around a \keyword{yield}
491 expression when you're doing something with the returned value, as in
492 the above example. The parentheses aren't always necessary, but it's
493 easier to always add them instead of having to remember when they're
494 needed.
496 (\pep{342} explains the exact rules, which are that a
497 \keyword{yield}-expression must always be parenthesized except when it
498 occurs at the top-level expression on the right-hand side of an
499 assignment. This means you can write \code{val = yield i} but have to
500 use parentheses when there's an operation, as in \code{val = (yield i)
501 + 12}.)
503 Values are sent into a generator by calling its
504 \method{send(\var{value})} method. The generator's code is then
505 resumed and the \keyword{yield} expression returns the specified
506 \var{value}. If the regular \method{next()} method is called, the
507 \keyword{yield} returns \constant{None}.
509 Here's the previous example, modified to allow changing the value of
510 the internal counter.
512 \begin{verbatim}
513 def counter (maximum):
514 i = 0
515 while i < maximum:
516 val = (yield i)
517 # If value provided, change counter
518 if val is not None:
519 i = val
520 else:
521 i += 1
522 \end{verbatim}
524 And here's an example of changing the counter:
526 \begin{verbatim}
527 >>> it = counter(10)
528 >>> print it.next()
530 >>> print it.next()
532 >>> print it.send(8)
534 >>> print it.next()
536 >>> print it.next()
537 Traceback (most recent call last):
538 File ``t.py'', line 15, in ?
539 print it.next()
540 StopIteration
541 \end{verbatim}
543 Because \keyword{yield} will often be returning \constant{None}, you
544 should always check for this case. Don't just use its value in
545 expressions unless you're sure that the \method{send()} method
546 will be the only method used resume your generator function.
548 In addition to \method{send()}, there are two other new methods on
549 generators:
551 \begin{itemize}
553 \item \method{throw(\var{type}, \var{value}=None,
554 \var{traceback}=None)} is used to raise an exception inside the
555 generator; the exception is raised by the \keyword{yield} expression
556 where the generator's execution is paused.
558 \item \method{close()} raises a new \exception{GeneratorExit}
559 exception inside the generator to terminate the iteration.
560 On receiving this
561 exception, the generator's code must either raise
562 \exception{GeneratorExit} or \exception{StopIteration}; catching the
563 exception and doing anything else is illegal and will trigger
564 a \exception{RuntimeError}. \method{close()} will also be called by
565 Python's garbage collector when the generator is garbage-collected.
567 If you need to run cleanup code when a \exception{GeneratorExit} occurs,
568 I suggest using a \code{try: ... finally:} suite instead of
569 catching \exception{GeneratorExit}.
571 \end{itemize}
573 The cumulative effect of these changes is to turn generators from
574 one-way producers of information into both producers and consumers.
576 Generators also become \emph{coroutines}, a more generalized form of
577 subroutines. Subroutines are entered at one point and exited at
578 another point (the top of the function, and a \keyword{return}
579 statement), but coroutines can be entered, exited, and resumed at
580 many different points (the \keyword{yield} statements). We'll have to
581 figure out patterns for using coroutines effectively in Python.
583 The addition of the \method{close()} method has one side effect that
584 isn't obvious. \method{close()} is called when a generator is
585 garbage-collected, so this means the generator's code gets one last
586 chance to run before the generator is destroyed. This last chance
587 means that \code{try...finally} statements in generators can now be
588 guaranteed to work; the \keyword{finally} clause will now always get a
589 chance to run. The syntactic restriction that you couldn't mix
590 \keyword{yield} statements with a \code{try...finally} suite has
591 therefore been removed. This seems like a minor bit of language
592 trivia, but using generators and \code{try...finally} is actually
593 necessary in order to implement the \keyword{with} statement
594 described by PEP 343. I'll look at this new statement in the following
595 section.
597 Another even more esoteric effect of this change: previously, the
598 \member{gi_frame} attribute of a generator was always a frame object.
599 It's now possible for \member{gi_frame} to be \code{None}
600 once the generator has been exhausted.
602 \begin{seealso}
604 \seepep{342}{Coroutines via Enhanced Generators}{PEP written by
605 Guido van~Rossum and Phillip J. Eby;
606 implemented by Phillip J. Eby. Includes examples of
607 some fancier uses of generators as coroutines.
609 Earlier versions of these features were proposed in
610 \pep{288} by Raymond Hettinger and \pep{325} by Samuele Pedroni.
613 \seeurl{http://en.wikipedia.org/wiki/Coroutine}{The Wikipedia entry for
614 coroutines.}
616 \seeurl{http://www.sidhe.org/\~{}dan/blog/archives/000178.html}{An
617 explanation of coroutines from a Perl point of view, written by Dan
618 Sugalski.}
620 \end{seealso}
623 %======================================================================
624 \section{PEP 343: The 'with' statement\label{pep-343}}
626 The '\keyword{with}' statement clarifies code that previously would
627 use \code{try...finally} blocks to ensure that clean-up code is
628 executed. In this section, I'll discuss the statement as it will
629 commonly be used. In the next section, I'll examine the
630 implementation details and show how to write objects for use with this
631 statement.
633 The '\keyword{with}' statement is a new control-flow structure whose
634 basic structure is:
636 \begin{verbatim}
637 with expression [as variable]:
638 with-block
639 \end{verbatim}
641 The expression is evaluated, and it should result in an object that
642 supports the context management protocol. This object may return a
643 value that can optionally be bound to the name \var{variable}. (Note
644 carefully that \var{variable} is \emph{not} assigned the result of
645 \var{expression}.) The object can then run set-up code
646 before \var{with-block} is executed and some clean-up code
647 is executed after the block is done, even if the block raised an exception.
649 To enable the statement in Python 2.5, you need
650 to add the following directive to your module:
652 \begin{verbatim}
653 from __future__ import with_statement
654 \end{verbatim}
656 The statement will always be enabled in Python 2.6.
658 Some standard Python objects now support the context management
659 protocol and can be used with the '\keyword{with}' statement. File
660 objects are one example:
662 \begin{verbatim}
663 with open('/etc/passwd', 'r') as f:
664 for line in f:
665 print line
666 ... more processing code ...
667 \end{verbatim}
669 After this statement has executed, the file object in \var{f} will
670 have been automatically closed, even if the 'for' loop
671 raised an exception part-way through the block.
673 The \module{threading} module's locks and condition variables
674 also support the '\keyword{with}' statement:
676 \begin{verbatim}
677 lock = threading.Lock()
678 with lock:
679 # Critical section of code
681 \end{verbatim}
683 The lock is acquired before the block is executed and always released once
684 the block is complete.
686 The \module{decimal} module's contexts, which encapsulate the desired
687 precision and rounding characteristics for computations, provide a
688 \method{context_manager()} method for getting a context manager:
690 \begin{verbatim}
691 import decimal
693 # Displays with default precision of 28 digits
694 v1 = decimal.Decimal('578')
695 print v1.sqrt()
697 ctx = decimal.Context(prec=16)
698 with ctx.context_manager():
699 # All code in this block uses a precision of 16 digits.
700 # The original context is restored on exiting the block.
701 print v1.sqrt()
702 \end{verbatim}
704 \subsection{Writing Context Managers\label{context-managers}}
706 Under the hood, the '\keyword{with}' statement is fairly complicated.
707 Most people will only use '\keyword{with}' in company with existing
708 objects and don't need to know these details, so you can skip the rest
709 of this section if you like. Authors of new objects will need to
710 understand the details of the underlying implementation and should
711 keep reading.
713 A high-level explanation of the context management protocol is:
715 \begin{itemize}
717 \item The expression is evaluated and should result in an object
718 called a ``context manager''. The context manager must have
719 \method{__enter__()} and \method{__exit__()} methods.
721 \item The context manager's \method{__enter__()} method is called. The value
722 returned is assigned to \var{VAR}. If no \code{'as \var{VAR}'} clause
723 is present, the value is simply discarded.
725 \item The code in \var{BLOCK} is executed.
727 \item If \var{BLOCK} raises an exception, the
728 \method{__exit__(\var{type}, \var{value}, \var{traceback})} is called
729 with the exception details, the same values returned by
730 \function{sys.exc_info()}. The method's return value controls whether
731 the exception is re-raised: any false value re-raises the exception,
732 and \code{True} will result in suppressing it. You'll only rarely
733 want to suppress the exception, because if you do
734 the author of the code containing the
735 '\keyword{with}' statement will never realize anything went wrong.
737 \item If \var{BLOCK} didn't raise an exception,
738 the \method{__exit__()} method is still called,
739 but \var{type}, \var{value}, and \var{traceback} are all \code{None}.
741 \end{itemize}
743 Let's think through an example. I won't present detailed code but
744 will only sketch the methods necessary for a database that supports
745 transactions.
747 (For people unfamiliar with database terminology: a set of changes to
748 the database are grouped into a transaction. Transactions can be
749 either committed, meaning that all the changes are written into the
750 database, or rolled back, meaning that the changes are all discarded
751 and the database is unchanged. See any database textbook for more
752 information.)
754 Let's assume there's an object representing a database connection.
755 Our goal will be to let the user write code like this:
757 \begin{verbatim}
758 db_connection = DatabaseConnection()
759 with db_connection as cursor:
760 cursor.execute('insert into ...')
761 cursor.execute('delete from ...')
762 # ... more operations ...
763 \end{verbatim}
765 The transaction should be committed if the code in the block
766 runs flawlessly or rolled back if there's an exception.
767 Here's the basic interface
768 for \class{DatabaseConnection} that I'll assume:
770 \begin{verbatim}
771 class DatabaseConnection:
772 # Database interface
773 def cursor (self):
774 "Returns a cursor object and starts a new transaction"
775 def commit (self):
776 "Commits current transaction"
777 def rollback (self):
778 "Rolls back current transaction"
779 \end{verbatim}
781 The \method {__enter__()} method is pretty easy, having only to start
782 a new transaction. For this application the resulting cursor object
783 would be a useful result, so the method will return it. The user can
784 then add \code{as cursor} to their '\keyword{with}' statement to bind
785 the cursor to a variable name.
787 \begin{verbatim}
788 class DatabaseConnection:
790 def __enter__ (self):
791 # Code to start a new transaction
792 cursor = self.cursor()
793 return cursor
794 \end{verbatim}
796 The \method{__exit__()} method is the most complicated because it's
797 where most of the work has to be done. The method has to check if an
798 exception occurred. If there was no exception, the transaction is
799 committed. The transaction is rolled back if there was an exception.
801 In the code below, execution will just fall off the end of the
802 function, returning the default value of \code{None}. \code{None} is
803 false, so the exception will be re-raised automatically. If you
804 wished, you could be more explicit and add a \keyword{return}
805 statement at the marked location.
807 \begin{verbatim}
808 class DatabaseConnection:
810 def __exit__ (self, type, value, tb):
811 if tb is None:
812 # No exception, so commit
813 self.commit()
814 else:
815 # Exception occurred, so rollback.
816 self.rollback()
817 # return False
818 \end{verbatim}
821 \subsection{The contextlib module\label{module-contextlib}}
823 The new \module{contextlib} module provides some functions and a
824 decorator that are useful for writing objects for use with the
825 '\keyword{with}' statement.
827 The decorator is called \function{contextmanager}, and lets you write
828 a single generator function instead of defining a new class. The generator
829 should yield exactly one value. The code up to the \keyword{yield}
830 will be executed as the \method{__enter__()} method, and the value
831 yielded will be the method's return value that will get bound to the
832 variable in the '\keyword{with}' statement's \keyword{as} clause, if
833 any. The code after the \keyword{yield} will be executed in the
834 \method{__exit__()} method. Any exception raised in the block will be
835 raised by the \keyword{yield} statement.
837 Our database example from the previous section could be written
838 using this decorator as:
840 \begin{verbatim}
841 from contextlib import contextmanager
843 @contextmanager
844 def db_transaction (connection):
845 cursor = connection.cursor()
846 try:
847 yield cursor
848 except:
849 connection.rollback()
850 raise
851 else:
852 connection.commit()
854 db = DatabaseConnection()
855 with db_transaction(db) as cursor:
857 \end{verbatim}
859 The \module{contextlib} module also has a \function{nested(\var{mgr1},
860 \var{mgr2}, ...)} function that combines a number of context managers so you
861 don't need to write nested '\keyword{with}' statements. In this
862 example, the single '\keyword{with}' statement both starts a database
863 transaction and acquires a thread lock:
865 \begin{verbatim}
866 lock = threading.Lock()
867 with nested (db_transaction(db), lock) as (cursor, locked):
869 \end{verbatim}
871 Finally, the \function{closing(\var{object})} function
872 returns \var{object} so that it can be bound to a variable,
873 and calls \code{\var{object}.close()} at the end of the block.
875 \begin{verbatim}
876 import urllib, sys
877 from contextlib import closing
879 with closing(urllib.urlopen('http://www.yahoo.com')) as f:
880 for line in f:
881 sys.stdout.write(line)
882 \end{verbatim}
884 \begin{seealso}
886 \seepep{343}{The ``with'' statement}{PEP written by Guido van~Rossum
887 and Nick Coghlan; implemented by Mike Bland, Guido van~Rossum, and
888 Neal Norwitz. The PEP shows the code generated for a '\keyword{with}'
889 statement, which can be helpful in learning how the statement works.}
891 \seeurl{../lib/module-contextlib.html}{The documentation
892 for the \module{contextlib} module.}
894 \end{seealso}
897 %======================================================================
898 \section{PEP 352: Exceptions as New-Style Classes\label{pep-352}}
900 Exception classes can now be new-style classes, not just classic
901 classes, and the built-in \exception{Exception} class and all the
902 standard built-in exceptions (\exception{NameError},
903 \exception{ValueError}, etc.) are now new-style classes.
905 The inheritance hierarchy for exceptions has been rearranged a bit.
906 In 2.5, the inheritance relationships are:
908 \begin{verbatim}
909 BaseException # New in Python 2.5
910 |- KeyboardInterrupt
911 |- SystemExit
912 |- Exception
913 |- (all other current built-in exceptions)
914 \end{verbatim}
916 This rearrangement was done because people often want to catch all
917 exceptions that indicate program errors. \exception{KeyboardInterrupt} and
918 \exception{SystemExit} aren't errors, though, and usually represent an explicit
919 action such as the user hitting Control-C or code calling
920 \function{sys.exit()}. A bare \code{except:} will catch all exceptions,
921 so you commonly need to list \exception{KeyboardInterrupt} and
922 \exception{SystemExit} in order to re-raise them. The usual pattern is:
924 \begin{verbatim}
925 try:
927 except (KeyboardInterrupt, SystemExit):
928 raise
929 except:
930 # Log error...
931 # Continue running program...
932 \end{verbatim}
934 In Python 2.5, you can now write \code{except Exception} to achieve
935 the same result, catching all the exceptions that usually indicate errors
936 but leaving \exception{KeyboardInterrupt} and
937 \exception{SystemExit} alone. As in previous versions,
938 a bare \code{except:} still catches all exceptions.
940 The goal for Python 3.0 is to require any class raised as an exception
941 to derive from \exception{BaseException} or some descendant of
942 \exception{BaseException}, and future releases in the
943 Python 2.x series may begin to enforce this constraint. Therefore, I
944 suggest you begin making all your exception classes derive from
945 \exception{Exception} now. It's been suggested that the bare
946 \code{except:} form should be removed in Python 3.0, but Guido van~Rossum
947 hasn't decided whether to do this or not.
949 Raising of strings as exceptions, as in the statement \code{raise
950 "Error occurred"}, is deprecated in Python 2.5 and will trigger a
951 warning. The aim is to be able to remove the string-exception feature
952 in a few releases.
955 \begin{seealso}
957 \seepep{352}{Required Superclass for Exceptions}{PEP written by
958 Brett Cannon and Guido van~Rossum; implemented by Brett Cannon.}
960 \end{seealso}
963 %======================================================================
964 \section{PEP 353: Using ssize_t as the index type\label{pep-353}}
966 A wide-ranging change to Python's C API, using a new
967 \ctype{Py_ssize_t} type definition instead of \ctype{int},
968 will permit the interpreter to handle more data on 64-bit platforms.
969 This change doesn't affect Python's capacity on 32-bit platforms.
971 Various pieces of the Python interpreter used C's \ctype{int} type to
972 store sizes or counts; for example, the number of items in a list or
973 tuple were stored in an \ctype{int}. The C compilers for most 64-bit
974 platforms still define \ctype{int} as a 32-bit type, so that meant
975 that lists could only hold up to \code{2**31 - 1} = 2147483647 items.
976 (There are actually a few different programming models that 64-bit C
977 compilers can use -- see
978 \url{http://www.unix.org/version2/whatsnew/lp64_wp.html} for a
979 discussion -- but the most commonly available model leaves \ctype{int}
980 as 32 bits.)
982 A limit of 2147483647 items doesn't really matter on a 32-bit platform
983 because you'll run out of memory before hitting the length limit.
984 Each list item requires space for a pointer, which is 4 bytes, plus
985 space for a \ctype{PyObject} representing the item. 2147483647*4 is
986 already more bytes than a 32-bit address space can contain.
988 It's possible to address that much memory on a 64-bit platform,
989 however. The pointers for a list that size would only require 16~GiB
990 of space, so it's not unreasonable that Python programmers might
991 construct lists that large. Therefore, the Python interpreter had to
992 be changed to use some type other than \ctype{int}, and this will be a
993 64-bit type on 64-bit platforms. The change will cause
994 incompatibilities on 64-bit machines, so it was deemed worth making
995 the transition now, while the number of 64-bit users is still
996 relatively small. (In 5 or 10 years, we may \emph{all} be on 64-bit
997 machines, and the transition would be more painful then.)
999 This change most strongly affects authors of C extension modules.
1000 Python strings and container types such as lists and tuples
1001 now use \ctype{Py_ssize_t} to store their size.
1002 Functions such as \cfunction{PyList_Size()}
1003 now return \ctype{Py_ssize_t}. Code in extension modules
1004 may therefore need to have some variables changed to
1005 \ctype{Py_ssize_t}.
1007 The \cfunction{PyArg_ParseTuple()} and \cfunction{Py_BuildValue()} functions
1008 have a new conversion code, \samp{n}, for \ctype{Py_ssize_t}.
1009 \cfunction{PyArg_ParseTuple()}'s \samp{s\#} and \samp{t\#} still output
1010 \ctype{int} by default, but you can define the macro
1011 \csimplemacro{PY_SSIZE_T_CLEAN} before including \file{Python.h}
1012 to make them return \ctype{Py_ssize_t}.
1014 \pep{353} has a section on conversion guidelines that
1015 extension authors should read to learn about supporting 64-bit
1016 platforms.
1018 \begin{seealso}
1020 \seepep{353}{Using ssize_t as the index type}{PEP written and implemented by Martin von~L\"owis.}
1022 \end{seealso}
1025 %======================================================================
1026 \section{PEP 357: The '__index__' method\label{pep-357}}
1028 The NumPy developers had a problem that could only be solved by adding
1029 a new special method, \method{__index__}. When using slice notation,
1030 as in \code{[\var{start}:\var{stop}:\var{step}]}, the values of the
1031 \var{start}, \var{stop}, and \var{step} indexes must all be either
1032 integers or long integers. NumPy defines a variety of specialized
1033 integer types corresponding to unsigned and signed integers of 8, 16,
1034 32, and 64 bits, but there was no way to signal that these types could
1035 be used as slice indexes.
1037 Slicing can't just use the existing \method{__int__} method because
1038 that method is also used to implement coercion to integers. If
1039 slicing used \method{__int__}, floating-point numbers would also
1040 become legal slice indexes and that's clearly an undesirable
1041 behaviour.
1043 Instead, a new special method called \method{__index__} was added. It
1044 takes no arguments and returns an integer giving the slice index to
1045 use. For example:
1047 \begin{verbatim}
1048 class C:
1049 def __index__ (self):
1050 return self.value
1051 \end{verbatim}
1053 The return value must be either a Python integer or long integer.
1054 The interpreter will check that the type returned is correct, and
1055 raises a \exception{TypeError} if this requirement isn't met.
1057 A corresponding \member{nb_index} slot was added to the C-level
1058 \ctype{PyNumberMethods} structure to let C extensions implement this
1059 protocol. \cfunction{PyNumber_Index(\var{obj})} can be used in
1060 extension code to call the \method{__index__} function and retrieve
1061 its result.
1063 \begin{seealso}
1065 \seepep{357}{Allowing Any Object to be Used for Slicing}{PEP written
1066 and implemented by Travis Oliphant.}
1068 \end{seealso}
1071 %======================================================================
1072 \section{Other Language Changes\label{other-lang}}
1074 Here are all of the changes that Python 2.5 makes to the core Python
1075 language.
1077 \begin{itemize}
1079 \item The \class{dict} type has a new hook for letting subclasses
1080 provide a default value when a key isn't contained in the dictionary.
1081 When a key isn't found, the dictionary's
1082 \method{__missing__(\var{key})}
1083 method will be called. This hook is used to implement
1084 the new \class{defaultdict} class in the \module{collections}
1085 module. The following example defines a dictionary
1086 that returns zero for any missing key:
1088 \begin{verbatim}
1089 class zerodict (dict):
1090 def __missing__ (self, key):
1091 return 0
1093 d = zerodict({1:1, 2:2})
1094 print d[1], d[2] # Prints 1, 2
1095 print d[3], d[4] # Prints 0, 0
1096 \end{verbatim}
1098 \item Both 8-bit and Unicode strings have new \method{partition(sep)}
1099 and \method{rpartition(sep)} methods that simplify a common use case.
1101 The \method{find(S)} method is often used to get an index which is
1102 then used to slice the string and obtain the pieces that are before
1103 and after the separator.
1104 \method{partition(sep)} condenses this
1105 pattern into a single method call that returns a 3-tuple containing
1106 the substring before the separator, the separator itself, and the
1107 substring after the separator. If the separator isn't found, the
1108 first element of the tuple is the entire string and the other two
1109 elements are empty. \method{rpartition(sep)} also returns a 3-tuple
1110 but starts searching from the end of the string; the \samp{r} stands
1111 for 'reverse'.
1113 Some examples:
1115 \begin{verbatim}
1116 >>> ('http://www.python.org').partition('://')
1117 ('http', '://', 'www.python.org')
1118 >>> (u'Subject: a quick question').partition(':')
1119 (u'Subject', u':', u' a quick question')
1120 >>> ('file:/usr/share/doc/index.html').partition('://')
1121 ('file:/usr/share/doc/index.html', '', '')
1122 >>> 'www.python.org'.rpartition('.')
1123 ('www.python', '.', 'org')
1124 \end{verbatim}
1126 (Implemented by Fredrik Lundh following a suggestion by Raymond Hettinger.)
1128 \item The \method{startswith()} and \method{endswith()} methods
1129 of string types now accept tuples of strings to check for.
1131 \begin{verbatim}
1132 def is_image_file (filename):
1133 return filename.endswith(('.gif', '.jpg', '.tiff'))
1134 \end{verbatim}
1136 (Implemented by Georg Brandl following a suggestion by Tom Lynn.)
1137 % RFE #1491485
1139 \item The \function{min()} and \function{max()} built-in functions
1140 gained a \code{key} keyword parameter analogous to the \code{key}
1141 argument for \method{sort()}. This parameter supplies a function that
1142 takes a single argument and is called for every value in the list;
1143 \function{min()}/\function{max()} will return the element with the
1144 smallest/largest return value from this function.
1145 For example, to find the longest string in a list, you can do:
1147 \begin{verbatim}
1148 L = ['medium', 'longest', 'short']
1149 # Prints 'longest'
1150 print max(L, key=len)
1151 # Prints 'short', because lexicographically 'short' has the largest value
1152 print max(L)
1153 \end{verbatim}
1155 (Contributed by Steven Bethard and Raymond Hettinger.)
1157 \item Two new built-in functions, \function{any()} and
1158 \function{all()}, evaluate whether an iterator contains any true or
1159 false values. \function{any()} returns \constant{True} if any value
1160 returned by the iterator is true; otherwise it will return
1161 \constant{False}. \function{all()} returns \constant{True} only if
1162 all of the values returned by the iterator evaluate as true.
1163 (Suggested by Guido van~Rossum, and implemented by Raymond Hettinger.)
1165 \item The result of a class's \method{__hash__()} method can now
1166 be either a long integer or a regular integer. If a long integer is
1167 returned, the hash of that value is taken. In earlier versions the
1168 hash value was required to be a regular integer, but in 2.5 the
1169 \function{id()} built-in was changed to always return non-negative
1170 numbers, and users often seem to use \code{id(self)} in
1171 \method{__hash__()} methods (though this is discouraged).
1172 % Bug #1536021
1174 \item ASCII is now the default encoding for modules. It's now
1175 a syntax error if a module contains string literals with 8-bit
1176 characters but doesn't have an encoding declaration. In Python 2.4
1177 this triggered a warning, not a syntax error. See \pep{263}
1178 for how to declare a module's encoding; for example, you might add
1179 a line like this near the top of the source file:
1181 \begin{verbatim}
1182 # -*- coding: latin1 -*-
1183 \end{verbatim}
1185 \item A new warning, \class{UnicodeWarning}, is triggered when
1186 you attempt to compare a Unicode string and an 8-bit string
1187 that can't be converted to Unicode using the default ASCII encoding.
1188 The result of the comparison is false:
1190 \begin{verbatim}
1191 >>> chr(128) == unichr(128) # Can't convert chr(128) to Unicode
1192 __main__:1: UnicodeWarning: Unicode equal comparison failed
1193 to convert both arguments to Unicode - interpreting them
1194 as being unequal
1195 False
1196 >>> chr(127) == unichr(127) # chr(127) can be converted
1197 True
1198 \end{verbatim}
1200 Previously this would raise a \class{UnicodeDecodeError} exception,
1201 but in 2.5 this could result in puzzling problems when accessing a
1202 dictionary. If you looked up \code{unichr(128)} and \code{chr(128)}
1203 was being used as a key, you'd get a \class{UnicodeDecodeError}
1204 exception. Other changes in 2.5 resulted in this exception being
1205 raised instead of suppressed by the code in \file{dictobject.c} that
1206 implements dictionaries.
1208 Raising an exception for such a comparison is strictly correct, but
1209 the change might have broken code, so instead
1210 \class{UnicodeWarning} was introduced.
1212 (Implemented by Marc-Andr\'e Lemburg.)
1214 \item One error that Python programmers sometimes make is forgetting
1215 to include an \file{__init__.py} module in a package directory.
1216 Debugging this mistake can be confusing, and usually requires running
1217 Python with the \programopt{-v} switch to log all the paths searched.
1218 In Python 2.5, a new \exception{ImportWarning} warning is triggered when
1219 an import would have picked up a directory as a package but no
1220 \file{__init__.py} was found. This warning is silently ignored by default;
1221 provide the \programopt{-Wd} option when running the Python executable
1222 to display the warning message.
1223 (Implemented by Thomas Wouters.)
1225 \item The list of base classes in a class definition can now be empty.
1226 As an example, this is now legal:
1228 \begin{verbatim}
1229 class C():
1230 pass
1231 \end{verbatim}
1232 (Implemented by Brett Cannon.)
1234 \end{itemize}
1237 %======================================================================
1238 \subsection{Interactive Interpreter Changes\label{interactive}}
1240 In the interactive interpreter, \code{quit} and \code{exit}
1241 have long been strings so that new users get a somewhat helpful message
1242 when they try to quit:
1244 \begin{verbatim}
1245 >>> quit
1246 'Use Ctrl-D (i.e. EOF) to exit.'
1247 \end{verbatim}
1249 In Python 2.5, \code{quit} and \code{exit} are now objects that still
1250 produce string representations of themselves, but are also callable.
1251 Newbies who try \code{quit()} or \code{exit()} will now exit the
1252 interpreter as they expect. (Implemented by Georg Brandl.)
1254 The Python executable now accepts the standard long options
1255 \longprogramopt{help} and \longprogramopt{version}; on Windows,
1256 it also accepts the \programopt{/?} option for displaying a help message.
1257 (Implemented by Georg Brandl.)
1260 %======================================================================
1261 \subsection{Optimizations\label{opts}}
1263 Several of the optimizations were developed at the NeedForSpeed
1264 sprint, an event held in Reykjavik, Iceland, from May 21--28 2006.
1265 The sprint focused on speed enhancements to the CPython implementation
1266 and was funded by EWT LLC with local support from CCP Games. Those
1267 optimizations added at this sprint are specially marked in the
1268 following list.
1270 \begin{itemize}
1272 \item When they were introduced
1273 in Python 2.4, the built-in \class{set} and \class{frozenset} types
1274 were built on top of Python's dictionary type.
1275 In 2.5 the internal data structure has been customized for implementing sets,
1276 and as a result sets will use a third less memory and are somewhat faster.
1277 (Implemented by Raymond Hettinger.)
1279 \item The speed of some Unicode operations, such as finding
1280 substrings, string splitting, and character map encoding and decoding,
1281 has been improved. (Substring search and splitting improvements were
1282 added by Fredrik Lundh and Andrew Dalke at the NeedForSpeed
1283 sprint. Character maps were improved by Walter D\"orwald and
1284 Martin von~L\"owis.)
1285 % Patch 1313939, 1359618
1287 \item The \function{long(\var{str}, \var{base})} function is now
1288 faster on long digit strings because fewer intermediate results are
1289 calculated. The peak is for strings of around 800--1000 digits where
1290 the function is 6 times faster.
1291 (Contributed by Alan McIntyre and committed at the NeedForSpeed sprint.)
1292 % Patch 1442927
1294 \item The \module{struct} module now compiles structure format
1295 strings into an internal representation and caches this
1296 representation, yielding a 20\% speedup. (Contributed by Bob Ippolito
1297 at the NeedForSpeed sprint.)
1299 \item The \module{re} module got a 1 or 2\% speedup by switching to
1300 Python's allocator functions instead of the system's
1301 \cfunction{malloc()} and \cfunction{free()}.
1302 (Contributed by Jack Diederich at the NeedForSpeed sprint.)
1304 \item The code generator's peephole optimizer now performs
1305 simple constant folding in expressions. If you write something like
1306 \code{a = 2+3}, the code generator will do the arithmetic and produce
1307 code corresponding to \code{a = 5}. (Proposed and implemented
1308 by Raymond Hettinger.)
1310 \item Function calls are now faster because code objects now keep
1311 the most recently finished frame (a ``zombie frame'') in an internal
1312 field of the code object, reusing it the next time the code object is
1313 invoked. (Original patch by Michael Hudson, modified by Armin Rigo
1314 and Richard Jones; committed at the NeedForSpeed sprint.)
1315 % Patch 876206
1317 Frame objects are also slightly smaller, which may improve cache locality
1318 and reduce memory usage a bit. (Contributed by Neal Norwitz.)
1319 % Patch 1337051
1321 \item Python's built-in exceptions are now new-style classes, a change
1322 that speeds up instantiation considerably. Exception handling in
1323 Python 2.5 is therefore about 30\% faster than in 2.4.
1324 (Contributed by Richard Jones, Georg Brandl and Sean Reifschneider at
1325 the NeedForSpeed sprint.)
1327 \item Importing now caches the paths tried, recording whether
1328 they exist or not so that the interpreter makes fewer
1329 \cfunction{open()} and \cfunction{stat()} calls on startup.
1330 (Contributed by Martin von~L\"owis and Georg Brandl.)
1331 % Patch 921466
1333 \end{itemize}
1336 %======================================================================
1337 \section{New, Improved, and Removed Modules\label{modules}}
1339 The standard library received many enhancements and bug fixes in
1340 Python 2.5. Here's a partial list of the most notable changes, sorted
1341 alphabetically by module name. Consult the \file{Misc/NEWS} file in
1342 the source tree for a more complete list of changes, or look through
1343 the SVN logs for all the details.
1345 \begin{itemize}
1347 \item The \module{audioop} module now supports the a-LAW encoding,
1348 and the code for u-LAW encoding has been improved. (Contributed by
1349 Lars Immisch.)
1351 \item The \module{codecs} module gained support for incremental
1352 codecs. The \function{codec.lookup()} function now
1353 returns a \class{CodecInfo} instance instead of a tuple.
1354 \class{CodecInfo} instances behave like a 4-tuple to preserve backward
1355 compatibility but also have the attributes \member{encode},
1356 \member{decode}, \member{incrementalencoder}, \member{incrementaldecoder},
1357 \member{streamwriter}, and \member{streamreader}. Incremental codecs
1358 can receive input and produce output in multiple chunks; the output is
1359 the same as if the entire input was fed to the non-incremental codec.
1360 See the \module{codecs} module documentation for details.
1361 (Designed and implemented by Walter D\"orwald.)
1362 % Patch 1436130
1364 \item The \module{collections} module gained a new type,
1365 \class{defaultdict}, that subclasses the standard \class{dict}
1366 type. The new type mostly behaves like a dictionary but constructs a
1367 default value when a key isn't present, automatically adding it to the
1368 dictionary for the requested key value.
1370 The first argument to \class{defaultdict}'s constructor is a factory
1371 function that gets called whenever a key is requested but not found.
1372 This factory function receives no arguments, so you can use built-in
1373 type constructors such as \function{list()} or \function{int()}. For
1374 example,
1375 you can make an index of words based on their initial letter like this:
1377 \begin{verbatim}
1378 words = """Nel mezzo del cammin di nostra vita
1379 mi ritrovai per una selva oscura
1380 che la diritta via era smarrita""".lower().split()
1382 index = defaultdict(list)
1384 for w in words:
1385 init_letter = w[0]
1386 index[init_letter].append(w)
1387 \end{verbatim}
1389 Printing \code{index} results in the following output:
1391 \begin{verbatim}
1392 defaultdict(<type 'list'>, {'c': ['cammin', 'che'], 'e': ['era'],
1393 'd': ['del', 'di', 'diritta'], 'm': ['mezzo', 'mi'],
1394 'l': ['la'], 'o': ['oscura'], 'n': ['nel', 'nostra'],
1395 'p': ['per'], 's': ['selva', 'smarrita'],
1396 'r': ['ritrovai'], 'u': ['una'], 'v': ['vita', 'via']}
1397 \end{verbatim}
1399 (Contributed by Guido van~Rossum.)
1401 \item The \class{deque} double-ended queue type supplied by the
1402 \module{collections} module now has a \method{remove(\var{value})}
1403 method that removes the first occurrence of \var{value} in the queue,
1404 raising \exception{ValueError} if the value isn't found.
1405 (Contributed by Raymond Hettinger.)
1407 \item New module: The \module{contextlib} module contains helper functions for use
1408 with the new '\keyword{with}' statement. See
1409 section~\ref{module-contextlib} for more about this module.
1411 \item New module: The \module{cProfile} module is a C implementation of
1412 the existing \module{profile} module that has much lower overhead.
1413 The module's interface is the same as \module{profile}: you run
1414 \code{cProfile.run('main()')} to profile a function, can save profile
1415 data to a file, etc. It's not yet known if the Hotshot profiler,
1416 which is also written in C but doesn't match the \module{profile}
1417 module's interface, will continue to be maintained in future versions
1418 of Python. (Contributed by Armin Rigo.)
1420 Also, the \module{pstats} module for analyzing the data measured by
1421 the profiler now supports directing the output to any file object
1422 by supplying a \var{stream} argument to the \class{Stats} constructor.
1423 (Contributed by Skip Montanaro.)
1425 \item The \module{csv} module, which parses files in
1426 comma-separated value format, received several enhancements and a
1427 number of bugfixes. You can now set the maximum size in bytes of a
1428 field by calling the \method{csv.field_size_limit(\var{new_limit})}
1429 function; omitting the \var{new_limit} argument will return the
1430 currently-set limit. The \class{reader} class now has a
1431 \member{line_num} attribute that counts the number of physical lines
1432 read from the source; records can span multiple physical lines, so
1433 \member{line_num} is not the same as the number of records read.
1435 The CSV parser is now stricter about multi-line quoted
1436 fields. Previously, if a line ended within a quoted field without a
1437 terminating newline character, a newline would be inserted into the
1438 returned field. This behavior caused problems when reading files that
1439 contained carriage return characters within fields, so the code was
1440 changed to return the field without inserting newlines. As a
1441 consequence, if newlines embedded within fields are important, the
1442 input should be split into lines in a manner that preserves the
1443 newline characters.
1445 (Contributed by Skip Montanaro and Andrew McNamara.)
1447 \item The \class{datetime} class in the \module{datetime}
1448 module now has a \method{strptime(\var{string}, \var{format})}
1449 method for parsing date strings, contributed by Josh Spoerri.
1450 It uses the same format characters as \function{time.strptime()} and
1451 \function{time.strftime()}:
1453 \begin{verbatim}
1454 from datetime import datetime
1456 ts = datetime.strptime('10:13:15 2006-03-07',
1457 '%H:%M:%S %Y-%m-%d')
1458 \end{verbatim}
1460 \item The \method{SequenceMatcher.get_matching_blocks()} method
1461 in the \module{difflib} module now guarantees to return a minimal list
1462 of blocks describing matching subsequences. Previously, the algorithm would
1463 occasionally break a block of matching elements into two list entries.
1464 (Enhancement by Tim Peters.)
1466 \item The \module{doctest} module gained a \code{SKIP} option that
1467 keeps an example from being executed at all. This is intended for
1468 code snippets that are usage examples intended for the reader and
1469 aren't actually test cases.
1471 An \var{encoding} parameter was added to the \function{testfile()}
1472 function and the \class{DocFileSuite} class to specify the file's
1473 encoding. This makes it easier to use non-ASCII characters in
1474 tests contained within a docstring. (Contributed by Bjorn Tillenius.)
1475 % Patch 1080727
1477 \item The \module{email} package has been updated to version 4.0.
1478 % XXX need to provide some more detail here
1479 (Contributed by Barry Warsaw.)
1481 \item The \module{fileinput} module was made more flexible.
1482 Unicode filenames are now supported, and a \var{mode} parameter that
1483 defaults to \code{"r"} was added to the
1484 \function{input()} function to allow opening files in binary or
1485 universal-newline mode. Another new parameter, \var{openhook},
1486 lets you use a function other than \function{open()}
1487 to open the input files. Once you're iterating over
1488 the set of files, the \class{FileInput} object's new
1489 \method{fileno()} returns the file descriptor for the currently opened file.
1490 (Contributed by Georg Brandl.)
1492 \item In the \module{gc} module, the new \function{get_count()} function
1493 returns a 3-tuple containing the current collection counts for the
1494 three GC generations. This is accounting information for the garbage
1495 collector; when these counts reach a specified threshold, a garbage
1496 collection sweep will be made. The existing \function{gc.collect()}
1497 function now takes an optional \var{generation} argument of 0, 1, or 2
1498 to specify which generation to collect.
1499 (Contributed by Barry Warsaw.)
1501 \item The \function{nsmallest()} and
1502 \function{nlargest()} functions in the \module{heapq} module
1503 now support a \code{key} keyword parameter similar to the one
1504 provided by the \function{min()}/\function{max()} functions
1505 and the \method{sort()} methods. For example:
1507 \begin{verbatim}
1508 >>> import heapq
1509 >>> L = ["short", 'medium', 'longest', 'longer still']
1510 >>> heapq.nsmallest(2, L) # Return two lowest elements, lexicographically
1511 ['longer still', 'longest']
1512 >>> heapq.nsmallest(2, L, key=len) # Return two shortest elements
1513 ['short', 'medium']
1514 \end{verbatim}
1516 (Contributed by Raymond Hettinger.)
1518 \item The \function{itertools.islice()} function now accepts
1519 \code{None} for the start and step arguments. This makes it more
1520 compatible with the attributes of slice objects, so that you can now write
1521 the following:
1523 \begin{verbatim}
1524 s = slice(5) # Create slice object
1525 itertools.islice(iterable, s.start, s.stop, s.step)
1526 \end{verbatim}
1528 (Contributed by Raymond Hettinger.)
1530 \item The \function{format()} function in the \module{locale} module
1531 has been modified and two new functions were added,
1532 \function{format_string()} and \function{currency()}.
1534 The \function{format()} function's \var{val} parameter could
1535 previously be a string as long as no more than one \%char specifier
1536 appeared; now the parameter must be exactly one \%char specifier with
1537 no surrounding text. An optional \var{monetary} parameter was also
1538 added which, if \code{True}, will use the locale's rules for
1539 formatting currency in placing a separator between groups of three
1540 digits.
1542 To format strings with multiple \%char specifiers, use the new
1543 \function{format_string()} function that works like \function{format()}
1544 but also supports mixing \%char specifiers with
1545 arbitrary text.
1547 A new \function{currency()} function was also added that formats a
1548 number according to the current locale's settings.
1550 (Contributed by Georg Brandl.)
1551 % Patch 1180296
1553 \item The \module{mailbox} module underwent a massive rewrite to add
1554 the capability to modify mailboxes in addition to reading them. A new
1555 set of classes that include \class{mbox}, \class{MH}, and
1556 \class{Maildir} are used to read mailboxes, and have an
1557 \method{add(\var{message})} method to add messages,
1558 \method{remove(\var{key})} to remove messages, and
1559 \method{lock()}/\method{unlock()} to lock/unlock the mailbox. The
1560 following example converts a maildir-format mailbox into an mbox-format one:
1562 \begin{verbatim}
1563 import mailbox
1565 # 'factory=None' uses email.Message.Message as the class representing
1566 # individual messages.
1567 src = mailbox.Maildir('maildir', factory=None)
1568 dest = mailbox.mbox('/tmp/mbox')
1570 for msg in src:
1571 dest.add(msg)
1572 \end{verbatim}
1574 (Contributed by Gregory K. Johnson. Funding was provided by Google's
1575 2005 Summer of Code.)
1577 \item New module: the \module{msilib} module allows creating
1578 Microsoft Installer \file{.msi} files and CAB files. Some support
1579 for reading the \file{.msi} database is also included.
1580 (Contributed by Martin von~L\"owis.)
1582 \item The \module{nis} module now supports accessing domains other
1583 than the system default domain by supplying a \var{domain} argument to
1584 the \function{nis.match()} and \function{nis.maps()} functions.
1585 (Contributed by Ben Bell.)
1587 \item The \module{operator} module's \function{itemgetter()}
1588 and \function{attrgetter()} functions now support multiple fields.
1589 A call such as \code{operator.attrgetter('a', 'b')}
1590 will return a function
1591 that retrieves the \member{a} and \member{b} attributes. Combining
1592 this new feature with the \method{sort()} method's \code{key} parameter
1593 lets you easily sort lists using multiple fields.
1594 (Contributed by Raymond Hettinger.)
1596 \item The \module{optparse} module was updated to version 1.5.1 of the
1597 Optik library. The \class{OptionParser} class gained an
1598 \member{epilog} attribute, a string that will be printed after the
1599 help message, and a \method{destroy()} method to break reference
1600 cycles created by the object. (Contributed by Greg Ward.)
1602 \item The \module{os} module underwent several changes. The
1603 \member{stat_float_times} variable now defaults to true, meaning that
1604 \function{os.stat()} will now return time values as floats. (This
1605 doesn't necessarily mean that \function{os.stat()} will return times
1606 that are precise to fractions of a second; not all systems support
1607 such precision.)
1609 Constants named \member{os.SEEK_SET}, \member{os.SEEK_CUR}, and
1610 \member{os.SEEK_END} have been added; these are the parameters to the
1611 \function{os.lseek()} function. Two new constants for locking are
1612 \member{os.O_SHLOCK} and \member{os.O_EXLOCK}.
1614 Two new functions, \function{wait3()} and \function{wait4()}, were
1615 added. They're similar the \function{waitpid()} function which waits
1616 for a child process to exit and returns a tuple of the process ID and
1617 its exit status, but \function{wait3()} and \function{wait4()} return
1618 additional information. \function{wait3()} doesn't take a process ID
1619 as input, so it waits for any child process to exit and returns a
1620 3-tuple of \var{process-id}, \var{exit-status}, \var{resource-usage}
1621 as returned from the \function{resource.getrusage()} function.
1622 \function{wait4(\var{pid})} does take a process ID.
1623 (Contributed by Chad J. Schroeder.)
1625 On FreeBSD, the \function{os.stat()} function now returns
1626 times with nanosecond resolution, and the returned object
1627 now has \member{st_gen} and \member{st_birthtime}.
1628 The \member{st_flags} member is also available, if the platform supports it.
1629 (Contributed by Antti Louko and Diego Petten\`o.)
1630 % (Patch 1180695, 1212117)
1632 \item The Python debugger provided by the \module{pdb} module
1633 can now store lists of commands to execute when a breakpoint is
1634 reached and execution stops. Once breakpoint \#1 has been created,
1635 enter \samp{commands 1} and enter a series of commands to be executed,
1636 finishing the list with \samp{end}. The command list can include
1637 commands that resume execution, such as \samp{continue} or
1638 \samp{next}. (Contributed by Gr\'egoire Dooms.)
1639 % Patch 790710
1641 \item The \module{pickle} and \module{cPickle} modules no
1642 longer accept a return value of \code{None} from the
1643 \method{__reduce__()} method; the method must return a tuple of
1644 arguments instead. The ability to return \code{None} was deprecated
1645 in Python 2.4, so this completes the removal of the feature.
1647 \item The \module{pkgutil} module, containing various utility
1648 functions for finding packages, was enhanced to support PEP 302's
1649 import hooks and now also works for packages stored in ZIP-format archives.
1650 (Contributed by Phillip J. Eby.)
1652 \item The pybench benchmark suite by Marc-Andr\'e~Lemburg is now
1653 included in the \file{Tools/pybench} directory. The pybench suite is
1654 an improvement on the commonly used \file{pystone.py} program because
1655 pybench provides a more detailed measurement of the interpreter's
1656 speed. It times particular operations such as function calls,
1657 tuple slicing, method lookups, and numeric operations, instead of
1658 performing many different operations and reducing the result to a
1659 single number as \file{pystone.py} does.
1661 \item The \module{pyexpat} module now uses version 2.0 of the Expat parser.
1662 (Contributed by Trent Mick.)
1664 \item The old \module{regex} and \module{regsub} modules, which have been
1665 deprecated ever since Python 2.0, have finally been deleted.
1666 Other deleted modules: \module{statcache}, \module{tzparse},
1667 \module{whrandom}.
1669 \item Also deleted: the \file{lib-old} directory,
1670 which includes ancient modules such as \module{dircmp} and
1671 \module{ni}, was removed. \file{lib-old} wasn't on the default
1672 \code{sys.path}, so unless your programs explicitly added the directory to
1673 \code{sys.path}, this removal shouldn't affect your code.
1675 \item The \module{rlcompleter} module is no longer
1676 dependent on importing the \module{readline} module and
1677 therefore now works on non-{\UNIX} platforms.
1678 (Patch from Robert Kiendl.)
1679 % Patch #1472854
1681 \item The \module{SimpleXMLRPCServer} and \module{DocXMLRPCServer}
1682 classes now have a \member{rpc_paths} attribute that constrains
1683 XML-RPC operations to a limited set of URL paths; the default is
1684 to allow only \code{'/'} and \code{'/RPC2'}. Setting
1685 \member{rpc_paths} to \code{None} or an empty tuple disables
1686 this path checking.
1687 % Bug #1473048
1689 \item The \module{socket} module now supports \constant{AF_NETLINK}
1690 sockets on Linux, thanks to a patch from Philippe Biondi.
1691 Netlink sockets are a Linux-specific mechanism for communications
1692 between a user-space process and kernel code; an introductory
1693 article about them is at \url{http://www.linuxjournal.com/article/7356}.
1694 In Python code, netlink addresses are represented as a tuple of 2 integers,
1695 \code{(\var{pid}, \var{group_mask})}.
1697 Two new methods on socket objects, \method{recv_buf(\var{buffer})} and
1698 \method{recvfrom_buf(\var{buffer})}, store the received data in an object
1699 that supports the buffer protocol instead of returning the data as a
1700 string. This means you can put the data directly into an array or a
1701 memory-mapped file.
1703 Socket objects also gained \method{getfamily()}, \method{gettype()},
1704 and \method{getproto()} accessor methods to retrieve the family, type,
1705 and protocol values for the socket.
1707 \item New module: the \module{spwd} module provides functions for
1708 accessing the shadow password database on systems that support
1709 shadow passwords.
1711 \item The \module{struct} is now faster because it
1712 compiles format strings into \class{Struct} objects
1713 with \method{pack()} and \method{unpack()} methods. This is similar
1714 to how the \module{re} module lets you create compiled regular
1715 expression objects. You can still use the module-level
1716 \function{pack()} and \function{unpack()} functions; they'll create
1717 \class{Struct} objects and cache them. Or you can use
1718 \class{Struct} instances directly:
1720 \begin{verbatim}
1721 s = struct.Struct('ih3s')
1723 data = s.pack(1972, 187, 'abc')
1724 year, number, name = s.unpack(data)
1725 \end{verbatim}
1727 You can also pack and unpack data to and from buffer objects directly
1728 using the \method{pack_into(\var{buffer}, \var{offset}, \var{v1},
1729 \var{v2}, ...)} and \method{unpack_from(\var{buffer}, \var{offset})}
1730 methods. This lets you store data directly into an array or a
1731 memory-mapped file.
1733 (\class{Struct} objects were implemented by Bob Ippolito at the
1734 NeedForSpeed sprint. Support for buffer objects was added by Martin
1735 Blais, also at the NeedForSpeed sprint.)
1737 \item The Python developers switched from CVS to Subversion during the 2.5
1738 development process. Information about the exact build version is
1739 available as the \code{sys.subversion} variable, a 3-tuple of
1740 \code{(\var{interpreter-name}, \var{branch-name},
1741 \var{revision-range})}. For example, at the time of writing my copy
1742 of 2.5 was reporting \code{('CPython', 'trunk', '45313:45315')}.
1744 This information is also available to C extensions via the
1745 \cfunction{Py_GetBuildInfo()} function that returns a
1746 string of build information like this:
1747 \code{"trunk:45355:45356M, Apr 13 2006, 07:42:19"}.
1748 (Contributed by Barry Warsaw.)
1750 \item Another new function, \function{sys._current_frames()}, returns
1751 the current stack frames for all running threads as a dictionary
1752 mapping thread identifiers to the topmost stack frame currently active
1753 in that thread at the time the function is called. (Contributed by
1754 Tim Peters.)
1756 \item The \class{TarFile} class in the \module{tarfile} module now has
1757 an \method{extractall()} method that extracts all members from the
1758 archive into the current working directory. It's also possible to set
1759 a different directory as the extraction target, and to unpack only a
1760 subset of the archive's members.
1762 The compression used for a tarfile opened in stream mode can now be
1763 autodetected using the mode \code{'r|*'}.
1764 % patch 918101
1765 (Contributed by Lars Gust\"abel.)
1767 \item The \module{threading} module now lets you set the stack size
1768 used when new threads are created. The
1769 \function{stack_size(\optional{\var{size}})} function returns the
1770 currently configured stack size, and supplying the optional \var{size}
1771 parameter sets a new value. Not all platforms support changing the
1772 stack size, but Windows, POSIX threading, and OS/2 all do.
1773 (Contributed by Andrew MacIntyre.)
1774 % Patch 1454481
1776 \item The \module{unicodedata} module has been updated to use version 4.1.0
1777 of the Unicode character database. Version 3.2.0 is required
1778 by some specifications, so it's still available as
1779 \member{unicodedata.ucd_3_2_0}.
1781 \item New module: the \module{uuid} module generates
1782 universally unique identifiers (UUIDs) according to \rfc{4122}. The
1783 RFC defines several different UUID versions that are generated from a
1784 starting string, from system properties, or purely randomly. This
1785 module contains a \class{UUID} class and
1786 functions named \function{uuid1()},
1787 \function{uuid3()}, \function{uuid4()}, and
1788 \function{uuid5()} to generate different versions of UUID. (Version 2 UUIDs
1789 are not specified in \rfc{4122} and are not supported by this module.)
1791 \begin{verbatim}
1792 >>> import uuid
1793 >>> # make a UUID based on the host ID and current time
1794 >>> uuid.uuid1()
1795 UUID('a8098c1a-f86e-11da-bd1a-00112444be1e')
1797 >>> # make a UUID using an MD5 hash of a namespace UUID and a name
1798 >>> uuid.uuid3(uuid.NAMESPACE_DNS, 'python.org')
1799 UUID('6fa459ea-ee8a-3ca4-894e-db77e160355e')
1801 >>> # make a random UUID
1802 >>> uuid.uuid4()
1803 UUID('16fd2706-8baf-433b-82eb-8c7fada847da')
1805 >>> # make a UUID using a SHA-1 hash of a namespace UUID and a name
1806 >>> uuid.uuid5(uuid.NAMESPACE_DNS, 'python.org')
1807 UUID('886313e1-3b8a-5372-9b90-0c9aee199e5d')
1808 \end{verbatim}
1810 (Contributed by Ka-Ping Yee.)
1812 \item The \module{weakref} module's \class{WeakKeyDictionary} and
1813 \class{WeakValueDictionary} types gained new methods for iterating
1814 over the weak references contained in the dictionary.
1815 \method{iterkeyrefs()} and \method{keyrefs()} methods were
1816 added to \class{WeakKeyDictionary}, and
1817 \method{itervaluerefs()} and \method{valuerefs()} were added to
1818 \class{WeakValueDictionary}. (Contributed by Fred L.~Drake, Jr.)
1820 \item The \module{webbrowser} module received a number of
1821 enhancements.
1822 It's now usable as a script with \code{python -m webbrowser}, taking a
1823 URL as the argument; there are a number of switches
1824 to control the behaviour (\programopt{-n} for a new browser window,
1825 \programopt{-t} for a new tab). New module-level functions,
1826 \function{open_new()} and \function{open_new_tab()}, were added
1827 to support this. The module's \function{open()} function supports an
1828 additional feature, an \var{autoraise} parameter that signals whether
1829 to raise the open window when possible. A number of additional
1830 browsers were added to the supported list such as Firefox, Opera,
1831 Konqueror, and elinks. (Contributed by Oleg Broytmann and Georg
1832 Brandl.)
1833 % Patch #754022
1835 \item The \module{xmlrpclib} module now supports returning
1836 \class{datetime} objects for the XML-RPC date type. Supply
1837 \code{use_datetime=True} to the \function{loads()} function
1838 or the \class{Unmarshaller} class to enable this feature.
1839 (Contributed by Skip Montanaro.)
1840 % Patch 1120353
1842 \item The \module{zipfile} module now supports the ZIP64 version of the
1843 format, meaning that a .zip archive can now be larger than 4~GiB and
1844 can contain individual files larger than 4~GiB. (Contributed by
1845 Ronald Oussoren.)
1846 % Patch 1446489
1848 \item The \module{zlib} module's \class{Compress} and \class{Decompress}
1849 objects now support a \method{copy()} method that makes a copy of the
1850 object's internal state and returns a new
1851 \class{Compress} or \class{Decompress} object.
1852 (Contributed by Chris AtLee.)
1853 % Patch 1435422
1855 \end{itemize}
1859 %======================================================================
1860 \subsection{The ctypes package\label{module-ctypes}}
1862 The \module{ctypes} package, written by Thomas Heller, has been added
1863 to the standard library. \module{ctypes} lets you call arbitrary functions
1864 in shared libraries or DLLs. Long-time users may remember the \module{dl} module, which
1865 provides functions for loading shared libraries and calling functions in them. The \module{ctypes} package is much fancier.
1867 To load a shared library or DLL, you must create an instance of the
1868 \class{CDLL} class and provide the name or path of the shared library
1869 or DLL. Once that's done, you can call arbitrary functions
1870 by accessing them as attributes of the \class{CDLL} object.
1872 \begin{verbatim}
1873 import ctypes
1875 libc = ctypes.CDLL('libc.so.6')
1876 result = libc.printf("Line of output\n")
1877 \end{verbatim}
1879 Type constructors for the various C types are provided: \function{c_int},
1880 \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
1881 to change the wrapped value. Python integers and strings will be automatically
1882 converted to the corresponding C types, but for other types you
1883 must call the correct type constructor. (And I mean \emph{must};
1884 getting it wrong will often result in the interpreter crashing
1885 with a segmentation fault.)
1887 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
1888 supposed to be immutable; breaking this rule will cause puzzling bugs. When you need a modifiable memory area,
1889 use \function{create_string_buffer()}:
1891 \begin{verbatim}
1892 s = "this is a string"
1893 buf = ctypes.create_string_buffer(s)
1894 libc.strfry(buf)
1895 \end{verbatim}
1897 C functions are assumed to return integers, but you can set
1898 the \member{restype} attribute of the function object to
1899 change this:
1901 \begin{verbatim}
1902 >>> libc.atof('2.71828')
1903 -1783957616
1904 >>> libc.atof.restype = ctypes.c_double
1905 >>> libc.atof('2.71828')
1906 2.71828
1907 \end{verbatim}
1909 \module{ctypes} also provides a wrapper for Python's C API
1910 as the \code{ctypes.pythonapi} object. This object does \emph{not}
1911 release the global interpreter lock before calling a function, because the lock must be held when calling into the interpreter's code.
1912 There's a \class{py_object()} type constructor that will create a
1913 \ctype{PyObject *} pointer. A simple usage:
1915 \begin{verbatim}
1916 import ctypes
1918 d = {}
1919 ctypes.pythonapi.PyObject_SetItem(ctypes.py_object(d),
1920 ctypes.py_object("abc"), ctypes.py_object(1))
1921 # d is now {'abc', 1}.
1922 \end{verbatim}
1924 Don't forget to use \class{py_object()}; if it's omitted you end
1925 up with a segmentation fault.
1927 \module{ctypes} has been around for a while, but people still write
1928 and distribution hand-coded extension modules because you can't rely on \module{ctypes} being present.
1929 Perhaps developers will begin to write
1930 Python wrappers atop a library accessed through \module{ctypes} instead
1931 of extension modules, now that \module{ctypes} is included with core Python.
1933 \begin{seealso}
1935 \seeurl{http://starship.python.net/crew/theller/ctypes/}
1936 {The ctypes web page, with a tutorial, reference, and FAQ.}
1938 \seeurl{../lib/module-ctypes.html}{The documentation
1939 for the \module{ctypes} module.}
1941 \end{seealso}
1944 %======================================================================
1945 \subsection{The ElementTree package\label{module-etree}}
1947 A subset of Fredrik Lundh's ElementTree library for processing XML has
1948 been added to the standard library as \module{xml.etree}. The
1949 available modules are
1950 \module{ElementTree}, \module{ElementPath}, and
1951 \module{ElementInclude} from ElementTree 1.2.6.
1952 The \module{cElementTree} accelerator module is also included.
1954 The rest of this section will provide a brief overview of using
1955 ElementTree. Full documentation for ElementTree is available at
1956 \url{http://effbot.org/zone/element-index.htm}.
1958 ElementTree represents an XML document as a tree of element nodes.
1959 The text content of the document is stored as the \member{.text}
1960 and \member{.tail} attributes of
1961 (This is one of the major differences between ElementTree and
1962 the Document Object Model; in the DOM there are many different
1963 types of node, including \class{TextNode}.)
1965 The most commonly used parsing function is \function{parse()}, that
1966 takes either a string (assumed to contain a filename) or a file-like
1967 object and returns an \class{ElementTree} instance:
1969 \begin{verbatim}
1970 from xml.etree import ElementTree as ET
1972 tree = ET.parse('ex-1.xml')
1974 feed = urllib.urlopen(
1975 'http://planet.python.org/rss10.xml')
1976 tree = ET.parse(feed)
1977 \end{verbatim}
1979 Once you have an \class{ElementTree} instance, you
1980 can call its \method{getroot()} method to get the root \class{Element} node.
1982 There's also an \function{XML()} function that takes a string literal
1983 and returns an \class{Element} node (not an \class{ElementTree}).
1984 This function provides a tidy way to incorporate XML fragments,
1985 approaching the convenience of an XML literal:
1987 \begin{verbatim}
1988 svg = ET.XML("""<svg width="10px" version="1.0">
1989 </svg>""")
1990 svg.set('height', '320px')
1991 svg.append(elem1)
1992 \end{verbatim}
1994 Each XML element supports some dictionary-like and some list-like
1995 access methods. Dictionary-like operations are used to access attribute
1996 values, and list-like operations are used to access child nodes.
1998 \begin{tableii}{c|l}{code}{Operation}{Result}
1999 \lineii{elem[n]}{Returns n'th child element.}
2000 \lineii{elem[m:n]}{Returns list of m'th through n'th child elements.}
2001 \lineii{len(elem)}{Returns number of child elements.}
2002 \lineii{list(elem)}{Returns list of child elements.}
2003 \lineii{elem.append(elem2)}{Adds \var{elem2} as a child.}
2004 \lineii{elem.insert(index, elem2)}{Inserts \var{elem2} at the specified location.}
2005 \lineii{del elem[n]}{Deletes n'th child element.}
2006 \lineii{elem.keys()}{Returns list of attribute names.}
2007 \lineii{elem.get(name)}{Returns value of attribute \var{name}.}
2008 \lineii{elem.set(name, value)}{Sets new value for attribute \var{name}.}
2009 \lineii{elem.attrib}{Retrieves the dictionary containing attributes.}
2010 \lineii{del elem.attrib[name]}{Deletes attribute \var{name}.}
2011 \end{tableii}
2013 Comments and processing instructions are also represented as
2014 \class{Element} nodes. To check if a node is a comment or processing
2015 instructions:
2017 \begin{verbatim}
2018 if elem.tag is ET.Comment:
2020 elif elem.tag is ET.ProcessingInstruction:
2022 \end{verbatim}
2024 To generate XML output, you should call the
2025 \method{ElementTree.write()} method. Like \function{parse()},
2026 it can take either a string or a file-like object:
2028 \begin{verbatim}
2029 # Encoding is US-ASCII
2030 tree.write('output.xml')
2032 # Encoding is UTF-8
2033 f = open('output.xml', 'w')
2034 tree.write(f, encoding='utf-8')
2035 \end{verbatim}
2037 (Caution: the default encoding used for output is ASCII. For general
2038 XML work, where an element's name may contain arbitrary Unicode
2039 characters, ASCII isn't a very useful encoding because it will raise
2040 an exception if an element's name contains any characters with values
2041 greater than 127. Therefore, it's best to specify a different
2042 encoding such as UTF-8 that can handle any Unicode character.)
2044 This section is only a partial description of the ElementTree interfaces.
2045 Please read the package's official documentation for more details.
2047 \begin{seealso}
2049 \seeurl{http://effbot.org/zone/element-index.htm}
2050 {Official documentation for ElementTree.}
2052 \end{seealso}
2055 %======================================================================
2056 \subsection{The hashlib package\label{module-hashlib}}
2058 A new \module{hashlib} module, written by Gregory P. Smith,
2059 has been added to replace the
2060 \module{md5} and \module{sha} modules. \module{hashlib} adds support
2061 for additional secure hashes (SHA-224, SHA-256, SHA-384, and SHA-512).
2062 When available, the module uses OpenSSL for fast platform optimized
2063 implementations of algorithms.
2065 The old \module{md5} and \module{sha} modules still exist as wrappers
2066 around hashlib to preserve backwards compatibility. The new module's
2067 interface is very close to that of the old modules, but not identical.
2068 The most significant difference is that the constructor functions
2069 for creating new hashing objects are named differently.
2071 \begin{verbatim}
2072 # Old versions
2073 h = md5.md5()
2074 h = md5.new()
2076 # New version
2077 h = hashlib.md5()
2079 # Old versions
2080 h = sha.sha()
2081 h = sha.new()
2083 # New version
2084 h = hashlib.sha1()
2086 # Hash that weren't previously available
2087 h = hashlib.sha224()
2088 h = hashlib.sha256()
2089 h = hashlib.sha384()
2090 h = hashlib.sha512()
2092 # Alternative form
2093 h = hashlib.new('md5') # Provide algorithm as a string
2094 \end{verbatim}
2096 Once a hash object has been created, its methods are the same as before:
2097 \method{update(\var{string})} hashes the specified string into the
2098 current digest state, \method{digest()} and \method{hexdigest()}
2099 return the digest value as a binary string or a string of hex digits,
2100 and \method{copy()} returns a new hashing object with the same digest state.
2102 \begin{seealso}
2104 \seeurl{../lib/module-hashlib.html}{The documentation
2105 for the \module{hashlib} module.}
2107 \end{seealso}
2110 %======================================================================
2111 \subsection{The sqlite3 package\label{module-sqlite}}
2113 The pysqlite module (\url{http://www.pysqlite.org}), a wrapper for the
2114 SQLite embedded database, has been added to the standard library under
2115 the package name \module{sqlite3}.
2117 SQLite is a C library that provides a SQL-language database that
2118 stores data in disk files without requiring a separate server process.
2119 pysqlite was written by Gerhard H\"aring and provides a SQL interface
2120 compliant with the DB-API 2.0 specification described by
2121 \pep{249}. This means that it should be possible to write the first
2122 version of your applications using SQLite for data storage. If
2123 switching to a larger database such as PostgreSQL or Oracle is
2124 later necessary, the switch should be relatively easy.
2126 If you're compiling the Python source yourself, note that the source
2127 tree doesn't include the SQLite code, only the wrapper module.
2128 You'll need to have the SQLite libraries and headers installed before
2129 compiling Python, and the build process will compile the module when
2130 the necessary headers are available.
2132 To use the module, you must first create a \class{Connection} object
2133 that represents the database. Here the data will be stored in the
2134 \file{/tmp/example} file:
2136 \begin{verbatim}
2137 conn = sqlite3.connect('/tmp/example')
2138 \end{verbatim}
2140 You can also supply the special name \samp{:memory:} to create
2141 a database in RAM.
2143 Once you have a \class{Connection}, you can create a \class{Cursor}
2144 object and call its \method{execute()} method to perform SQL commands:
2146 \begin{verbatim}
2147 c = conn.cursor()
2149 # Create table
2150 c.execute('''create table stocks
2151 (date timestamp, trans varchar, symbol varchar,
2152 qty decimal, price decimal)''')
2154 # Insert a row of data
2155 c.execute("""insert into stocks
2156 values ('2006-01-05','BUY','RHAT',100,35.14)""")
2157 \end{verbatim}
2159 Usually your SQL operations will need to use values from Python
2160 variables. You shouldn't assemble your query using Python's string
2161 operations because doing so is insecure; it makes your program
2162 vulnerable to an SQL injection attack.
2164 Instead, use the DB-API's parameter substitution. Put \samp{?} as a
2165 placeholder wherever you want to use a value, and then provide a tuple
2166 of values as the second argument to the cursor's \method{execute()}
2167 method. (Other database modules may use a different placeholder,
2168 such as \samp{\%s} or \samp{:1}.) For example:
2170 \begin{verbatim}
2171 # Never do this -- insecure!
2172 symbol = 'IBM'
2173 c.execute("... where symbol = '%s'" % symbol)
2175 # Do this instead
2176 t = (symbol,)
2177 c.execute('select * from stocks where symbol=?', t)
2179 # Larger example
2180 for t in (('2006-03-28', 'BUY', 'IBM', 1000, 45.00),
2181 ('2006-04-05', 'BUY', 'MSOFT', 1000, 72.00),
2182 ('2006-04-06', 'SELL', 'IBM', 500, 53.00),
2184 c.execute('insert into stocks values (?,?,?,?,?)', t)
2185 \end{verbatim}
2187 To retrieve data after executing a SELECT statement, you can either
2188 treat the cursor as an iterator, call the cursor's \method{fetchone()}
2189 method to retrieve a single matching row,
2190 or call \method{fetchall()} to get a list of the matching rows.
2192 This example uses the iterator form:
2194 \begin{verbatim}
2195 >>> c = conn.cursor()
2196 >>> c.execute('select * from stocks order by price')
2197 >>> for row in c:
2198 ... print row
2200 (u'2006-01-05', u'BUY', u'RHAT', 100, 35.140000000000001)
2201 (u'2006-03-28', u'BUY', u'IBM', 1000, 45.0)
2202 (u'2006-04-06', u'SELL', u'IBM', 500, 53.0)
2203 (u'2006-04-05', u'BUY', u'MSOFT', 1000, 72.0)
2205 \end{verbatim}
2207 For more information about the SQL dialect supported by SQLite, see
2208 \url{http://www.sqlite.org}.
2210 \begin{seealso}
2212 \seeurl{http://www.pysqlite.org}
2213 {The pysqlite web page.}
2215 \seeurl{http://www.sqlite.org}
2216 {The SQLite web page; the documentation describes the syntax and the
2217 available data types for the supported SQL dialect.}
2219 \seeurl{../lib/module-sqlite3.html}{The documentation
2220 for the \module{sqlite3} module.}
2222 \seepep{249}{Database API Specification 2.0}{PEP written by
2223 Marc-Andr\'e Lemburg.}
2225 \end{seealso}
2228 %======================================================================
2229 \subsection{The wsgiref package\label{module-wsgiref}}
2231 % XXX should this be in a PEP 333 section instead?
2233 The Web Server Gateway Interface (WSGI) v1.0 defines a standard
2234 interface between web servers and Python web applications and is
2235 described in \pep{333}. The \module{wsgiref} package is a reference
2236 implementation of the WSGI specification.
2238 The package includes a basic HTTP server that will run a WSGI
2239 application; this server is useful for debugging but isn't intended for
2240 production use. Setting up a server takes only a few lines of code:
2242 \begin{verbatim}
2243 from wsgiref import simple_server
2245 wsgi_app = ...
2247 host = ''
2248 port = 8000
2249 httpd = simple_server.make_server(host, port, wsgi_app)
2250 httpd.serve_forever()
2251 \end{verbatim}
2253 % XXX discuss structure of WSGI applications?
2254 % XXX provide an example using Django or some other framework?
2256 \begin{seealso}
2258 \seeurl{http://www.wsgi.org}{A central web site for WSGI-related resources.}
2260 \seepep{333}{Python Web Server Gateway Interface v1.0}{PEP written by
2261 Phillip J. Eby.}
2263 \end{seealso}
2266 % ======================================================================
2267 \section{Build and C API Changes\label{build-api}}
2269 Changes to Python's build process and to the C API include:
2271 \begin{itemize}
2273 \item The Python source tree was converted from CVS to Subversion,
2274 in a complex migration procedure that was supervised and flawlessly
2275 carried out by Martin von~L\"owis. The procedure was developed as
2276 \pep{347}.
2278 \item Coverity, a company that markets a source code analysis tool
2279 called Prevent, provided the results of their examination of the Python
2280 source code. The analysis found about 60 bugs that
2281 were quickly fixed. Many of the bugs were refcounting problems, often
2282 occurring in error-handling code. See
2283 \url{http://scan.coverity.com} for the statistics.
2285 \item The largest change to the C API came from \pep{353},
2286 which modifies the interpreter to use a \ctype{Py_ssize_t} type
2287 definition instead of \ctype{int}. See the earlier
2288 section~\ref{pep-353} for a discussion of this change.
2290 \item The design of the bytecode compiler has changed a great deal,
2291 no longer generating bytecode by traversing the parse tree. Instead
2292 the parse tree is converted to an abstract syntax tree (or AST), and it is
2293 the abstract syntax tree that's traversed to produce the bytecode.
2295 It's possible for Python code to obtain AST objects by using the
2296 \function{compile()} built-in and specifying \code{_ast.PyCF_ONLY_AST}
2297 as the value of the
2298 \var{flags} parameter:
2300 \begin{verbatim}
2301 from _ast import PyCF_ONLY_AST
2302 ast = compile("""a=0
2303 for i in range(10):
2304 a += i
2305 """, "<string>", 'exec', PyCF_ONLY_AST)
2307 assignment = ast.body[0]
2308 for_loop = ast.body[1]
2309 \end{verbatim}
2311 No official documentation has been written for the AST code yet, but
2312 \pep{339} discusses the design. To start learning about the code, read the
2313 definition of the various AST nodes in \file{Parser/Python.asdl}. A
2314 Python script reads this file and generates a set of C structure
2315 definitions in \file{Include/Python-ast.h}. The
2316 \cfunction{PyParser_ASTFromString()} and
2317 \cfunction{PyParser_ASTFromFile()}, defined in
2318 \file{Include/pythonrun.h}, take Python source as input and return the
2319 root of an AST representing the contents. This AST can then be turned
2320 into a code object by \cfunction{PyAST_Compile()}. For more
2321 information, read the source code, and then ask questions on
2322 python-dev.
2324 % List of names taken from Jeremy's python-dev post at
2325 % http://mail.python.org/pipermail/python-dev/2005-October/057500.html
2326 The AST code was developed under Jeremy Hylton's management, and
2327 implemented by (in alphabetical order) Brett Cannon, Nick Coghlan,
2328 Grant Edwards, John Ehresman, Kurt Kaiser, Neal Norwitz, Tim Peters,
2329 Armin Rigo, and Neil Schemenauer, plus the participants in a number of
2330 AST sprints at conferences such as PyCon.
2332 \item Evan Jones's patch to obmalloc, first described in a talk
2333 at PyCon DC 2005, was applied. Python 2.4 allocated small objects in
2334 256K-sized arenas, but never freed arenas. With this patch, Python
2335 will free arenas when they're empty. The net effect is that on some
2336 platforms, when you allocate many objects, Python's memory usage may
2337 actually drop when you delete them and the memory may be returned to
2338 the operating system. (Implemented by Evan Jones, and reworked by Tim
2339 Peters.)
2341 Note that this change means extension modules must be more careful
2342 when allocating memory. Python's API has many different
2343 functions for allocating memory that are grouped into families. For
2344 example, \cfunction{PyMem_Malloc()}, \cfunction{PyMem_Realloc()}, and
2345 \cfunction{PyMem_Free()} are one family that allocates raw memory,
2346 while \cfunction{PyObject_Malloc()}, \cfunction{PyObject_Realloc()},
2347 and \cfunction{PyObject_Free()} are another family that's supposed to
2348 be used for creating Python objects.
2350 Previously these different families all reduced to the platform's
2351 \cfunction{malloc()} and \cfunction{free()} functions. This meant
2352 it didn't matter if you got things wrong and allocated memory with the
2353 \cfunction{PyMem} function but freed it with the \cfunction{PyObject}
2354 function. With 2.5's changes to obmalloc, these families now do different
2355 things and mismatches will probably result in a segfault. You should
2356 carefully test your C extension modules with Python 2.5.
2358 \item The built-in set types now have an official C API. Call
2359 \cfunction{PySet_New()} and \cfunction{PyFrozenSet_New()} to create a
2360 new set, \cfunction{PySet_Add()} and \cfunction{PySet_Discard()} to
2361 add and remove elements, and \cfunction{PySet_Contains} and
2362 \cfunction{PySet_Size} to examine the set's state.
2363 (Contributed by Raymond Hettinger.)
2365 \item C code can now obtain information about the exact revision
2366 of the Python interpreter by calling the
2367 \cfunction{Py_GetBuildInfo()} function that returns a
2368 string of build information like this:
2369 \code{"trunk:45355:45356M, Apr 13 2006, 07:42:19"}.
2370 (Contributed by Barry Warsaw.)
2372 \item Two new macros can be used to indicate C functions that are
2373 local to the current file so that a faster calling convention can be
2374 used. \cfunction{Py_LOCAL(\var{type})} declares the function as
2375 returning a value of the specified \var{type} and uses a fast-calling
2376 qualifier. \cfunction{Py_LOCAL_INLINE(\var{type})} does the same thing
2377 and also requests the function be inlined. If
2378 \cfunction{PY_LOCAL_AGGRESSIVE} is defined before \file{python.h} is
2379 included, a set of more aggressive optimizations are enabled for the
2380 module; you should benchmark the results to find out if these
2381 optimizations actually make the code faster. (Contributed by Fredrik
2382 Lundh at the NeedForSpeed sprint.)
2384 \item \cfunction{PyErr_NewException(\var{name}, \var{base},
2385 \var{dict})} can now accept a tuple of base classes as its \var{base}
2386 argument. (Contributed by Georg Brandl.)
2388 \item The \cfunction{PyErr_Warn()} function for issuing warnings
2389 is now deprecated in favour of \cfunction{PyErr_WarnEx(category,
2390 message, stacklevel)} which lets you specify the number of stack
2391 frames separating this function and the caller. A \var{stacklevel} of
2392 1 is the function calling \cfunction{PyErr_WarnEx()}, 2 is the
2393 function above that, and so forth. (Added by Neal Norwitz.)
2395 \item The CPython interpreter is still written in C, but
2396 the code can now be compiled with a {\Cpp} compiler without errors.
2397 (Implemented by Anthony Baxter, Martin von~L\"owis, Skip Montanaro.)
2399 \item The \cfunction{PyRange_New()} function was removed. It was
2400 never documented, never used in the core code, and had dangerously lax
2401 error checking. In the unlikely case that your extensions were using
2402 it, you can replace it by something like the following:
2403 \begin{verbatim}
2404 range = PyObject_CallFunction((PyObject*) &PyRange_Type, "lll",
2405 start, stop, step);
2406 \end{verbatim}
2408 \end{itemize}
2411 %======================================================================
2412 \subsection{Port-Specific Changes\label{ports}}
2414 \begin{itemize}
2416 \item MacOS X (10.3 and higher): dynamic loading of modules
2417 now uses the \cfunction{dlopen()} function instead of MacOS-specific
2418 functions.
2420 \item MacOS X: a \longprogramopt{enable-universalsdk} switch was added
2421 to the \program{configure} script that compiles the interpreter as a
2422 universal binary able to run on both PowerPC and Intel processors.
2423 (Contributed by Ronald Oussoren.)
2425 \item Windows: \file{.dll} is no longer supported as a filename extension for
2426 extension modules. \file{.pyd} is now the only filename extension that will
2427 be searched for.
2429 \end{itemize}
2432 %======================================================================
2433 \section{Porting to Python 2.5\label{porting}}
2435 This section lists previously described changes that may require
2436 changes to your code:
2438 \begin{itemize}
2440 \item ASCII is now the default encoding for modules. It's now
2441 a syntax error if a module contains string literals with 8-bit
2442 characters but doesn't have an encoding declaration. In Python 2.4
2443 this triggered a warning, not a syntax error.
2445 \item Previously, the \member{gi_frame} attribute of a generator
2446 was always a frame object. Because of the \pep{342} changes
2447 described in section~\ref{pep-342}, it's now possible
2448 for \member{gi_frame} to be \code{None}.
2450 \item A new warning, \class{UnicodeWarning}, is triggered when
2451 you attempt to compare a Unicode string and an 8-bit string that can't
2452 be converted to Unicode using the default ASCII encoding. Previously
2453 such comparisons would raise a \class{UnicodeDecodeError} exception.
2455 \item Library: the \module{csv} module is now stricter about multi-line quoted
2456 fields. If your files contain newlines embedded within fields, the
2457 input should be split into lines in a manner which preserves the
2458 newline characters.
2460 \item Library: the \module{locale} module's
2461 \function{format()} function's would previously
2462 accept any string as long as no more than one \%char specifier
2463 appeared. In Python 2.5, the argument must be exactly one \%char
2464 specifier with no surrounding text.
2466 \item Library: The \module{pickle} and \module{cPickle} modules no
2467 longer accept a return value of \code{None} from the
2468 \method{__reduce__()} method; the method must return a tuple of
2469 arguments instead. The modules also no longer accept the deprecated
2470 \var{bin} keyword parameter.
2472 \item Library: The \module{SimpleXMLRPCServer} and \module{DocXMLRPCServer}
2473 classes now have a \member{rpc_paths} attribute that constrains
2474 XML-RPC operations to a limited set of URL paths; the default is
2475 to allow only \code{'/'} and \code{'/RPC2'}. Setting
2476 \member{rpc_paths} to \code{None} or an empty tuple disables
2477 this path checking.
2479 \item C API: Many functions now use \ctype{Py_ssize_t}
2480 instead of \ctype{int} to allow processing more data on 64-bit
2481 machines. Extension code may need to make the same change to avoid
2482 warnings and to support 64-bit machines. See the earlier
2483 section~\ref{pep-353} for a discussion of this change.
2485 \item C API:
2486 The obmalloc changes mean that
2487 you must be careful to not mix usage
2488 of the \cfunction{PyMem_*()} and \cfunction{PyObject_*()}
2489 families of functions. Memory allocated with
2490 one family's \cfunction{*_Malloc()} must be
2491 freed with the corresponding family's \cfunction{*_Free()} function.
2493 \end{itemize}
2496 %======================================================================
2497 \section{Acknowledgements \label{acks}}
2499 The author would like to thank the following people for offering
2500 suggestions, corrections and assistance with various drafts of this
2501 article: Georg Brandl, Nick Coghlan, Phillip J. Eby, Lars Gust\"abel,
2502 Raymond Hettinger, Ralf W. Grosse-Kunstleve, Kent Johnson, Iain Lowe,
2503 Martin von~L\"owis, Fredrik Lundh, Andrew McNamara, Skip Montanaro,
2504 Gustavo Niemeyer, Paul Prescod, James Pryor, Mike Rovner, Scott
2505 Weikart, Barry Warsaw, Thomas Wouters.
2507 \end{document}