4
Summary: Better living through Python with decorators
5
Home-page: http://pypi.python.org/pypi/decorator
6
Author: Michele Simionato
7
Author-email: michele.simionato@gmail.com
9
Description: </pre><?xml version="1.0" encoding="utf-8" ?>
10
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
11
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
13
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
14
<meta name="generator" content="Docutils 0.5: http://docutils.sourceforge.net/" />
15
<title>The decorator module</title>
16
<meta name="author" content="Michele Simionato" />
17
<style type="text/css">
19
.highlight { background: #f8f8f8; }
20
.highlight .c { color: #408080; font-style: italic } /* Comment */
21
.highlight .err { border: 1px solid #FF0000 } /* Error */
22
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
23
.highlight .o { color: #666666 } /* Operator */
24
.highlight .cm { color: #408080; font-style: italic } /* Comment.Multiline */
25
.highlight .cp { color: #BC7A00 } /* Comment.Preproc */
26
.highlight .c1 { color: #408080; font-style: italic } /* Comment.Single */
27
.highlight .cs { color: #408080; font-style: italic } /* Comment.Special */
28
.highlight .gd { color: #A00000 } /* Generic.Deleted */
29
.highlight .ge { font-style: italic } /* Generic.Emph */
30
.highlight .gr { color: #FF0000 } /* Generic.Error */
31
.highlight .gh { color: #000080; font-weight: bold } /* Generic.Heading */
32
.highlight .gi { color: #00A000 } /* Generic.Inserted */
33
.highlight .go { color: #808080 } /* Generic.Output */
34
.highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
35
.highlight .gs { font-weight: bold } /* Generic.Strong */
36
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
37
.highlight .gt { color: #0040D0 } /* Generic.Traceback */
38
.highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
39
.highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
40
.highlight .kp { color: #008000 } /* Keyword.Pseudo */
41
.highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
42
.highlight .kt { color: #008000; font-weight: bold } /* Keyword.Type */
43
.highlight .m { color: #666666 } /* Literal.Number */
44
.highlight .s { color: #BA2121 } /* Literal.String */
45
.highlight .na { color: #7D9029 } /* Name.Attribute */
46
.highlight .nb { color: #008000 } /* Name.Builtin */
47
.highlight .nc { color: #0000FF; font-weight: bold } /* Name.Class */
48
.highlight .no { color: #880000 } /* Name.Constant */
49
.highlight .nd { color: #AA22FF } /* Name.Decorator */
50
.highlight .ni { color: #999999; font-weight: bold } /* Name.Entity */
51
.highlight .ne { color: #D2413A; font-weight: bold } /* Name.Exception */
52
.highlight .nf { color: #0000FF } /* Name.Function */
53
.highlight .nl { color: #A0A000 } /* Name.Label */
54
.highlight .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
55
.highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */
56
.highlight .nv { color: #19177C } /* Name.Variable */
57
.highlight .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
58
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
59
.highlight .mf { color: #666666 } /* Literal.Number.Float */
60
.highlight .mh { color: #666666 } /* Literal.Number.Hex */
61
.highlight .mi { color: #666666 } /* Literal.Number.Integer */
62
.highlight .mo { color: #666666 } /* Literal.Number.Oct */
63
.highlight .sb { color: #BA2121 } /* Literal.String.Backtick */
64
.highlight .sc { color: #BA2121 } /* Literal.String.Char */
65
.highlight .sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
66
.highlight .s2 { color: #BA2121 } /* Literal.String.Double */
67
.highlight .se { color: #BB6622; font-weight: bold } /* Literal.String.Escape */
68
.highlight .sh { color: #BA2121 } /* Literal.String.Heredoc */
69
.highlight .si { color: #BB6688; font-weight: bold } /* Literal.String.Interpol */
70
.highlight .sx { color: #008000 } /* Literal.String.Other */
71
.highlight .sr { color: #BB6688 } /* Literal.String.Regex */
72
.highlight .s1 { color: #BA2121 } /* Literal.String.Single */
73
.highlight .ss { color: #19177C } /* Literal.String.Symbol */
74
.highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */
75
.highlight .vc { color: #19177C } /* Name.Variable.Class */
76
.highlight .vg { color: #19177C } /* Name.Variable.Global */
77
.highlight .vi { color: #19177C } /* Name.Variable.Instance */
78
.highlight .il { color: #666666 } /* Literal.Number.Integer.Long */
83
<div class="document" id="the-decorator-module">
84
<h1 class="title">The <tt class="docutils literal"><span class="pre">decorator</span></tt> module</h1>
85
<table class="docinfo" frame="void" rules="none">
86
<col class="docinfo-name" />
87
<col class="docinfo-content" />
89
<tr><th class="docinfo-name">Author:</th>
90
<td>Michele Simionato</td></tr>
91
<tr class="field"><th class="docinfo-name">E-mail:</th><td class="field-body"><a class="reference external" href="mailto:michele.simionato@gmail.com">michele.simionato@gmail.com</a></td>
93
<tr><th class="docinfo-name">Version:</th>
94
<td>3.1.1 (2009-08-25)</td></tr>
95
<tr class="field"><th class="docinfo-name">Requires:</th><td class="field-body">Python 2.4+</td>
97
<tr class="field"><th class="docinfo-name">Download page:</th><td class="field-body"><a class="reference external" href="http://pypi.python.org/pypi/decorator/3.1.1">http://pypi.python.org/pypi/decorator/3.1.1</a></td>
99
<tr class="field"><th class="docinfo-name">Installation:</th><td class="field-body"><tt class="docutils literal"><span class="pre">easy_install</span> <span class="pre">decorator</span></tt></td>
101
<tr class="field"><th class="docinfo-name">License:</th><td class="field-body">BSD license</td>
105
<div class="contents topic" id="contents">
106
<p class="topic-title first">Contents</p>
108
<li><a class="reference internal" href="#introduction" id="id3">Introduction</a></li>
109
<li><a class="reference internal" href="#definitions" id="id4">Definitions</a></li>
110
<li><a class="reference internal" href="#statement-of-the-problem" id="id5">Statement of the problem</a></li>
111
<li><a class="reference internal" href="#the-solution" id="id6">The solution</a></li>
112
<li><a class="reference internal" href="#a-trace-decorator" id="id7">A <tt class="docutils literal"><span class="pre">trace</span></tt> decorator</a></li>
113
<li><a class="reference internal" href="#decorator-is-a-decorator" id="id8"><tt class="docutils literal"><span class="pre">decorator</span></tt> is a decorator</a></li>
114
<li><a class="reference internal" href="#blocking" id="id9"><tt class="docutils literal"><span class="pre">blocking</span></tt></a></li>
115
<li><a class="reference internal" href="#async" id="id10"><tt class="docutils literal"><span class="pre">async</span></tt></a></li>
116
<li><a class="reference internal" href="#the-functionmaker-class" id="id11">The <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> class</a></li>
117
<li><a class="reference internal" href="#getting-the-source-code" id="id12">Getting the source code</a></li>
118
<li><a class="reference internal" href="#dealing-with-third-party-decorators" id="id13">Dealing with third party decorators</a></li>
119
<li><a class="reference internal" href="#caveats-and-limitations" id="id14">Caveats and limitations</a></li>
120
<li><a class="reference internal" href="#compatibility-notes" id="id15">Compatibility notes</a></li>
121
<li><a class="reference internal" href="#licence" id="id16">LICENCE</a></li>
124
<div class="section" id="introduction">
125
<h1><a class="toc-backref" href="#id3">Introduction</a></h1>
126
<p>Python decorators are an interesting example of why syntactic sugar
127
matters. In principle, their introduction in Python 2.4 changed
128
nothing, since they do not provide any new functionality which was not
129
already present in the language. In practice, their introduction has
130
significantly changed the way we structure our programs in Python. I
131
believe the change is for the best, and that decorators are a great
134
<li>decorators help reducing boilerplate code;</li>
135
<li>decorators help separation of concerns;</li>
136
<li>decorators enhance readability and maintenability;</li>
137
<li>decorators are explicit.</li>
139
<p>Still, as of now, writing custom decorators correctly requires
140
some experience and it is not as easy as it could be. For instance,
141
typical implementations of decorators involve nested functions, and
142
we all know that flat is better than nested.</p>
143
<p>The aim of the <tt class="docutils literal"><span class="pre">decorator</span></tt> module it to simplify the usage of
144
decorators for the average programmer, and to popularize decorators by
145
showing various non-trivial examples. Of course, as all techniques,
146
decorators can be abused (I have seen that) and you should not try to
147
solve every problem with a decorator, just because you can.</p>
148
<p>You may find the source code for all the examples
149
discussed here in the <tt class="docutils literal"><span class="pre">documentation.py</span></tt> file, which contains
150
this documentation in the form of doctests.</p>
152
<div class="section" id="definitions">
153
<h1><a class="toc-backref" href="#id4">Definitions</a></h1>
154
<p>Technically speaking, any Python object which can be called with one argument
155
can be used as a decorator. However, this definition is somewhat too large
156
to be really useful. It is more convenient to split the generic class of
157
decorators in two subclasses:</p>
159
<li><em>signature-preserving</em> decorators, i.e. callable objects taking a
160
function as input and returning a function <em>with the same
161
signature</em> as output;</li>
162
<li><em>signature-changing</em> decorators, i.e. decorators that change
163
the signature of their input function, or decorators returning
164
non-callable objects.</li>
166
<p>Signature-changing decorators have their use: for instance the
167
builtin classes <tt class="docutils literal"><span class="pre">staticmethod</span></tt> and <tt class="docutils literal"><span class="pre">classmethod</span></tt> are in this
168
group, since they take functions and return descriptor objects which
169
are not functions, nor callables.</p>
170
<p>However, signature-preserving decorators are more common and easier to
171
reason about; in particular signature-preserving decorators can be
172
composed together whereas other decorators in general cannot.</p>
173
<p>Writing signature-preserving decorators from scratch is not that
174
obvious, especially if one wants to define proper decorators that
175
can accept functions with any signature. A simple example will clarify
178
<div class="section" id="statement-of-the-problem">
179
<h1><a class="toc-backref" href="#id5">Statement of the problem</a></h1>
180
<p>A very common use case for decorators is the memoization of functions.
181
A <tt class="docutils literal"><span class="pre">memoize</span></tt> decorator works by caching
182
the result of the function call in a dictionary, so that the next time
183
the function is called with the same input parameters the result is retrieved
184
from the cache and not recomputed. There are many implementations of
185
<tt class="docutils literal"><span class="pre">memoize</span></tt> in <a class="reference external" href="http://www.python.org/moin/PythonDecoratorLibrary">http://www.python.org/moin/PythonDecoratorLibrary</a>,
186
but they do not preserve the signature.
187
A simple implementation for Python 2.5 could be the following (notice
188
that in general it is impossible to memoize correctly something
189
that depends on non-hashable arguments):</p>
190
<div class="codeblock python">
191
<div class="highlight"><pre><span class="k">def</span> <span class="nf">memoize25</span><span class="p">(</span><span class="n">func</span><span class="p">):</span>
192
<span class="n">func</span><span class="o">.</span><span class="n">cache</span> <span class="o">=</span> <span class="p">{}</span>
193
<span class="k">def</span> <span class="nf">memoize</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
194
<span class="k">if</span> <span class="n">kw</span><span class="p">:</span> <span class="c"># frozenset is used to ensure hashability</span>
195
<span class="n">key</span> <span class="o">=</span> <span class="n">args</span><span class="p">,</span> <span class="n">frozenset</span><span class="p">(</span><span class="n">kw</span><span class="o">.</span><span class="n">iteritems</span><span class="p">())</span>
196
<span class="k">else</span><span class="p">:</span>
197
<span class="n">key</span> <span class="o">=</span> <span class="n">args</span>
198
<span class="n">cache</span> <span class="o">=</span> <span class="n">func</span><span class="o">.</span><span class="n">cache</span>
199
<span class="k">if</span> <span class="n">key</span> <span class="ow">in</span> <span class="n">cache</span><span class="p">:</span>
200
<span class="k">return</span> <span class="n">cache</span><span class="p">[</span><span class="n">key</span><span class="p">]</span>
201
<span class="k">else</span><span class="p">:</span>
202
<span class="n">cache</span><span class="p">[</span><span class="n">key</span><span class="p">]</span> <span class="o">=</span> <span class="n">result</span> <span class="o">=</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
203
<span class="k">return</span> <span class="n">result</span>
204
<span class="k">return</span> <span class="n">functools</span><span class="o">.</span><span class="n">update_wrapper</span><span class="p">(</span><span class="n">memoize</span><span class="p">,</span> <span class="n">func</span><span class="p">)</span>
208
<p>Here we used the <a class="reference external" href="http://www.python.org/doc/2.5.2/lib/module-functools.html">functools.update_wrapper</a> utility, which has
209
been added in Python 2.5 expressly to simplify the definition of decorators
210
(in older versions of Python you need to copy the function attributes
211
<tt class="docutils literal"><span class="pre">__name__</span></tt>, <tt class="docutils literal"><span class="pre">__doc__</span></tt>, <tt class="docutils literal"><span class="pre">__module__</span></tt> and <tt class="docutils literal"><span class="pre">__dict__</span></tt>
212
from the original function to the decorated function by hand).</p>
213
<p>The implementation above works in the sense that the decorator
214
can accept functions with generic signatures; unfortunately this
215
implementation does <em>not</em> define a signature-preserving decorator, since in
216
general <tt class="docutils literal"><span class="pre">memoize25</span></tt> returns a function with a
217
<em>different signature</em> from the original function.</p>
218
<p>Consider for instance the following case:</p>
219
<div class="codeblock python">
220
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@memoize25</span>
221
<span class="o">...</span> <span class="k">def</span> <span class="nf">f1</span><span class="p">(</span><span class="n">x</span><span class="p">):</span>
222
<span class="o">...</span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">1</span><span class="p">)</span> <span class="c"># simulate some long computation</span>
223
<span class="o">...</span> <span class="k">return</span> <span class="n">x</span>
227
<p>Here the original function takes a single argument named <tt class="docutils literal"><span class="pre">x</span></tt>,
228
but the decorated function takes any number of arguments and
229
keyword arguments:</p>
230
<div class="codeblock python">
231
<div class="highlight"><pre><span class="o">>>></span> <span class="kn">from</span> <span class="nn">inspect</span> <span class="kn">import</span> <span class="n">getargspec</span>
232
<span class="o">>>></span> <span class="k">print</span> <span class="n">getargspec</span><span class="p">(</span><span class="n">f1</span><span class="p">)</span>
233
<span class="p">([],</span> <span class="s">'args'</span><span class="p">,</span> <span class="s">'kw'</span><span class="p">,</span> <span class="bp">None</span><span class="p">)</span>
237
<p>This means that introspection tools such as pydoc will give
238
wrong informations about the signature of <tt class="docutils literal"><span class="pre">f1</span></tt>. This is pretty bad:
239
pydoc will tell you that the function accepts a generic signature
240
<tt class="docutils literal"><span class="pre">*args</span></tt>, <tt class="docutils literal"><span class="pre">**kw</span></tt>, but when you try to call the function with more than an
241
argument, you will get an error:</p>
242
<div class="codeblock python">
243
<div class="highlight"><pre><span class="o">>>></span> <span class="n">f1</span><span class="p">(</span><span class="mf">0</span><span class="p">,</span> <span class="mf">1</span><span class="p">)</span>
244
<span class="n">Traceback</span> <span class="p">(</span><span class="n">most</span> <span class="n">recent</span> <span class="n">call</span> <span class="n">last</span><span class="p">):</span>
245
<span class="o">...</span>
246
<span class="ne">TypeError</span><span class="p">:</span> <span class="n">f1</span><span class="p">()</span> <span class="n">takes</span> <span class="n">exactly</span> <span class="mf">1</span> <span class="n">argument</span> <span class="p">(</span><span class="mf">2</span> <span class="n">given</span><span class="p">)</span>
251
<div class="section" id="the-solution">
252
<h1><a class="toc-backref" href="#id6">The solution</a></h1>
253
<p>The solution is to provide a generic factory of generators, which
254
hides the complexity of making signature-preserving decorators
255
from the application programmer. The <tt class="docutils literal"><span class="pre">decorator</span></tt> function in
256
the <tt class="docutils literal"><span class="pre">decorator</span></tt> module is such a factory:</p>
257
<div class="codeblock python">
258
<div class="highlight"><pre><span class="o">>>></span> <span class="kn">from</span> <span class="nn">decorator</span> <span class="kn">import</span> <span class="n">decorator</span>
262
<p><tt class="docutils literal"><span class="pre">decorator</span></tt> takes two arguments, a caller function describing the
263
functionality of the decorator and a function to be decorated; it
264
returns the decorated function. The caller function must have
265
signature <tt class="docutils literal"><span class="pre">(f,</span> <span class="pre">*args,</span> <span class="pre">**kw)</span></tt> and it must call the original function <tt class="docutils literal"><span class="pre">f</span></tt>
266
with arguments <tt class="docutils literal"><span class="pre">args</span></tt> and <tt class="docutils literal"><span class="pre">kw</span></tt>, implementing the wanted capability,
267
i.e. memoization in this case:</p>
268
<div class="codeblock python">
269
<div class="highlight"><pre><span class="k">def</span> <span class="nf">_memoize</span><span class="p">(</span><span class="n">func</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
270
<span class="k">if</span> <span class="n">kw</span><span class="p">:</span> <span class="c"># frozenset is used to ensure hashability</span>
271
<span class="n">key</span> <span class="o">=</span> <span class="n">args</span><span class="p">,</span> <span class="n">frozenset</span><span class="p">(</span><span class="n">kw</span><span class="o">.</span><span class="n">iteritems</span><span class="p">())</span>
272
<span class="k">else</span><span class="p">:</span>
273
<span class="n">key</span> <span class="o">=</span> <span class="n">args</span>
274
<span class="n">cache</span> <span class="o">=</span> <span class="n">func</span><span class="o">.</span><span class="n">cache</span> <span class="c"># attributed added by memoize</span>
275
<span class="k">if</span> <span class="n">key</span> <span class="ow">in</span> <span class="n">cache</span><span class="p">:</span>
276
<span class="k">return</span> <span class="n">cache</span><span class="p">[</span><span class="n">key</span><span class="p">]</span>
277
<span class="k">else</span><span class="p">:</span>
278
<span class="n">cache</span><span class="p">[</span><span class="n">key</span><span class="p">]</span> <span class="o">=</span> <span class="n">result</span> <span class="o">=</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
279
<span class="k">return</span> <span class="n">result</span>
283
<p>At this point you can define your decorator as follows:</p>
284
<div class="codeblock python">
285
<div class="highlight"><pre><span class="k">def</span> <span class="nf">memoize</span><span class="p">(</span><span class="n">f</span><span class="p">):</span>
286
<span class="n">f</span><span class="o">.</span><span class="n">cache</span> <span class="o">=</span> <span class="p">{}</span>
287
<span class="k">return</span> <span class="n">decorator</span><span class="p">(</span><span class="n">_memoize</span><span class="p">,</span> <span class="n">f</span><span class="p">)</span>
291
<p>The difference with respect to the Python 2.5 approach, which is based
292
on nested functions, is that the decorator module forces you to lift
293
the inner function at the outer level (<em>flat is better than nested</em>).
294
Moreover, you are forced to pass explicitly the function you want to
295
decorate to the caller function.</p>
296
<p>Here is a test of usage:</p>
297
<div class="codeblock python">
298
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@memoize</span>
299
<span class="o">...</span> <span class="k">def</span> <span class="nf">heavy_computation</span><span class="p">():</span>
300
<span class="o">...</span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">2</span><span class="p">)</span>
301
<span class="o">...</span> <span class="k">return</span> <span class="s">"done"</span>
303
<span class="o">>>></span> <span class="k">print</span> <span class="n">heavy_computation</span><span class="p">()</span> <span class="c"># the first time it will take 2 seconds</span>
304
<span class="n">done</span>
306
<span class="o">>>></span> <span class="k">print</span> <span class="n">heavy_computation</span><span class="p">()</span> <span class="c"># the second time it will be instantaneous</span>
307
<span class="n">done</span>
311
<p>The signature of <tt class="docutils literal"><span class="pre">heavy_computation</span></tt> is the one you would expect:</p>
312
<div class="codeblock python">
313
<div class="highlight"><pre><span class="o">>>></span> <span class="k">print</span> <span class="n">getargspec</span><span class="p">(</span><span class="n">heavy_computation</span><span class="p">)</span>
314
<span class="p">([],</span> <span class="bp">None</span><span class="p">,</span> <span class="bp">None</span><span class="p">,</span> <span class="bp">None</span><span class="p">)</span>
319
<div class="section" id="a-trace-decorator">
320
<h1><a class="toc-backref" href="#id7">A <tt class="docutils literal"><span class="pre">trace</span></tt> decorator</a></h1>
321
<p>As an additional example, here is how you can define a trivial
322
<tt class="docutils literal"><span class="pre">trace</span></tt> decorator, which prints a message everytime the traced
323
function is called:</p>
324
<div class="codeblock python">
325
<div class="highlight"><pre><span class="k">def</span> <span class="nf">_trace</span><span class="p">(</span><span class="n">f</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
326
<span class="k">print</span> <span class="s">"calling </span><span class="si">%s</span><span class="s"> with args </span><span class="si">%s</span><span class="s">, </span><span class="si">%s</span><span class="s">"</span> <span class="o">%</span> <span class="p">(</span><span class="n">f</span><span class="o">.</span><span class="n">__name__</span><span class="p">,</span> <span class="n">args</span><span class="p">,</span> <span class="n">kw</span><span class="p">)</span>
327
<span class="k">return</span> <span class="n">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
331
<div class="codeblock python">
332
<div class="highlight"><pre><span class="k">def</span> <span class="nf">trace</span><span class="p">(</span><span class="n">f</span><span class="p">):</span>
333
<span class="k">return</span> <span class="n">decorator</span><span class="p">(</span><span class="n">_trace</span><span class="p">,</span> <span class="n">f</span><span class="p">)</span>
337
<p>Here is an example of usage:</p>
338
<div class="codeblock python">
339
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
340
<span class="o">...</span> <span class="k">def</span> <span class="nf">f1</span><span class="p">(</span><span class="n">x</span><span class="p">):</span>
341
<span class="o">...</span> <span class="k">pass</span>
345
<p>It is immediate to verify that <tt class="docutils literal"><span class="pre">f1</span></tt> works</p>
346
<div class="codeblock python">
347
<div class="highlight"><pre><span class="o">>>></span> <span class="n">f1</span><span class="p">(</span><span class="mf">0</span><span class="p">)</span>
348
<span class="n">calling</span> <span class="n">f1</span> <span class="k">with</span> <span class="n">args</span> <span class="p">(</span><span class="mf">0</span><span class="p">,),</span> <span class="p">{}</span>
352
<p>and it that it has the correct signature:</p>
353
<div class="codeblock python">
354
<div class="highlight"><pre><span class="o">>>></span> <span class="k">print</span> <span class="n">getargspec</span><span class="p">(</span><span class="n">f1</span><span class="p">)</span>
355
<span class="p">([</span><span class="s">'x'</span><span class="p">],</span> <span class="bp">None</span><span class="p">,</span> <span class="bp">None</span><span class="p">,</span> <span class="bp">None</span><span class="p">)</span>
359
<p>The same decorator works with functions of any signature:</p>
360
<div class="codeblock python">
361
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
362
<span class="o">...</span> <span class="k">def</span> <span class="nf">f</span><span class="p">(</span><span class="n">x</span><span class="p">,</span> <span class="n">y</span><span class="o">=</span><span class="mf">1</span><span class="p">,</span> <span class="n">z</span><span class="o">=</span><span class="mf">2</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
363
<span class="o">...</span> <span class="k">pass</span>
365
<span class="o">>>></span> <span class="n">f</span><span class="p">(</span><span class="mf">0</span><span class="p">,</span> <span class="mf">3</span><span class="p">)</span>
366
<span class="n">calling</span> <span class="n">f</span> <span class="k">with</span> <span class="n">args</span> <span class="p">(</span><span class="mf">0</span><span class="p">,</span> <span class="mf">3</span><span class="p">,</span> <span class="mf">2</span><span class="p">),</span> <span class="p">{}</span>
368
<span class="o">>>></span> <span class="k">print</span> <span class="n">getargspec</span><span class="p">(</span><span class="n">f</span><span class="p">)</span>
369
<span class="p">([</span><span class="s">'x'</span><span class="p">,</span> <span class="s">'y'</span><span class="p">,</span> <span class="s">'z'</span><span class="p">],</span> <span class="s">'args'</span><span class="p">,</span> <span class="s">'kw'</span><span class="p">,</span> <span class="p">(</span><span class="mf">1</span><span class="p">,</span> <span class="mf">2</span><span class="p">))</span>
373
<p>That includes even functions with exotic signatures like the following:</p>
374
<div class="codeblock python">
375
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
376
<span class="o">...</span> <span class="k">def</span> <span class="nf">exotic_signature</span><span class="p">((</span><span class="n">x</span><span class="p">,</span> <span class="n">y</span><span class="p">)</span><span class="o">=</span><span class="p">(</span><span class="mf">1</span><span class="p">,</span><span class="mf">2</span><span class="p">)):</span> <span class="k">return</span> <span class="n">x</span><span class="o">+</span><span class="n">y</span>
378
<span class="o">>>></span> <span class="k">print</span> <span class="n">getargspec</span><span class="p">(</span><span class="n">exotic_signature</span><span class="p">)</span>
379
<span class="p">([[</span><span class="s">'x'</span><span class="p">,</span> <span class="s">'y'</span><span class="p">]],</span> <span class="bp">None</span><span class="p">,</span> <span class="bp">None</span><span class="p">,</span> <span class="p">((</span><span class="mf">1</span><span class="p">,</span> <span class="mf">2</span><span class="p">),))</span>
380
<span class="o">>>></span> <span class="n">exotic_signature</span><span class="p">()</span>
381
<span class="n">calling</span> <span class="n">exotic_signature</span> <span class="k">with</span> <span class="n">args</span> <span class="p">((</span><span class="mf">1</span><span class="p">,</span> <span class="mf">2</span><span class="p">),),</span> <span class="p">{}</span>
382
<span class="mf">3</span>
386
<p>Notice that the support for exotic signatures has been deprecated
387
in Python 2.6 and removed in Python 3.0.</p>
389
<div class="section" id="decorator-is-a-decorator">
390
<h1><a class="toc-backref" href="#id8"><tt class="docutils literal"><span class="pre">decorator</span></tt> is a decorator</a></h1>
391
<p>It may be annoying to write a caller function (like the <tt class="docutils literal"><span class="pre">_trace</span></tt>
392
function above) and then a trivial wrapper
393
(<tt class="docutils literal"><span class="pre">def</span> <span class="pre">trace(f):</span> <span class="pre">return</span> <span class="pre">decorator(_trace,</span> <span class="pre">f)</span></tt>) every time. For this reason,
394
the <tt class="docutils literal"><span class="pre">decorator</span></tt> module provides an easy shortcut to convert
395
the caller function into a signature-preserving decorator:
396
you can just call <tt class="docutils literal"><span class="pre">decorator</span></tt> with a single argument.
397
In our example you can just write <tt class="docutils literal"><span class="pre">trace</span> <span class="pre">=</span> <span class="pre">decorator(_trace)</span></tt>.
398
The <tt class="docutils literal"><span class="pre">decorator</span></tt> function can also be used as a signature-changing
399
decorator, just as <tt class="docutils literal"><span class="pre">classmethod</span></tt> and <tt class="docutils literal"><span class="pre">staticmethod</span></tt>.
400
However, <tt class="docutils literal"><span class="pre">classmethod</span></tt> and <tt class="docutils literal"><span class="pre">staticmethod</span></tt> return generic
401
objects which are not callable, while <tt class="docutils literal"><span class="pre">decorator</span></tt> returns
402
signature-preserving decorators, i.e. functions of a single argument.
403
For instance, you can write directly</p>
404
<div class="codeblock python">
405
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@decorator</span>
406
<span class="o">...</span> <span class="k">def</span> <span class="nf">trace</span><span class="p">(</span><span class="n">f</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
407
<span class="o">...</span> <span class="k">print</span> <span class="s">"calling </span><span class="si">%s</span><span class="s"> with args </span><span class="si">%s</span><span class="s">, </span><span class="si">%s</span><span class="s">"</span> <span class="o">%</span> <span class="p">(</span><span class="n">f</span><span class="o">.</span><span class="n">func_name</span><span class="p">,</span> <span class="n">args</span><span class="p">,</span> <span class="n">kw</span><span class="p">)</span>
408
<span class="o">...</span> <span class="k">return</span> <span class="n">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
412
<p>and now <tt class="docutils literal"><span class="pre">trace</span></tt> will be a decorator. Actually <tt class="docutils literal"><span class="pre">trace</span></tt> is a <tt class="docutils literal"><span class="pre">partial</span></tt>
413
object which can be used as a decorator:</p>
414
<div class="codeblock python">
415
<div class="highlight"><pre><span class="o">>>></span> <span class="n">trace</span>
416
<span class="o"><</span><span class="n">function</span> <span class="n">trace</span> <span class="n">at</span> <span class="mf">0</span><span class="n">x</span><span class="o">...></span>
420
<p>Here is an example of usage:</p>
421
<div class="codeblock python">
422
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
423
<span class="o">...</span> <span class="k">def</span> <span class="nf">func</span><span class="p">():</span> <span class="k">pass</span>
425
<span class="o">>>></span> <span class="n">func</span><span class="p">()</span>
426
<span class="n">calling</span> <span class="n">func</span> <span class="k">with</span> <span class="n">args</span> <span class="p">(),</span> <span class="p">{}</span>
430
<p>If you are using an old Python version (Python 2.4) the
431
<tt class="docutils literal"><span class="pre">decorator</span></tt> module provides a poor man replacement for
432
<tt class="docutils literal"><span class="pre">functools.partial</span></tt>.</p>
433
<p>There is also an easy way to create one-parameter factories of
434
decorators, based on the following
435
<tt class="docutils literal"><span class="pre">decorator_factory</span></tt> utility:</p>
436
<div class="codeblock python">
437
<div class="highlight"><pre><span class="k">def</span> <span class="nf">decorator_factory</span><span class="p">(</span><span class="n">decfac</span><span class="p">):</span> <span class="c"># partial is functools.partial</span>
438
<span class="s">"decorator_factory(decfac) returns a one-parameter family of decorators"</span>
439
<span class="k">return</span> <span class="n">partial</span><span class="p">(</span><span class="k">lambda</span> <span class="n">df</span><span class="p">,</span> <span class="n">param</span><span class="p">:</span> <span class="n">decorator</span><span class="p">(</span><span class="n">partial</span><span class="p">(</span><span class="n">df</span><span class="p">,</span> <span class="n">param</span><span class="p">)),</span> <span class="n">decfac</span><span class="p">)</span>
443
<p><tt class="docutils literal"><span class="pre">decorator_factory</span></tt> converts a function with signature
444
<tt class="docutils literal"><span class="pre">(param,</span> <span class="pre">func,</span> <span class="pre">*args,</span> <span class="pre">**kw)</span></tt> into a one-parameter family
445
of decorators. Suppose for instance you want to generated different
446
tracing generator, with different tracing messages.
447
Here is how to do it:</p>
448
<div class="codeblock python">
449
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@decorator_factory</span>
450
<span class="o">...</span> <span class="k">def</span> <span class="nf">trace_factory</span><span class="p">(</span><span class="n">message_template</span><span class="p">,</span> <span class="n">f</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
451
<span class="o">...</span> <span class="n">name</span> <span class="o">=</span> <span class="n">f</span><span class="o">.</span><span class="n">func_name</span>
452
<span class="o">...</span> <span class="k">print</span> <span class="n">message_template</span> <span class="o">%</span> <span class="nb">locals</span><span class="p">()</span>
453
<span class="o">...</span> <span class="k">return</span> <span class="n">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
457
<div class="codeblock python">
458
<div class="highlight"><pre><span class="o">>>></span> <span class="n">trace_factory</span>
459
<span class="o"><</span><span class="n">functools</span><span class="o">.</span><span class="n">partial</span> <span class="nb">object</span> <span class="n">at</span> <span class="mf">0</span><span class="n">x</span><span class="o">...></span>
461
<span class="o">>>></span> <span class="n">trace</span> <span class="o">=</span> <span class="n">trace_factory</span><span class="p">(</span><span class="s">'Calling </span><span class="si">%(name)s</span><span class="s"> with args </span><span class="si">%(args)s</span><span class="s"> '</span>
462
<span class="o">...</span> <span class="s">'and keywords </span><span class="si">%(kw)s</span><span class="s">'</span><span class="p">)</span>
466
<p>In this example the parameter (<tt class="docutils literal"><span class="pre">message_template</span></tt>) is
467
just a string, but in general it can be a tuple, a dictionary, or
468
a generic object, so there is no real restriction (for instance,
469
if you want to define a two-parameter family of decorators just
470
use a tuple with two arguments as parameter).
471
Here is an example of usage:</p>
472
<div class="codeblock python">
473
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
474
<span class="o">...</span> <span class="k">def</span> <span class="nf">func</span><span class="p">():</span> <span class="k">pass</span>
476
<span class="o">>>></span> <span class="n">func</span><span class="p">()</span>
477
<span class="n">Calling</span> <span class="n">func</span> <span class="k">with</span> <span class="n">args</span> <span class="p">()</span> <span class="ow">and</span> <span class="n">keywords</span> <span class="p">{}</span>
482
<div class="section" id="blocking">
483
<h1><a class="toc-backref" href="#id9"><tt class="docutils literal"><span class="pre">blocking</span></tt></a></h1>
484
<p>Sometimes one has to deal with blocking resources, such as <tt class="docutils literal"><span class="pre">stdin</span></tt>, and
485
sometimes it is best to have back a "busy" message than to block everything.
486
This behavior can be implemented with a suitable family of decorators,
487
where the parameter is the busy message:</p>
488
<div class="codeblock python">
489
<div class="highlight"><pre><span class="nd">@decorator_factory</span>
490
<span class="k">def</span> <span class="nf">blocking</span><span class="p">(</span><span class="n">not_avail</span><span class="p">,</span> <span class="n">f</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
491
<span class="k">if</span> <span class="ow">not</span> <span class="nb">hasattr</span><span class="p">(</span><span class="n">f</span><span class="p">,</span> <span class="s">"thread"</span><span class="p">):</span> <span class="c"># no thread running</span>
492
<span class="k">def</span> <span class="nf">set_result</span><span class="p">():</span> <span class="n">f</span><span class="o">.</span><span class="n">result</span> <span class="o">=</span> <span class="n">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
493
<span class="n">f</span><span class="o">.</span><span class="n">thread</span> <span class="o">=</span> <span class="n">threading</span><span class="o">.</span><span class="n">Thread</span><span class="p">(</span><span class="bp">None</span><span class="p">,</span> <span class="n">set_result</span><span class="p">)</span>
494
<span class="n">f</span><span class="o">.</span><span class="n">thread</span><span class="o">.</span><span class="n">start</span><span class="p">()</span>
495
<span class="k">return</span> <span class="n">not_avail</span>
496
<span class="k">elif</span> <span class="n">f</span><span class="o">.</span><span class="n">thread</span><span class="o">.</span><span class="n">isAlive</span><span class="p">():</span>
497
<span class="k">return</span> <span class="n">not_avail</span>
498
<span class="k">else</span><span class="p">:</span> <span class="c"># the thread is ended, return the stored result</span>
499
<span class="k">del</span> <span class="n">f</span><span class="o">.</span><span class="n">thread</span>
500
<span class="k">return</span> <span class="n">f</span><span class="o">.</span><span class="n">result</span>
504
<p>Functions decorated with <tt class="docutils literal"><span class="pre">blocking</span></tt> will return a busy message if
505
the resource is unavailable, and the intended result if the resource is
506
available. For instance:</p>
507
<div class="codeblock python">
508
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@blocking</span><span class="p">(</span><span class="s">"Please wait ..."</span><span class="p">)</span>
509
<span class="o">...</span> <span class="k">def</span> <span class="nf">read_data</span><span class="p">():</span>
510
<span class="o">...</span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">3</span><span class="p">)</span> <span class="c"># simulate a blocking resource</span>
511
<span class="o">...</span> <span class="k">return</span> <span class="s">"some data"</span>
513
<span class="o">>>></span> <span class="k">print</span> <span class="n">read_data</span><span class="p">()</span> <span class="c"># data is not available yet</span>
514
<span class="n">Please</span> <span class="n">wait</span> <span class="o">...</span>
516
<span class="o">>>></span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">1</span><span class="p">)</span>
517
<span class="o">>>></span> <span class="k">print</span> <span class="n">read_data</span><span class="p">()</span> <span class="c"># data is not available yet</span>
518
<span class="n">Please</span> <span class="n">wait</span> <span class="o">...</span>
520
<span class="o">>>></span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">1</span><span class="p">)</span>
521
<span class="o">>>></span> <span class="k">print</span> <span class="n">read_data</span><span class="p">()</span> <span class="c"># data is not available yet</span>
522
<span class="n">Please</span> <span class="n">wait</span> <span class="o">...</span>
524
<span class="o">>>></span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">1.1</span><span class="p">)</span> <span class="c"># after 3.1 seconds, data is available</span>
525
<span class="o">>>></span> <span class="k">print</span> <span class="n">read_data</span><span class="p">()</span>
526
<span class="n">some</span> <span class="n">data</span>
531
<div class="section" id="async">
532
<h1><a class="toc-backref" href="#id10"><tt class="docutils literal"><span class="pre">async</span></tt></a></h1>
533
<p>We have just seen an examples of a simple decorator factory,
534
implemented as a function returning a decorator.
535
For more complex situations, it is more
536
convenient to implement decorator factories as classes returning
537
callable objects that can be used as signature-preserving
538
decorators. The suggested pattern to do that is to introduce
539
a helper method <tt class="docutils literal"><span class="pre">call(self,</span> <span class="pre">func,</span> <span class="pre">*args,</span> <span class="pre">**kw)</span></tt> and to call
540
it in the <tt class="docutils literal"><span class="pre">__call__(self,</span> <span class="pre">func)</span></tt> method.</p>
541
<p>As an example, here I show a decorator
542
which is able to convert a blocking function into an asynchronous
543
function. The function, when called,
544
is executed in a separate thread. Moreover, it is possible to set
545
three callbacks <tt class="docutils literal"><span class="pre">on_success</span></tt>, <tt class="docutils literal"><span class="pre">on_failure</span></tt> and <tt class="docutils literal"><span class="pre">on_closing</span></tt>,
546
to specify how to manage the function call.
547
The implementation is the following:</p>
548
<div class="codeblock python">
549
<div class="highlight"><pre><span class="k">def</span> <span class="nf">on_success</span><span class="p">(</span><span class="n">result</span><span class="p">):</span> <span class="c"># default implementation</span>
550
<span class="s">"Called on the result of the function"</span>
551
<span class="k">return</span> <span class="n">result</span>
555
<div class="codeblock python">
556
<div class="highlight"><pre><span class="k">def</span> <span class="nf">on_failure</span><span class="p">(</span><span class="n">exc_info</span><span class="p">):</span> <span class="c"># default implementation</span>
557
<span class="s">"Called if the function fails"</span>
558
<span class="k">pass</span>
562
<div class="codeblock python">
563
<div class="highlight"><pre><span class="k">def</span> <span class="nf">on_closing</span><span class="p">():</span> <span class="c"># default implementation</span>
564
<span class="s">"Called at the end, both in case of success and failure"</span>
565
<span class="k">pass</span>
569
<div class="codeblock python">
570
<div class="highlight"><pre><span class="k">class</span> <span class="nc">Async</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
571
<span class="sd">"""</span>
572
<span class="sd"> A decorator converting blocking functions into asynchronous</span>
573
<span class="sd"> functions, by using threads or processes. Examples:</span>
575
<span class="sd"> async_with_threads = Async(threading.Thread)</span>
576
<span class="sd"> async_with_processes = Async(multiprocessing.Process)</span>
577
<span class="sd"> """</span>
579
<span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">threadfactory</span><span class="p">):</span>
580
<span class="bp">self</span><span class="o">.</span><span class="n">threadfactory</span> <span class="o">=</span> <span class="n">threadfactory</span>
582
<span class="k">def</span> <span class="nf">__call__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">func</span><span class="p">,</span> <span class="n">on_success</span><span class="o">=</span><span class="n">on_success</span><span class="p">,</span>
583
<span class="n">on_failure</span><span class="o">=</span><span class="n">on_failure</span><span class="p">,</span> <span class="n">on_closing</span><span class="o">=</span><span class="n">on_closing</span><span class="p">):</span>
584
<span class="c"># every decorated function has its own independent thread counter</span>
585
<span class="n">func</span><span class="o">.</span><span class="n">counter</span> <span class="o">=</span> <span class="n">itertools</span><span class="o">.</span><span class="n">count</span><span class="p">(</span><span class="mf">1</span><span class="p">)</span>
586
<span class="n">func</span><span class="o">.</span><span class="n">on_success</span> <span class="o">=</span> <span class="n">on_success</span>
587
<span class="n">func</span><span class="o">.</span><span class="n">on_failure</span> <span class="o">=</span> <span class="n">on_failure</span>
588
<span class="n">func</span><span class="o">.</span><span class="n">on_closing</span> <span class="o">=</span> <span class="n">on_closing</span>
589
<span class="k">return</span> <span class="n">decorator</span><span class="p">(</span><span class="bp">self</span><span class="o">.</span><span class="n">call</span><span class="p">,</span> <span class="n">func</span><span class="p">)</span>
591
<span class="k">def</span> <span class="nf">call</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">func</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
592
<span class="k">def</span> <span class="nf">func_wrapper</span><span class="p">():</span>
593
<span class="k">try</span><span class="p">:</span>
594
<span class="n">result</span> <span class="o">=</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
595
<span class="k">except</span><span class="p">:</span>
596
<span class="n">func</span><span class="o">.</span><span class="n">on_failure</span><span class="p">(</span><span class="n">sys</span><span class="o">.</span><span class="n">exc_info</span><span class="p">())</span>
597
<span class="k">else</span><span class="p">:</span>
598
<span class="k">return</span> <span class="n">func</span><span class="o">.</span><span class="n">on_success</span><span class="p">(</span><span class="n">result</span><span class="p">)</span>
599
<span class="k">finally</span><span class="p">:</span>
600
<span class="n">func</span><span class="o">.</span><span class="n">on_closing</span><span class="p">()</span>
601
<span class="n">name</span> <span class="o">=</span> <span class="s">'</span><span class="si">%s</span><span class="s">-</span><span class="si">%s</span><span class="s">'</span> <span class="o">%</span> <span class="p">(</span><span class="n">func</span><span class="o">.</span><span class="n">__name__</span><span class="p">,</span> <span class="n">func</span><span class="o">.</span><span class="n">counter</span><span class="o">.</span><span class="n">next</span><span class="p">())</span>
602
<span class="n">thread</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">threadfactory</span><span class="p">(</span><span class="bp">None</span><span class="p">,</span> <span class="n">func_wrapper</span><span class="p">,</span> <span class="n">name</span><span class="p">)</span>
603
<span class="n">thread</span><span class="o">.</span><span class="n">start</span><span class="p">()</span>
604
<span class="k">return</span> <span class="n">thread</span>
608
<p>The decorated function returns
609
the current execution thread, which can be stored and checked later, for
610
instance to verify that the thread <tt class="docutils literal"><span class="pre">.isAlive()</span></tt>.</p>
611
<p>Here is an example of usage. Suppose one wants to write some data to
612
an external resource which can be accessed by a single user at once
613
(for instance a printer). Then the access to the writing function must
614
be locked. Here is a minimalistic example:</p>
615
<div class="codeblock python">
616
<div class="highlight"><pre><span class="o">>>></span> <span class="n">async</span> <span class="o">=</span> <span class="n">Async</span><span class="p">(</span><span class="n">threading</span><span class="o">.</span><span class="n">Thread</span><span class="p">)</span>
618
<span class="o">>>></span> <span class="n">datalist</span> <span class="o">=</span> <span class="p">[]</span> <span class="c"># for simplicity the written data are stored into a list.</span>
620
<span class="o">>>></span> <span class="nd">@async</span>
621
<span class="o">...</span> <span class="k">def</span> <span class="nf">write</span><span class="p">(</span><span class="n">data</span><span class="p">):</span>
622
<span class="o">...</span> <span class="c"># append data to the datalist by locking</span>
623
<span class="o">...</span> <span class="k">with</span> <span class="n">threading</span><span class="o">.</span><span class="n">Lock</span><span class="p">():</span>
624
<span class="o">...</span> <span class="n">time</span><span class="o">.</span><span class="n">sleep</span><span class="p">(</span><span class="mf">1</span><span class="p">)</span> <span class="c"># emulate some long running operation</span>
625
<span class="o">...</span> <span class="n">datalist</span><span class="o">.</span><span class="n">append</span><span class="p">(</span><span class="n">data</span><span class="p">)</span>
626
<span class="o">...</span> <span class="c"># other operations not requiring a lock here</span>
630
<p>Each call to <tt class="docutils literal"><span class="pre">write</span></tt> will create a new writer thread, but there will
631
be no synchronization problems since <tt class="docutils literal"><span class="pre">write</span></tt> is locked.</p>
632
<pre class="doctest-block">
633
>>> write("data1")
634
<Thread(write-1, started...)>
636
<pre class="doctest-block">
637
>>> time.sleep(.1) # wait a bit, so we are sure data2 is written after data1
639
<pre class="doctest-block">
640
>>> write("data2")
641
<Thread(write-2, started...)>
643
<pre class="doctest-block">
644
>>> time.sleep(2) # wait for the writers to complete
646
<pre class="doctest-block">
647
>>> print datalist
651
<div class="section" id="the-functionmaker-class">
652
<h1><a class="toc-backref" href="#id11">The <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> class</a></h1>
653
<p>You may wonder about how the functionality of the <tt class="docutils literal"><span class="pre">decorator</span></tt> module
654
is implemented. The basic building block is
655
a <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> class which is able to generate on the fly
656
functions with a given name and signature from a function template
657
passed as a string. Generally speaking, you should not need to
658
resort to <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> when writing ordinary decorators, but
659
it is handy in some circumstances. You will see an example shortly, in
660
the implementation of a cool decorator utility (<tt class="docutils literal"><span class="pre">decorator_apply</span></tt>).</p>
661
<p><tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> provides a <tt class="docutils literal"><span class="pre">.create</span></tt> classmethod which
662
takes as input the name, signature, and body of the function
663
we want to generate as well as the execution environment
664
were the function is generated by <tt class="docutils literal"><span class="pre">exec</span></tt>. Here is an example:</p>
665
<div class="codeblock python">
666
<div class="highlight"><pre><span class="o">>>></span> <span class="k">def</span> <span class="nf">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span> <span class="c"># a function with a generic signature</span>
667
<span class="o">...</span> <span class="k">print</span> <span class="n">args</span><span class="p">,</span> <span class="n">kw</span>
669
<span class="o">>>></span> <span class="n">f1</span> <span class="o">=</span> <span class="n">FunctionMaker</span><span class="o">.</span><span class="n">create</span><span class="p">(</span><span class="s">'f1(a, b)'</span><span class="p">,</span> <span class="s">'f(a, b)'</span><span class="p">,</span> <span class="nb">dict</span><span class="p">(</span><span class="n">f</span><span class="o">=</span><span class="n">f</span><span class="p">))</span>
670
<span class="o">>>></span> <span class="n">f1</span><span class="p">(</span><span class="mf">1</span><span class="p">,</span><span class="mf">2</span><span class="p">)</span>
671
<span class="p">(</span><span class="mf">1</span><span class="p">,</span> <span class="mf">2</span><span class="p">)</span> <span class="p">{}</span>
675
<p>It is important to notice that the function body is interpolated
676
before being executed, so be careful with the <tt class="docutils literal"><span class="pre">%</span></tt> sign!</p>
677
<p><tt class="docutils literal"><span class="pre">FunctionMaker.create</span></tt> also accepts keyword arguments and such
678
arguments are attached to the resulting function. This is useful
679
if you want to set some function attributes, for instance the
680
docstring <tt class="docutils literal"><span class="pre">__doc__</span></tt>.</p>
681
<p>For debugging/introspection purposes it may be useful to see
682
the source code of the generated function; to do that, just
683
pass the flag <tt class="docutils literal"><span class="pre">addsource=True</span></tt> and a <tt class="docutils literal"><span class="pre">__source__</span></tt> attribute will
684
be added to the generated function:</p>
685
<div class="codeblock python">
686
<div class="highlight"><pre><span class="o">>>></span> <span class="n">f1</span> <span class="o">=</span> <span class="n">FunctionMaker</span><span class="o">.</span><span class="n">create</span><span class="p">(</span>
687
<span class="o">...</span> <span class="s">'f1(a, b)'</span><span class="p">,</span> <span class="s">'f(a, b)'</span><span class="p">,</span> <span class="nb">dict</span><span class="p">(</span><span class="n">f</span><span class="o">=</span><span class="n">f</span><span class="p">),</span> <span class="n">addsource</span><span class="o">=</span><span class="bp">True</span><span class="p">)</span>
688
<span class="o">>>></span> <span class="k">print</span> <span class="n">f1</span><span class="o">.</span><span class="n">__source__</span>
689
<span class="k">def</span> <span class="nf">f1</span><span class="p">(</span><span class="n">a</span><span class="p">,</span> <span class="n">b</span><span class="p">):</span>
690
<span class="n">f</span><span class="p">(</span><span class="n">a</span><span class="p">,</span> <span class="n">b</span><span class="p">)</span>
691
<span class="o"><</span><span class="n">BLANKLINE</span><span class="o">></span>
695
<p><tt class="docutils literal"><span class="pre">FunctionMaker.create</span></tt> can take as first argument a string,
696
as in the examples before, or a function. This is the most common
697
usage, since typically you want to decorate a pre-existing
698
function. A framework author may want to use directly <tt class="docutils literal"><span class="pre">FunctionMaker.create</span></tt>
699
instead of <tt class="docutils literal"><span class="pre">decorator</span></tt>, since it gives you direct access to the body
700
of the generated function. For instance, suppose you want to instrument
701
the <tt class="docutils literal"><span class="pre">__init__</span></tt> methods of a set of classes, by preserving their
702
signature (such use case is not made up; this is done in SQAlchemy
703
and in other frameworks). When the first argument of <tt class="docutils literal"><span class="pre">FunctionMaker.create</span></tt>
704
is a function, a <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> object is instantiated internally,
705
with attributes <tt class="docutils literal"><span class="pre">args</span></tt>, <tt class="docutils literal"><span class="pre">varargs</span></tt>,
706
<tt class="docutils literal"><span class="pre">keywords</span></tt> and <tt class="docutils literal"><span class="pre">defaults</span></tt> which are the
707
the return values of the standard library function <tt class="docutils literal"><span class="pre">inspect.getargspec</span></tt>.
708
For each argument in the <tt class="docutils literal"><span class="pre">args</span></tt> (which is a list of strings containing
709
the names of the mandatory arguments) an attribute <tt class="docutils literal"><span class="pre">arg0</span></tt>, <tt class="docutils literal"><span class="pre">arg1</span></tt>,
710
..., <tt class="docutils literal"><span class="pre">argN</span></tt> is also generated. Finally, there is a <tt class="docutils literal"><span class="pre">signature</span></tt>
711
attribute, a string with the signature of the original function.</p>
712
<p>Notice that while I do not have plans
713
to change or remove the functionality provided in the
714
<tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> class, I do not guarantee that it will stay
715
unchanged forever. For instance, right now I am using the traditional
716
string interpolation syntax for function templates, but Python 2.6
717
and Python 3.0 provide a newer interpolation syntax and I may use
718
the new syntax in the future.
719
On the other hand, the functionality provided by
720
<tt class="docutils literal"><span class="pre">decorator</span></tt> has been there from version 0.1 and it is guaranteed to
721
stay there forever.</p>
723
<div class="section" id="getting-the-source-code">
724
<h1><a class="toc-backref" href="#id12">Getting the source code</a></h1>
725
<p>Internally <tt class="docutils literal"><span class="pre">FunctionMaker.create</span></tt> uses <tt class="docutils literal"><span class="pre">exec</span></tt> to generate the
726
decorated function. Therefore
727
<tt class="docutils literal"><span class="pre">inspect.getsource</span></tt> will not work for decorated functions. That
728
means that the usual '??' trick in IPython will give you the (right on
729
the spot) message <tt class="docutils literal"><span class="pre">Dynamically</span> <span class="pre">generated</span> <span class="pre">function.</span> <span class="pre">No</span> <span class="pre">source</span> <span class="pre">code</span>
730
<span class="pre">available</span></tt>. In the past I have considered this acceptable, since
731
<tt class="docutils literal"><span class="pre">inspect.getsource</span></tt> does not really work even with regular
732
decorators. In that case <tt class="docutils literal"><span class="pre">inspect.getsource</span></tt> gives you the wrapper
733
source code which is probably not what you want:</p>
734
<div class="codeblock python">
735
<div class="highlight"><pre><span class="k">def</span> <span class="nf">identity_dec</span><span class="p">(</span><span class="n">func</span><span class="p">):</span>
736
<span class="k">def</span> <span class="nf">wrapper</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
737
<span class="k">return</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
738
<span class="k">return</span> <span class="n">wrapper</span>
742
<div class="codeblock python">
743
<div class="highlight"><pre><span class="nd">@identity_dec</span>
744
<span class="k">def</span> <span class="nf">example</span><span class="p">():</span> <span class="k">pass</span>
746
<span class="o">>>></span> <span class="k">print</span> <span class="n">inspect</span><span class="o">.</span><span class="n">getsource</span><span class="p">(</span><span class="n">example</span><span class="p">)</span>
747
<span class="k">def</span> <span class="nf">wrapper</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
748
<span class="k">return</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
749
<span class="o"><</span><span class="n">BLANKLINE</span><span class="o">></span>
753
<p>(see bug report <a class="reference external" href="http://bugs.python.org/issue1764286">1764286</a> for an explanation of what is happening).
754
Unfortunately the bug is still there, even in Python 2.6 and 3.0.
755
There is however a workaround. The decorator module adds an
756
attribute <tt class="docutils literal"><span class="pre">.undecorated</span></tt> to the decorated function, containing
757
a reference to the original function. The easy way to get
758
the source code is to call <tt class="docutils literal"><span class="pre">inspect.getsource</span></tt> on the
759
undecorated function:</p>
760
<div class="codeblock python">
761
<div class="highlight"><pre><span class="o">>>></span> <span class="k">print</span> <span class="n">inspect</span><span class="o">.</span><span class="n">getsource</span><span class="p">(</span><span class="n">factorial</span><span class="o">.</span><span class="n">undecorated</span><span class="p">)</span>
762
<span class="nd">@tail_recursive</span>
763
<span class="k">def</span> <span class="nf">factorial</span><span class="p">(</span><span class="n">n</span><span class="p">,</span> <span class="n">acc</span><span class="o">=</span><span class="mf">1</span><span class="p">):</span>
764
<span class="s">"The good old factorial"</span>
765
<span class="k">if</span> <span class="n">n</span> <span class="o">==</span> <span class="mf">0</span><span class="p">:</span> <span class="k">return</span> <span class="n">acc</span>
766
<span class="k">return</span> <span class="n">factorial</span><span class="p">(</span><span class="n">n</span><span class="o">-</span><span class="mf">1</span><span class="p">,</span> <span class="n">n</span><span class="o">*</span><span class="n">acc</span><span class="p">)</span>
767
<span class="o"><</span><span class="n">BLANKLINE</span><span class="o">></span>
772
<div class="section" id="dealing-with-third-party-decorators">
773
<h1><a class="toc-backref" href="#id13">Dealing with third party decorators</a></h1>
774
<p>Sometimes you find on the net some cool decorator that you would
775
like to include in your code. However, more often than not the cool
776
decorator is not signature-preserving. Therefore you may want an easy way to
777
upgrade third party decorators to signature-preserving decorators without
778
having to rewrite them in terms of <tt class="docutils literal"><span class="pre">decorator</span></tt>. You can use a
779
<tt class="docutils literal"><span class="pre">FunctionMaker</span></tt> to implement that functionality as follows:</p>
780
<div class="codeblock python">
781
<div class="highlight"><pre><span class="k">def</span> <span class="nf">decorator_apply</span><span class="p">(</span><span class="n">dec</span><span class="p">,</span> <span class="n">func</span><span class="p">):</span>
782
<span class="sd">"""</span>
783
<span class="sd"> Decorate a function by preserving the signature even if dec</span>
784
<span class="sd"> is not a signature-preserving decorator.</span>
785
<span class="sd"> """</span>
786
<span class="k">return</span> <span class="n">FunctionMaker</span><span class="o">.</span><span class="n">create</span><span class="p">(</span>
787
<span class="n">func</span><span class="p">,</span> <span class="s">'return decorated(</span><span class="si">%(signature)s</span><span class="s">)'</span><span class="p">,</span>
788
<span class="nb">dict</span><span class="p">(</span><span class="n">decorated</span><span class="o">=</span><span class="n">dec</span><span class="p">(</span><span class="n">func</span><span class="p">)),</span> <span class="n">undecorated</span><span class="o">=</span><span class="n">func</span><span class="p">)</span>
792
<p><tt class="docutils literal"><span class="pre">decorator_apply</span></tt> sets the attribute <tt class="docutils literal"><span class="pre">.undecorated</span></tt> of the generated
793
function to the original function, so that you can get the right
795
<p>Notice that I am not providing this functionality in the <tt class="docutils literal"><span class="pre">decorator</span></tt>
796
module directly since I think it is best to rewrite the decorator rather
797
than adding an additional level of indirection. However, practicality
798
beats purity, so you can add <tt class="docutils literal"><span class="pre">decorator_apply</span></tt> to your toolbox and
799
use it if you need to.</p>
800
<p>In order to give an example of usage of <tt class="docutils literal"><span class="pre">decorator_apply</span></tt>, I will show a
801
pretty slick decorator that converts a tail-recursive function in an iterative
802
function. I have shamelessly stolen the basic idea from Kay Schluehr's recipe
803
in the Python Cookbook,
804
<a class="reference external" href="http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/496691">http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/496691</a>.</p>
805
<div class="codeblock python">
806
<div class="highlight"><pre><span class="k">class</span> <span class="nc">TailRecursive</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
807
<span class="sd">"""</span>
808
<span class="sd"> tail_recursive decorator based on Kay Schluehr's recipe</span>
809
<span class="sd"> http://aspn.activestate.com/ASPN/Cookbook/Python/Recipe/496691</span>
810
<span class="sd"> with improvements by me and George Sakkis.</span>
811
<span class="sd"> """</span>
813
<span class="k">def</span> <span class="nf">__init__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="n">func</span><span class="p">):</span>
814
<span class="bp">self</span><span class="o">.</span><span class="n">func</span> <span class="o">=</span> <span class="n">func</span>
815
<span class="bp">self</span><span class="o">.</span><span class="n">firstcall</span> <span class="o">=</span> <span class="bp">True</span>
816
<span class="bp">self</span><span class="o">.</span><span class="n">CONTINUE</span> <span class="o">=</span> <span class="nb">object</span><span class="p">()</span> <span class="c"># sentinel</span>
818
<span class="k">def</span> <span class="nf">__call__</span><span class="p">(</span><span class="bp">self</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwd</span><span class="p">):</span>
819
<span class="n">CONTINUE</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">CONTINUE</span>
820
<span class="k">if</span> <span class="bp">self</span><span class="o">.</span><span class="n">firstcall</span><span class="p">:</span>
821
<span class="n">func</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">func</span>
822
<span class="bp">self</span><span class="o">.</span><span class="n">firstcall</span> <span class="o">=</span> <span class="bp">False</span>
823
<span class="k">try</span><span class="p">:</span>
824
<span class="k">while</span> <span class="bp">True</span><span class="p">:</span>
825
<span class="n">result</span> <span class="o">=</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kwd</span><span class="p">)</span>
826
<span class="k">if</span> <span class="n">result</span> <span class="ow">is</span> <span class="n">CONTINUE</span><span class="p">:</span> <span class="c"># update arguments</span>
827
<span class="n">args</span><span class="p">,</span> <span class="n">kwd</span> <span class="o">=</span> <span class="bp">self</span><span class="o">.</span><span class="n">argskwd</span>
828
<span class="k">else</span><span class="p">:</span> <span class="c"># last call</span>
829
<span class="k">return</span> <span class="n">result</span>
830
<span class="k">finally</span><span class="p">:</span>
831
<span class="bp">self</span><span class="o">.</span><span class="n">firstcall</span> <span class="o">=</span> <span class="bp">True</span>
832
<span class="k">else</span><span class="p">:</span> <span class="c"># return the arguments of the tail call</span>
833
<span class="bp">self</span><span class="o">.</span><span class="n">argskwd</span> <span class="o">=</span> <span class="n">args</span><span class="p">,</span> <span class="n">kwd</span>
834
<span class="k">return</span> <span class="n">CONTINUE</span>
838
<p>Here the decorator is implemented as a class returning callable
840
<div class="codeblock python">
841
<div class="highlight"><pre><span class="k">def</span> <span class="nf">tail_recursive</span><span class="p">(</span><span class="n">func</span><span class="p">):</span>
842
<span class="k">return</span> <span class="n">decorator_apply</span><span class="p">(</span><span class="n">TailRecursive</span><span class="p">,</span> <span class="n">func</span><span class="p">)</span>
846
<p>Here is how you apply the upgraded decorator to the good old factorial:</p>
847
<div class="codeblock python">
848
<div class="highlight"><pre><span class="nd">@tail_recursive</span>
849
<span class="k">def</span> <span class="nf">factorial</span><span class="p">(</span><span class="n">n</span><span class="p">,</span> <span class="n">acc</span><span class="o">=</span><span class="mf">1</span><span class="p">):</span>
850
<span class="s">"The good old factorial"</span>
851
<span class="k">if</span> <span class="n">n</span> <span class="o">==</span> <span class="mf">0</span><span class="p">:</span> <span class="k">return</span> <span class="n">acc</span>
852
<span class="k">return</span> <span class="n">factorial</span><span class="p">(</span><span class="n">n</span><span class="o">-</span><span class="mf">1</span><span class="p">,</span> <span class="n">n</span><span class="o">*</span><span class="n">acc</span><span class="p">)</span>
856
<div class="codeblock python">
857
<div class="highlight"><pre><span class="o">>>></span> <span class="k">print</span> <span class="n">factorial</span><span class="p">(</span><span class="mf">4</span><span class="p">)</span>
858
<span class="mf">24</span>
862
<p>This decorator is pretty impressive, and should give you some food for
863
your mind ;) Notice that there is no recursion limit now, and you can
864
easily compute <tt class="docutils literal"><span class="pre">factorial(1001)</span></tt> or larger without filling the stack
865
frame. Notice also that the decorator will not work on functions which
866
are not tail recursive, such as the following</p>
867
<div class="codeblock python">
868
<div class="highlight"><pre><span class="k">def</span> <span class="nf">fact</span><span class="p">(</span><span class="n">n</span><span class="p">):</span> <span class="c"># this is not tail-recursive</span>
869
<span class="k">if</span> <span class="n">n</span> <span class="o">==</span> <span class="mf">0</span><span class="p">:</span> <span class="k">return</span> <span class="mf">1</span>
870
<span class="k">return</span> <span class="n">n</span> <span class="o">*</span> <span class="n">fact</span><span class="p">(</span><span class="n">n</span><span class="o">-</span><span class="mf">1</span><span class="p">)</span>
874
<p>(reminder: a function is tail recursive if it either returns a value without
875
making a recursive call, or returns directly the result of a recursive
878
<div class="section" id="caveats-and-limitations">
879
<h1><a class="toc-backref" href="#id14">Caveats and limitations</a></h1>
880
<p>The first thing you should be aware of, it the fact that decorators
881
have a performance penalty.
882
The worse case is shown by the following example:</p>
883
<pre class="literal-block">
885
python -m timeit -s "
886
from decorator import decorator
889
def do_nothing(func, *args, **kw):
890
return func(*args, **kw)
895
" "f()"
897
python -m timeit -s "
900
" "f()"
902
<p>On my MacBook, using the <tt class="docutils literal"><span class="pre">do_nothing</span></tt> decorator instead of the
903
plain function is more than three times slower:</p>
904
<pre class="literal-block">
905
$ bash performance.sh
906
1000000 loops, best of 3: 0.995 usec per loop
907
1000000 loops, best of 3: 0.273 usec per loop
909
<p>It should be noted that a real life function would probably do
910
something more useful than <tt class="docutils literal"><span class="pre">f</span></tt> here, and therefore in real life the
911
performance penalty could be completely negligible. As always, the
912
only way to know if there is
913
a penalty in your specific use case is to measure it.</p>
914
<p>You should be aware that decorators will make your tracebacks
915
longer and more difficult to understand. Consider this example:</p>
916
<div class="codeblock python">
917
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
918
<span class="o">...</span> <span class="k">def</span> <span class="nf">f</span><span class="p">():</span>
919
<span class="o">...</span> <span class="mf">1</span><span class="o">/</span><span class="mf">0</span>
923
<p>Calling <tt class="docutils literal"><span class="pre">f()</span></tt> will give you a <tt class="docutils literal"><span class="pre">ZeroDivisionError</span></tt>, but since the
924
function is decorated the traceback will be longer:</p>
925
<div class="codeblock python">
926
<div class="highlight"><pre><span class="o">>>></span> <span class="n">f</span><span class="p">()</span>
927
<span class="n">Traceback</span> <span class="p">(</span><span class="n">most</span> <span class="n">recent</span> <span class="n">call</span> <span class="n">last</span><span class="p">):</span>
928
<span class="o">...</span>
929
<span class="n">File</span> <span class="s">"<string>"</span><span class="p">,</span> <span class="n">line</span> <span class="mf">2</span><span class="p">,</span> <span class="ow">in</span> <span class="n">f</span>
930
<span class="n">File</span> <span class="s">"<doctest __main__[18]>"</span><span class="p">,</span> <span class="n">line</span> <span class="mf">4</span><span class="p">,</span> <span class="ow">in</span> <span class="n">trace</span>
931
<span class="k">return</span> <span class="n">f</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
932
<span class="n">File</span> <span class="s">"<doctest __main__[47]>"</span><span class="p">,</span> <span class="n">line</span> <span class="mf">3</span><span class="p">,</span> <span class="ow">in</span> <span class="n">f</span>
933
<span class="mf">1</span><span class="o">/</span><span class="mf">0</span>
934
<span class="ne">ZeroDivisionError</span><span class="p">:</span> <span class="n">integer</span> <span class="n">division</span> <span class="ow">or</span> <span class="n">modulo</span> <span class="n">by</span> <span class="n">zero</span>
938
<p>You see here the inner call to the decorator <tt class="docutils literal"><span class="pre">trace</span></tt>, which calls
939
<tt class="docutils literal"><span class="pre">f(*args,</span> <span class="pre">**kw)</span></tt>, and a reference to <tt class="docutils literal"><span class="pre">File</span> <span class="pre">"<string>",</span> <span class="pre">line</span> <span class="pre">2,</span> <span class="pre">in</span> <span class="pre">f</span></tt>.
940
This latter reference is due to the fact that internally the decorator
941
module uses <tt class="docutils literal"><span class="pre">exec</span></tt> to generate the decorated function. Notice that
942
<tt class="docutils literal"><span class="pre">exec</span></tt> is <em>not</em> responsibile for the performance penalty, since is the
943
called <em>only once</em> at function decoration time, and not every time
944
the decorated function is called.</p>
945
<p>At present, there is no clean way to avoid <tt class="docutils literal"><span class="pre">exec</span></tt>. A clean solution
946
would require to change the CPython implementation of functions and
947
add an hook to make it possible to change their signature directly.
948
That could happen in future versions of Python (see PEP <a class="reference external" href="http://www.python.org/dev/peps/pep-0362">362</a>) and
949
then the decorator module would become obsolete. However, at present,
950
even in Python 3.1 it is impossible to change the function signature
951
directly, therefore the <tt class="docutils literal"><span class="pre">decorator</span></tt> module is still useful.
952
Actually, this is one of the main reasons why I keep maintaining
953
the module and releasing new versions.</p>
954
<p>In the present implementation, decorators generated by <tt class="docutils literal"><span class="pre">decorator</span></tt>
955
can only be used on user-defined Python functions or methods, not on generic
956
callable objects, nor on built-in functions, due to limitations of the
957
<tt class="docutils literal"><span class="pre">inspect</span></tt> module in the standard library. Moreover, notice
958
that you can decorate a method, but only before if becomes a bound or unbound
959
method, i.e. inside the class.
960
Here is an example of valid decoration:</p>
961
<div class="codeblock python">
962
<div class="highlight"><pre><span class="o">>>></span> <span class="k">class</span> <span class="nc">C</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
963
<span class="o">...</span> <span class="nd">@trace</span>
964
<span class="o">...</span> <span class="k">def</span> <span class="nf">meth</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
965
<span class="o">...</span> <span class="k">pass</span>
969
<p>Here is an example of invalid decoration, when the decorator in
971
<div class="codeblock python">
972
<div class="highlight"><pre><span class="o">>>></span> <span class="k">class</span> <span class="nc">C</span><span class="p">(</span><span class="nb">object</span><span class="p">):</span>
973
<span class="o">...</span> <span class="k">def</span> <span class="nf">meth</span><span class="p">(</span><span class="bp">self</span><span class="p">):</span>
974
<span class="o">...</span> <span class="k">pass</span>
975
<span class="o">...</span>
976
<span class="o">>>></span> <span class="n">trace</span><span class="p">(</span><span class="n">C</span><span class="o">.</span><span class="n">meth</span><span class="p">)</span>
977
<span class="n">Traceback</span> <span class="p">(</span><span class="n">most</span> <span class="n">recent</span> <span class="n">call</span> <span class="n">last</span><span class="p">):</span>
978
<span class="o">...</span>
979
<span class="ne">TypeError</span><span class="p">:</span> <span class="n">You</span> <span class="n">are</span> <span class="n">decorating</span> <span class="n">a</span> <span class="n">non</span> <span class="n">function</span><span class="p">:</span> <span class="o"><</span><span class="n">unbound</span> <span class="n">method</span> <span class="n">C</span><span class="o">.</span><span class="n">meth</span><span class="o">></span>
983
<p>The solution is to extract the inner function from the unbound method:</p>
984
<div class="codeblock python">
985
<div class="highlight"><pre><span class="o">>>></span> <span class="n">trace</span><span class="p">(</span><span class="n">C</span><span class="o">.</span><span class="n">meth</span><span class="o">.</span><span class="n">im_func</span><span class="p">)</span>
986
<span class="o"><</span><span class="n">function</span> <span class="n">meth</span> <span class="n">at</span> <span class="mf">0</span><span class="n">x</span><span class="o">...></span>
990
<p>There is a restriction on the names of the arguments: for instance,
991
if try to call an argument <tt class="docutils literal"><span class="pre">_call_</span></tt> or <tt class="docutils literal"><span class="pre">_func_</span></tt>
992
you will get a <tt class="docutils literal"><span class="pre">NameError</span></tt>:</p>
993
<div class="codeblock python">
994
<div class="highlight"><pre><span class="o">>>></span> <span class="nd">@trace</span>
995
<span class="o">...</span> <span class="k">def</span> <span class="nf">f</span><span class="p">(</span><span class="n">_func_</span><span class="p">):</span> <span class="k">print</span> <span class="n">f</span>
996
<span class="o">...</span>
997
<span class="n">Traceback</span> <span class="p">(</span><span class="n">most</span> <span class="n">recent</span> <span class="n">call</span> <span class="n">last</span><span class="p">):</span>
998
<span class="o">...</span>
999
<span class="ne">NameError</span><span class="p">:</span> <span class="n">_func_</span> <span class="ow">is</span> <span class="n">overridden</span> <span class="ow">in</span>
1000
<span class="k">def</span> <span class="nf">f</span><span class="p">(</span><span class="n">_func_</span><span class="p">):</span>
1001
<span class="k">return</span> <span class="n">_call_</span><span class="p">(</span><span class="n">_func_</span><span class="p">,</span> <span class="n">_func_</span><span class="p">)</span>
1005
<p>Finally, the implementation is such that the decorated function contains
1006
a <em>copy</em> of the original function dictionary
1007
(<tt class="docutils literal"><span class="pre">vars(decorated_f)</span> <span class="pre">is</span> <span class="pre">not</span> <span class="pre">vars(f)</span></tt>):</p>
1008
<div class="codeblock python">
1009
<div class="highlight"><pre><span class="o">>>></span> <span class="k">def</span> <span class="nf">f</span><span class="p">():</span> <span class="k">pass</span> <span class="c"># the original function</span>
1010
<span class="o">>>></span> <span class="n">f</span><span class="o">.</span><span class="n">attr1</span> <span class="o">=</span> <span class="s">"something"</span> <span class="c"># setting an attribute</span>
1011
<span class="o">>>></span> <span class="n">f</span><span class="o">.</span><span class="n">attr2</span> <span class="o">=</span> <span class="s">"something else"</span> <span class="c"># setting another attribute</span>
1013
<span class="o">>>></span> <span class="n">traced_f</span> <span class="o">=</span> <span class="n">trace</span><span class="p">(</span><span class="n">f</span><span class="p">)</span> <span class="c"># the decorated function</span>
1015
<span class="o">>>></span> <span class="n">traced_f</span><span class="o">.</span><span class="n">attr1</span>
1016
<span class="s">'something'</span>
1017
<span class="o">>>></span> <span class="n">traced_f</span><span class="o">.</span><span class="n">attr2</span> <span class="o">=</span> <span class="s">"something different"</span> <span class="c"># setting attr</span>
1018
<span class="o">>>></span> <span class="n">f</span><span class="o">.</span><span class="n">attr2</span> <span class="c"># the original attribute did not change</span>
1019
<span class="s">'something else'</span>
1024
<div class="section" id="compatibility-notes">
1025
<h1><a class="toc-backref" href="#id15">Compatibility notes</a></h1>
1026
<p>Version 3.0 is a complete rewrite of the original implementation.
1027
It is mostly compatible with the past, a part for a few differences.</p>
1028
<p>First of all, the utilites <tt class="docutils literal"><span class="pre">get_info</span></tt> and <tt class="docutils literal"><span class="pre">new_wrapper</span></tt>, available
1029
in the 2.X versions, have been deprecated and they will be removed
1030
in the future. For the moment, using them raises a <tt class="docutils literal"><span class="pre">DeprecationWarning</span></tt>.
1031
Incidentally, the functionality has been implemented through a
1032
decorator which makes a good example for this documentation:</p>
1033
<div class="codeblock python">
1034
<div class="highlight"><pre><span class="nd">@decorator</span>
1035
<span class="k">def</span> <span class="nf">deprecated</span><span class="p">(</span><span class="n">func</span><span class="p">,</span> <span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">):</span>
1036
<span class="s">"A decorator for deprecated functions"</span>
1037
<span class="n">warnings</span><span class="o">.</span><span class="n">warn</span><span class="p">(</span>
1038
<span class="p">(</span><span class="s">'Calling the deprecated function </span><span class="si">%r</span><span class="se">\n</span><span class="s">'</span>
1039
<span class="s">'Downgrade to decorator 2.3 if you want to use this functionality'</span><span class="p">)</span>
1040
<span class="o">%</span> <span class="n">func</span><span class="o">.</span><span class="n">__name__</span><span class="p">,</span> <span class="ne">DeprecationWarning</span><span class="p">,</span> <span class="n">stacklevel</span><span class="o">=</span><span class="mf">3</span><span class="p">)</span>
1041
<span class="k">return</span> <span class="n">func</span><span class="p">(</span><span class="o">*</span><span class="n">args</span><span class="p">,</span> <span class="o">**</span><span class="n">kw</span><span class="p">)</span>
1045
<p><tt class="docutils literal"><span class="pre">get_info</span></tt> has been removed since it was little used and since it had
1046
to be changed anyway to work with Python 3.0; <tt class="docutils literal"><span class="pre">new_wrapper</span></tt> has been
1047
removed since it was useless: its major use case (converting
1048
signature changing decorators to signature preserving decorators)
1049
has been subsumed by <tt class="docutils literal"><span class="pre">decorator_apply</span></tt>
1050
and the other use case can be managed with the <tt class="docutils literal"><span class="pre">FunctionMaker</span></tt>.</p>
1051
<p>Finally <tt class="docutils literal"><span class="pre">decorator</span></tt> cannot be used as a class decorator and the
1052
<a class="reference external" href="http://www.phyast.pitt.edu/~micheles/python/documentation.html#class-decorators-and-decorator-factories">functionality introduced in version 2.3</a> has been removed. That
1053
means that in order to define decorator factories with classes you
1054
need to define the <tt class="docutils literal"><span class="pre">__call__</span></tt> method explicitly (no magic anymore).
1056
an easy way to define decorator factories by using <tt class="docutils literal"><span class="pre">decorator_factory</span></tt>,
1057
there is less need to use classes to implement decorator factories.</p>
1058
<p>All these changes should not cause any trouble, since they were
1059
all rarely used features. Should you have any trouble, you can always
1060
downgrade to the 2.3 version.</p>
1061
<p>The examples shown here have been tested with Python 2.5. Python 2.4
1062
is also supported - of course the examples requiring the <tt class="docutils literal"><span class="pre">with</span></tt>
1063
statement will not work there. Python 2.6 works fine, but if you
1064
run the examples here in the interactive interpreter
1065
you will notice a few differences since
1066
<tt class="docutils literal"><span class="pre">getargspec</span></tt> returns an <tt class="docutils literal"><span class="pre">ArgSpec</span></tt> namedtuple instead of a regular
1067
tuple. That means that running the file
1068
<tt class="docutils literal"><span class="pre">documentation.py</span></tt> under Python 2.5 will a few errors, but
1069
they are not serious. Python 3.0 is kind of supported too.
1070
Simply run the script <tt class="docutils literal"><span class="pre">2to3</span></tt> on the module
1071
<tt class="docutils literal"><span class="pre">decorator.py</span></tt> and you will get a version of the code running
1072
with Python 3.0 (at least, I did some simple checks and it seemed
1073
to work). However there is no support for <a class="reference external" href="http://www.python.org/dev/peps/pep-3107/">function annotations</a> yet
1074
since it seems premature at this moment (most people are
1075
still using Python 2.5).</p>
1077
<div class="section" id="licence">
1078
<h1><a class="toc-backref" href="#id16">LICENCE</a></h1>
1079
<p>Redistribution and use in source and binary forms, with or without
1080
modification, are permitted provided that the following conditions are
1082
<pre class="literal-block">
1083
Copyright (c) 2005, Michele Simionato
1084
All rights reserved.
1086
Redistributions of source code must retain the above copyright
1087
notice, this list of conditions and the following disclaimer.
1088
Redistributions in bytecode form must reproduce the above copyright
1089
notice, this list of conditions and the following disclaimer in
1090
the documentation and/or other materials provided with the
1093
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
1094
"AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
1095
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
1096
A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
1097
HOLDERS OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
1098
INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
1099
BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
1100
OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
1101
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR
1102
TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE
1103
USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH
1106
<p>If you use this software and you are happy with it, consider sending me a
1107
note, just to gratify my ego. On the other hand, if you use this software and
1108
you are unhappy with it, send me a patch!</p>
1111
<div class="footer">
1112
<hr class="footer" />
1113
<a class="reference external" href="documentation.rst">View document source</a>.
1114
Generated on: 2009-08-25 12:37 UTC.
1115
Generated by <a class="reference external" href="http://docutils.sourceforge.net/">Docutils</a> from <a class="reference external" href="http://docutils.sourceforge.net/rst.html">reStructuredText</a> source.
1121
Keywords: decorators generic utility
1123
Classifier: Development Status :: 5 - Production/Stable
1124
Classifier: Intended Audience :: Developers
1125
Classifier: License :: OSI Approved :: BSD License
1126
Classifier: Natural Language :: English
1127
Classifier: Operating System :: OS Independent
1128
Classifier: Programming Language :: Python
1129
Classifier: Topic :: Software Development :: Libraries
1130
Classifier: Topic :: Utilities