-
Notifications
You must be signed in to change notification settings - Fork 3
/
classes.html
1707 lines (1672 loc) · 65.1 KB
/
classes.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
<head>
<meta charset="utf-8" />
<meta name="generator" content="pandoc" />
<meta
name="viewport"
content="width=device-width, initial-scale=1.0, user-scalable=yes"
/>
<title>classes</title>
<style type="text/css">
code {
white-space: pre-wrap;
}
span.smallcaps {
font-variant: small-caps;
}
span.underline {
text-decoration: underline;
}
div.column {
display: inline-block;
vertical-align: top;
width: 50%;
}
</style>
</head>
<body>
<h3 id="navigation">Navigation</h3>
<ul>
<li>
<a href="https://docs.python.org/3/genindex.html" title="General Index"
>index</a
>
</li>
<li>
<a
href="https://docs.python.org/3/py-modindex.html"
title="Python Module Index"
>modules</a
>
|
</li>
<li>
<a href="stdlib.html" title="10. Brief Tour of the Standard Library"
>next</a
>
|
</li>
<li>
<a href="errors.html" title="8. Errors and Exceptions">previous</a> |
</li>
<li><img src="../_static/py.png" /></li>
<li><a href="https://www.python.org/">Python</a> »</li>
<li>
<a href="https://docs.python.org/3/index.html">3.9.5 Documentation</a> »
</li>
<li><a href="index.html">The Python Tutorial</a> »</li>
<li></li>
</ul>
<p><span id="tut-classes"></span></p>
<h1 id="classes">
<span class="section-number">9. </span>Classes<a
href="#classes"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h1>
<p>
Classes provide a means of bundling data and functionality together.
Creating a new class creates a new <em>type</em> of object, allowing new
<em>instances</em> of that type to be made. Each class instance can have
attributes attached to it for maintaining its state. Class instances can
also have methods (defined by its class) for modifying its state.
</p>
<p>
Compared with other programming languages, Python’s class mechanism adds
classes with a minimum of new syntax and semantics. It is a mixture of the
class mechanisms found in C++ and Modula-3. Python classes provide all the
standard features of Object Oriented Programming: the class inheritance
mechanism allows multiple base classes, a derived class can override any
methods of its base class or classes, and a method can call the method of
a base class with the same name. Objects can contain arbitrary amounts and
kinds of data. As is true for modules, classes partake of the dynamic
nature of Python: they are created at runtime, and can be modified further
after creation.
</p>
<p>
In C++ terminology, normally class members (including the data members)
are <em>public</em> (except see below
<a href="#tut-private" class="reference internal"
><span class="std std-ref">Private Variables</span></a
>), and all member functions are <em>virtual</em>. As in Modula-3, there
are no shorthands for referencing the object’s members from its methods:
the method function is declared with an explicit first argument
representing the object, which is provided implicitly by the call. As in
Smalltalk, classes themselves are objects. This provides semantics for
importing and renaming. Unlike C++ and Modula-3, built-in types can be
used as base classes for extension by the user. Also, like in C++, most
built-in operators with special syntax (arithmetic operators, subscripting
etc.) can be redefined for class instances.
</p>
<p>
(Lacking universally accepted terminology to talk about classes, I will
make occasional use of Smalltalk and C++ terms. I would use Modula-3
terms, since its object-oriented semantics are closer to those of Python
than C++, but I expect that few readers have heard of it.)
</p>
<p><span id="tut-object"></span></p>
<h2 id="a-word-about-names-and-objects">
<span class="section-number">9.1. </span>A Word About Names and Objects<a
href="#a-word-about-names-and-objects"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h2>
<p>
Objects have individuality, and multiple names (in multiple scopes) can be
bound to the same object. This is known as aliasing in other languages.
This is usually not appreciated on a first glance at Python, and can be
safely ignored when dealing with immutable basic types (numbers, strings,
tuples). However, aliasing has a possibly surprising effect on the
semantics of Python code involving mutable objects such as lists,
dictionaries, and most other types. This is usually used to the benefit of
the program, since aliases behave like pointers in some respects. For
example, passing an object is cheap since only a pointer is passed by the
implementation; and if a function modifies an object passed as an
argument, the caller will see the change — this eliminates the need for
two different argument passing mechanisms as in Pascal.
</p>
<p><span id="tut-scopes"></span></p>
<h2 id="python-scopes-and-namespaces">
<span class="section-number">9.2. </span>Python Scopes and Namespaces<a
href="#python-scopes-and-namespaces"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h2>
<p>
Before introducing classes, I first have to tell you something about
Python’s scope rules. Class definitions play some neat tricks with
namespaces, and you need to know how scopes and namespaces work to fully
understand what’s going on. Incidentally, knowledge about this subject is
useful for any advanced Python programmer.
</p>
<p>Let’s begin with some definitions.</p>
<p>
A <em>namespace</em> is a mapping from names to objects. Most namespaces
are currently implemented as Python dictionaries, but that’s normally not
noticeable in any way (except for performance), and it may change in the
future. Examples of namespaces are: the set of built-in names (containing
functions such as
<a
href="https://docs.python.org/3/library/functions.html#abs"
class="reference internal"
title="abs"
><code class="sourceCode python"><span class="bu">abs</span>()</code></a
>, and built-in exception names); the global names in a module; and the
local names in a function invocation. In a sense the set of attributes of
an object also form a namespace. The important thing to know about
namespaces is that there is absolutely no relation between names in
different namespaces; for instance, two different modules may both define
a function <code>maximize</code> without confusion — users of the modules
must prefix it with the module name.
</p>
<p>
By the way, I use the word <em>attribute</em> for any name following a dot
— for example, in the expression <code>z.real</code>, <code>real</code> is
an attribute of the object <code>z</code>. Strictly speaking, references
to names in modules are attribute references: in the expression
<code>modname.funcname</code>, <code>modname</code> is a module object and
<code>funcname</code> is an attribute of it. In this case there happens to
be a straightforward mapping between the module’s attributes and the
global names defined in the module: they share the same namespace!
<a href="#id2" id="id1" class="footnote-reference brackets">1</a>
</p>
<p>
Attributes may be read-only or writable. In the latter case, assignment to
attributes is possible. Module attributes are writable: you can write
<code>modname.the_answer = 42</code>. Writable attributes may also be
deleted with the
<a
href="https://docs.python.org/3/reference/simple_stmts.html#del"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>del</code
></a
>
statement. For example, <code>del modname.the_answer</code> will remove
the attribute <code>the_answer</code> from the object named by
<code>modname</code>.
</p>
<p>
Namespaces are created at different moments and have different lifetimes.
The namespace containing the built-in names is created when the Python
interpreter starts up, and is never deleted. The global namespace for a
module is created when the module definition is read in; normally, module
namespaces also last until the interpreter quits. The statements executed
by the top-level invocation of the interpreter, either read from a script
file or interactively, are considered part of a module called
<a
href="https://docs.python.org/3/library/__main__.html#module-__main__"
class="reference internal"
title="__main__: The environment where the top-level script is run."
><code class="sourceCode python">main</code></a
>, so they have their own global namespace. (The built-in names actually
also live in a module; this is called
<a
href="https://docs.python.org/3/library/builtins.html#module-builtins"
class="reference internal"
title="builtins: The module that provides the built-in namespace."
><code class="sourceCode python">builtins</code></a
>.)
</p>
<p>
The local namespace for a function is created when the function is called,
and deleted when the function returns or raises an exception that is not
handled within the function. (Actually, forgetting would be a better way
to describe what actually happens.) Of course, recursive invocations each
have their own local namespace.
</p>
<p>
A <em>scope</em> is a textual region of a Python program where a namespace
is directly accessible. “Directly accessible” here means that an
unqualified reference to a name attempts to find the name in the
namespace.
</p>
<p>
Although scopes are determined statically, they are used dynamically. At
any time during execution, there are 3 or 4 nested scopes whose namespaces
are directly accessible:
</p>
<ul>
<li>
<p>
the innermost scope, which is searched first, contains the local names
</p>
</li>
<li>
<p>
the scopes of any enclosing functions, which are searched starting
with the nearest enclosing scope, contains non-local, but also
non-global names
</p>
</li>
<li>
<p>the next-to-last scope contains the current module’s global names</p>
</li>
<li>
<p>
the outermost scope (searched last) is the namespace containing
built-in names
</p>
</li>
</ul>
<p>
If a name is declared global, then all references and assignments go
directly to the middle scope containing the module’s global names. To
rebind variables found outside of the innermost scope, the
<a
href="https://docs.python.org/3/reference/simple_stmts.html#nonlocal"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>nonlocal</code
></a
>
statement can be used; if not declared nonlocal, those variables are
read-only (an attempt to write to such a variable will simply create a
<em>new</em> local variable in the innermost scope, leaving the
identically named outer variable unchanged).
</p>
<p>
Usually, the local scope references the local names of the (textually)
current function. Outside functions, the local scope references the same
namespace as the global scope: the module’s namespace. Class definitions
place yet another namespace in the local scope.
</p>
<p>
It is important to realize that scopes are determined textually: the
global scope of a function defined in a module is that module’s namespace,
no matter from where or by what alias the function is called. On the other
hand, the actual search for names is done dynamically, at run time —
however, the language definition is evolving towards static name
resolution, at “compile” time, so don’t rely on dynamic name resolution!
(In fact, local variables are already determined statically.)
</p>
<p>
A special quirk of Python is that – if no
<a
href="https://docs.python.org/3/reference/simple_stmts.html#global"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>global</code
></a
>
or
<a
href="https://docs.python.org/3/reference/simple_stmts.html#nonlocal"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>nonlocal</code
></a
>
statement is in effect – assignments to names always go into the innermost
scope. Assignments do not copy data — they just bind names to objects. The
same is true for deletions: the statement <code>del x</code> removes the
binding of <code>x</code> from the namespace referenced by the local
scope. In fact, all operations that introduce new names use the local
scope: in particular,
<a
href="https://docs.python.org/3/reference/simple_stmts.html#import"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>import</code
></a
>
statements and function definitions bind the module or function name in
the local scope.
</p>
<p>
The
<a
href="https://docs.python.org/3/reference/simple_stmts.html#global"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>global</code
></a
>
statement can be used to indicate that particular variables live in the
global scope and should be rebound there; the
<a
href="https://docs.python.org/3/reference/simple_stmts.html#nonlocal"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>nonlocal</code
></a
>
statement indicates that particular variables live in an enclosing scope
and should be rebound there.
</p>
<p><span id="tut-scopeexample"></span></p>
<h3 id="scopes-and-namespaces-example">
<span class="section-number">9.2.1. </span>Scopes and Namespaces Example<a
href="#scopes-and-namespaces-example"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>
This is an example demonstrating how to reference the different scopes and
namespaces, and how
<a
href="https://docs.python.org/3/reference/simple_stmts.html#global"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>global</code
></a
>
and
<a
href="https://docs.python.org/3/reference/simple_stmts.html#nonlocal"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>nonlocal</code
></a
>
affect variable binding:
</p>
<pre><code>def scope_test():
def do_local():
spam = "local spam"
def do_nonlocal():
nonlocal spam
spam = "nonlocal spam"
def do_global():
global spam
spam = "global spam"
spam = "test spam"
do_local()
print("After local assignment:", spam)
do_nonlocal()
print("After nonlocal assignment:", spam)
do_global()
print("After global assignment:", spam)
scope_test()
print("In global scope:", spam)</code></pre>
<p>The output of the example code is:</p>
<pre><code>After local assignment: test spam
After nonlocal assignment: nonlocal spam
After global assignment: nonlocal spam
In global scope: global spam</code></pre>
<p>
Note how the <em>local</em> assignment (which is default) didn’t change
<em>scope_test</em>’s binding of <em>spam</em>. The
<a
href="https://docs.python.org/3/reference/simple_stmts.html#nonlocal"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>nonlocal</code
></a
>
assignment changed <em>scope_test</em>’s binding of <em>spam</em>, and the
<a
href="https://docs.python.org/3/reference/simple_stmts.html#global"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>global</code
></a
>
assignment changed the module-level binding.
</p>
<p>
You can also see that there was no previous binding for
<em>spam</em> before the
<a
href="https://docs.python.org/3/reference/simple_stmts.html#global"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>global</code
></a
>
assignment.
</p>
<p><span id="tut-firstclasses"></span></p>
<h2 id="a-first-look-at-classes">
<span class="section-number">9.3. </span>A First Look at Classes<a
href="#a-first-look-at-classes"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h2>
<p>
Classes introduce a little bit of new syntax, three new object types, and
some new semantics.
</p>
<p><span id="tut-classdefinition"></span></p>
<h3 id="class-definition-syntax">
<span class="section-number">9.3.1. </span>Class Definition Syntax<a
href="#class-definition-syntax"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>The simplest form of class definition looks like this:</p>
<pre><code>class ClassName:
<statement-1>
.
.
.
<statement-N></code></pre>
<p>
Class definitions, like function definitions (<a
href="https://docs.python.org/3/reference/compound_stmts.html#def"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>def</code
></a
>
statements) must be executed before they have any effect. (You could
conceivably place a class definition in a branch of an
<a
href="https://docs.python.org/3/reference/compound_stmts.html#if"
class="reference internal"
><code class="xref std std-keyword docutils literal notranslate"
>if</code
></a
>
statement, or inside a function.)
</p>
<p>
In practice, the statements inside a class definition will usually be
function definitions, but other statements are allowed, and sometimes
useful — we’ll come back to this later. The function definitions inside a
class normally have a peculiar form of argument list, dictated by the
calling conventions for methods — again, this is explained later.
</p>
<p>
When a class definition is entered, a new namespace is created, and used
as the local scope — thus, all assignments to local variables go into this
new namespace. In particular, function definitions bind the name of the
new function here.
</p>
<p>
When a class definition is left normally (via the end), a
<em>class object</em> is created. This is basically a wrapper around the
contents of the namespace created by the class definition; we’ll learn
more about class objects in the next section. The original local scope
(the one in effect just before the class definition was entered) is
reinstated, and the class object is bound here to the class name given in
the class definition header (<code>ClassName</code> in the example).
</p>
<p><span id="tut-classobjects"></span></p>
<h3 id="class-objects">
<span class="section-number">9.3.2. </span>Class Objects<a
href="#class-objects"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>
Class objects support two kinds of operations: attribute references and
instantiation.
</p>
<p>
<em>Attribute references</em> use the standard syntax used for all
attribute references in Python: <code>obj.name</code>. Valid attribute
names are all the names that were in the class’s namespace when the class
object was created. So, if the class definition looked like this:
</p>
<pre><code>class MyClass:
"""A simple example class"""
i = 12345
def f(self):
return 'hello world'</code></pre>
<p>
then <code>MyClass.i</code> and <code>MyClass.f</code> are valid attribute
references, returning an integer and a function object, respectively.
Class attributes can also be assigned to, so you can change the value of
<code>MyClass.i</code> by assignment. <code>__doc__</code> is also a valid
attribute, returning the docstring belonging to the class:
<code>"A simple example class"</code>.
</p>
<p>
Class <em>instantiation</em> uses function notation. Just pretend that the
class object is a parameterless function that returns a new instance of
the class. For example (assuming the above class):
</p>
<pre><code>x = MyClass()</code></pre>
<p>
creates a new <em>instance</em> of the class and assigns this object to
the local variable <code>x</code>.
</p>
<p>
The instantiation operation (“calling” a class object) creates an empty
object. Many classes like to create objects with instances customized to a
specific initial state. Therefore a class may define a special method
named
<a
href="https://docs.python.org/3/reference/datamodel.html#object.__init__"
class="reference internal"
title="object.__init__"
><code class="sourceCode python">init()</code></a
>, like this:
</p>
<pre><code>def __init__(self):
self.data = []</code></pre>
<p>
When a class defines an
<a
href="https://docs.python.org/3/reference/datamodel.html#object.__init__"
class="reference internal"
title="object.__init__"
><code class="sourceCode python">init()</code></a
>
method, class instantiation automatically invokes
<a
href="https://docs.python.org/3/reference/datamodel.html#object.__init__"
class="reference internal"
title="object.__init__"
><code class="sourceCode python">init()</code></a
>
for the newly-created class instance. So in this example, a new,
initialized instance can be obtained by:
</p>
<pre><code>x = MyClass()</code></pre>
<p>
Of course, the
<a
href="https://docs.python.org/3/reference/datamodel.html#object.__init__"
class="reference internal"
title="object.__init__"
><code class="sourceCode python">init()</code></a
>
method may have arguments for greater flexibility. In that case, arguments
given to the class instantiation operator are passed on to
<a
href="https://docs.python.org/3/reference/datamodel.html#object.__init__"
class="reference internal"
title="object.__init__"
><code class="sourceCode python">init()</code></a
>. For example,
</p>
<pre><code>>>> class Complex:
... def __init__(self, realpart, imagpart):
... self.r = realpart
... self.i = imagpart
...
>>> x = Complex(3.0, -4.5)
>>> x.r, x.i
(3.0, -4.5)</code></pre>
<p><span id="tut-instanceobjects"></span></p>
<h3 id="instance-objects">
<span class="section-number">9.3.3. </span>Instance Objects<a
href="#instance-objects"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>
Now what can we do with instance objects? The only operations understood
by instance objects are attribute references. There are two kinds of valid
attribute names: data attributes and methods.
</p>
<p>
<em>data attributes</em> correspond to “instance variables” in Smalltalk,
and to “data members” in C++. Data attributes need not be declared; like
local variables, they spring into existence when they are first assigned
to. For example, if <code>x</code> is the instance of
<code>MyClass</code> created above, the following piece of code will print
the value <code>16</code>, without leaving a trace:
</p>
<pre><code>x.counter = 1
while x.counter < 10:
x.counter = x.counter * 2
print(x.counter)
del x.counter</code></pre>
<p>
The other kind of instance attribute reference is a <em>method</em>. A
method is a function that “belongs to” an object. (In Python, the term
method is not unique to class instances: other object types can have
methods as well. For example, list objects have methods called append,
insert, remove, sort, and so on. However, in the following discussion,
we’ll use the term method exclusively to mean methods of class instance
objects, unless explicitly stated otherwise.)
</p>
<p>
Valid method names of an instance object depend on its class. By
definition, all attributes of a class that are function objects define
corresponding methods of its instances. So in our example,
<code>x.f</code> is a valid method reference, since
<code>MyClass.f</code> is a function, but <code>x.i</code> is not, since
<code>MyClass.i</code> is not. But <code>x.f</code> is not the same thing
as <code>MyClass.f</code> — it is a <em>method object</em>, not a function
object.
</p>
<p><span id="tut-methodobjects"></span></p>
<h3 id="method-objects">
<span class="section-number">9.3.4. </span>Method Objects<a
href="#method-objects"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>Usually, a method is called right after it is bound:</p>
<pre><code>x.f()</code></pre>
<p>
In the <code>MyClass</code> example, this will return the string
<code>'hello world'</code>. However, it is not necessary to call a method
right away: <code>x.f</code> is a method object, and can be stored away
and called at a later time. For example:
</p>
<pre><code>xf = x.f
while True:
print(xf())</code></pre>
<p>
will continue to print <code>hello world</code> until the end of time.
</p>
<p>
What exactly happens when a method is called? You may have noticed that
<code>x.f()</code> was called without an argument above, even though the
function definition for <code>f()</code> specified an argument. What
happened to the argument? Surely Python raises an exception when a
function that requires an argument is called without any — even if the
argument isn’t actually used…
</p>
<p>
Actually, you may have guessed the answer: the special thing about methods
is that the instance object is passed as the first argument of the
function. In our example, the call <code>x.f()</code> is exactly
equivalent to <code>MyClass.f(x)</code>. In general, calling a method with
a list of <em>n</em> arguments is equivalent to calling the corresponding
function with an argument list that is created by inserting the method’s
instance object before the first argument.
</p>
<p>
If you still don’t understand how methods work, a look at the
implementation can perhaps clarify matters. When a non-data attribute of
an instance is referenced, the instance’s class is searched. If the name
denotes a valid class attribute that is a function object, a method object
is created by packing (pointers to) the instance object and the function
object just found together in an abstract object: this is the method
object. When the method object is called with an argument list, a new
argument list is constructed from the instance object and the argument
list, and the function object is called with this new argument list.
</p>
<p><span id="tut-class-and-instance-variables"></span></p>
<h3 id="class-and-instance-variables">
<span class="section-number">9.3.5. </span>Class and Instance Variables<a
href="#class-and-instance-variables"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h3>
<p>
Generally speaking, instance variables are for data unique to each
instance and class variables are for attributes and methods shared by all
instances of the class:
</p>
<pre><code>class Dog:
kind = 'canine' # class variable shared by all instances
def __init__(self, name):
self.name = name # instance variable unique to each instance
>>> d = Dog('Fido')
>>> e = Dog('Buddy')
>>> d.kind # shared by all dogs
'canine'
>>> e.kind # shared by all dogs
'canine'
>>> d.name # unique to d
'Fido'
>>> e.name # unique to e
'Buddy'</code></pre>
<p>
As discussed in
<a href="#tut-object" class="reference internal"
><span class="std std-ref">A Word About Names and Objects</span></a
>, shared data can have possibly surprising effects with involving
<a
href="https://docs.python.org/3/glossary.html#term-mutable"
class="reference internal"
><span class="xref std std-term">mutable</span></a
>
objects such as lists and dictionaries. For example, the
<em>tricks</em> list in the following code should not be used as a class
variable because just a single list would be shared by all
<em>Dog</em> instances:
</p>
<pre><code>class Dog:
tricks = [] # mistaken use of a class variable
def __init__(self, name):
self.name = name
def add_trick(self, trick):
self.tricks.append(trick)
>>> d = Dog('Fido')
>>> e = Dog('Buddy')
>>> d.add_trick('roll over')
>>> e.add_trick('play dead')
>>> d.tricks # unexpectedly shared by all dogs
['roll over', 'play dead']</code></pre>
<p>Correct design of the class should use an instance variable instead:</p>
<pre><code>class Dog:
def __init__(self, name):
self.name = name
self.tricks = [] # creates a new empty list for each dog
def add_trick(self, trick):
self.tricks.append(trick)
>>> d = Dog('Fido')
>>> e = Dog('Buddy')
>>> d.add_trick('roll over')
>>> e.add_trick('play dead')
>>> d.tricks
['roll over']
>>> e.tricks
['play dead']</code></pre>
<p><span id="tut-remarks"></span></p>
<h2 id="random-remarks">
<span class="section-number">9.4. </span>Random Remarks<a
href="#random-remarks"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h2>
<p>
If the same attribute name occurs in both an instance and in a class, then
attribute lookup prioritizes the instance:
</p>
<pre><code>>>> class Warehouse:
purpose = 'storage'
region = 'west'
>>> w1 = Warehouse()
>>> print(w1.purpose, w1.region)
storage west
>>> w2 = Warehouse()
>>> w2.region = 'east'
>>> print(w2.purpose, w2.region)
storage east</code></pre>
<p>
Data attributes may be referenced by methods as well as by ordinary users
(“clients”) of an object. In other words, classes are not usable to
implement pure abstract data types. In fact, nothing in Python makes it
possible to enforce data hiding — it is all based upon convention. (On the
other hand, the Python implementation, written in C, can completely hide
implementation details and control access to an object if necessary; this
can be used by extensions to Python written in C.)
</p>
<p>
Clients should use data attributes with care — clients may mess up
invariants maintained by the methods by stamping on their data attributes.
Note that clients may add data attributes of their own to an instance
object without affecting the validity of the methods, as long as name
conflicts are avoided — again, a naming convention can save a lot of
headaches here.
</p>
<p>
There is no shorthand for referencing data attributes (or other methods!)
from within methods. I find that this actually increases the readability
of methods: there is no chance of confusing local variables and instance
variables when glancing through a method.
</p>
<p>
Often, the first argument of a method is called <code>self</code>. This is
nothing more than a convention: the name <code>self</code> has absolutely
no special meaning to Python. Note, however, that by not following the
convention your code may be less readable to other Python programmers, and
it is also conceivable that a <em>class browser</em> program might be
written that relies upon such a convention.
</p>
<p>
Any function object that is a class attribute defines a method for
instances of that class. It is not necessary that the function definition
is textually enclosed in the class definition: assigning a function object
to a local variable in the class is also ok. For example:
</p>
<pre><code># Function defined outside the class
def f1(self, x, y):
return min(x, x+y)
class C:
f = f1
def g(self):
return 'hello world'
h = g</code></pre>
<p>
Now <code>f</code>, <code>g</code> and <code>h</code> are all attributes
of class <code>C</code> that refer to function objects, and consequently
they are all methods of instances of <code>C</code> — <code>h</code> being
exactly equivalent to <code>g</code>. Note that this practice usually only
serves to confuse the reader of a program.
</p>
<p>
Methods may call other methods by using method attributes of the
<code>self</code> argument:
</p>
<pre><code>class Bag:
def __init__(self):
self.data = []
def add(self, x):
self.data.append(x)
def addtwice(self, x):
self.add(x)
self.add(x)</code></pre>
<p>
Methods may reference global names in the same way as ordinary functions.
The global scope associated with a method is the module containing its
definition. (A class is never used as a global scope.) While one rarely
encounters a good reason for using global data in a method, there are many
legitimate uses of the global scope: for one thing, functions and modules
imported into the global scope can be used by methods, as well as
functions and classes defined in it. Usually, the class containing the
method is itself defined in this global scope, and in the next section
we’ll find some good reasons why a method would want to reference its own
class.
</p>
<p>
Each value is an object, and therefore has a <em>class</em> (also called
its <em>type</em>). It is stored as <code>object.__class__</code>.
</p>
<p><span id="tut-inheritance"></span></p>
<h2 id="inheritance">
<span class="section-number">9.5. </span>Inheritance<a
href="#inheritance"
class="headerlink"
title="Permalink to this headline"
>¶</a
>
</h2>
<p>
Of course, a language feature would not be worthy of the name “class”
without supporting inheritance. The syntax for a derived class definition
looks like this:
</p>
<pre><code>class DerivedClassName(BaseClassName):
<statement-1>
.
.
.
<statement-N></code></pre>
<p>
The name <code>BaseClassName</code> must be defined in a scope containing
the derived class definition. In place of a base class name, other
arbitrary expressions are also allowed. This can be useful, for example,
when the base class is defined in another module:
</p>
<pre><code>class DerivedClassName(modname.BaseClassName):</code></pre>
<p>
Execution of a derived class definition proceeds the same as for a base
class. When the class object is constructed, the base class is remembered.
This is used for resolving attribute references: if a requested attribute
is not found in the class, the search proceeds to look in the base class.
This rule is applied recursively if the base class itself is derived from
some other class.
</p>
<p>
There’s nothing special about instantiation of derived classes:
<code>DerivedClassName()</code> creates a new instance of the class.
Method references are resolved as follows: the corresponding class
attribute is searched, descending down the chain of base classes if
necessary, and the method reference is valid if this yields a function
object.
</p>
<p>
Derived classes may override methods of their base classes. Because
methods have no special privileges when calling other methods of the same
object, a method of a base class that calls another method defined in the
same base class may end up calling a method of a derived class that
overrides it. (For C++ programmers: all methods in Python are effectively
<code>virtual</code>.)
</p>
<p>
An overriding method in a derived class may in fact want to extend rather
than simply replace the base class method of the same name. There is a
simple way to call the base class method directly: just call
<code>BaseClassName.methodname(self, arguments)</code>. This is
occasionally useful to clients as well. (Note that this only works if the
base class is accessible as <code>BaseClassName</code> in the global
scope.)
</p>
<p>Python has two built-in functions that work with inheritance:</p>
<ul>
<li>
<p>
Use
<a
href="https://docs.python.org/3/library/functions.html#isinstance"
class="reference internal"
title="isinstance"
><code class="sourceCode python"
><span class="bu">isinstance</span>()</code
></a
>
to check an instance’s type: <code>isinstance(obj, int)</code> will be
<code>True</code> only if <code>obj.__class__</code> is
<a
href="https://docs.python.org/3/library/functions.html#int"
class="reference internal"
title="int"
><code class="sourceCode python"
><span class="bu">int</span></code
></a
>
or some class derived from
<a
href="https://docs.python.org/3/library/functions.html#int"
class="reference internal"
title="int"
><code class="sourceCode python"
><span class="bu">int</span></code
></a
>.
</p>
</li>
<li>
<p>
Use
<a
href="https://docs.python.org/3/library/functions.html#issubclass"
class="reference internal"
title="issubclass"
><code class="sourceCode python"
><span class="bu">issubclass</span>()</code
></a
>
to check class inheritance: <code>issubclass(bool, int)</code> is
<code>True</code> since
<a
href="https://docs.python.org/3/library/functions.html#bool"
class="reference internal"
title="bool"
><code class="sourceCode python"