Archive:Think Python/Lists: Difference between revisions
wikademia>Whiteknight m Think Python: Automatically uploading HTML source of this book from http://www.greenteapress.com/thinkpython/html/. Will convert to wikitext in a separate step |
wikademia>Whiteknight m Partial (mostly) conversion from HTML to Wikitext |
||
| Line 1: | Line 1: | ||
{{Think Python/Page}} | |||
== Chapter 10  Lists == | |||
=== 10.1  A list is a sequence === | |||
Like a string, a '''list''' is a sequence of values. In a string, the | |||
values are characters; in a list, they can be any type. The values in | values are characters; in a list, they can be any type. The values in | ||
list are called | list are called '''elements''' or sometimes '''items'''. | ||
enclose the elements in square brackets ( | |||
There are several ways to create a new list; the simplest is to | |||
enclose the elements in square brackets (<CODE>[</CODE> and <CODE>]</CODE>): | |||
<PRE CLASS="verbatim">[10, 20, 30, 40] | |||
['crunchy frog', 'ram bladder', 'lark vomit'] | ['crunchy frog', 'ram bladder', 'lark vomit'] | ||
</PRE> | |||
The first example is a list of four integers. The second is a list of | |||
three strings. The elements of a list don’t have to be the same type. | three strings. The elements of a list don’t have to be the same type. | ||
The following list contains a string, a float, an integer, and | The following list contains a string, a float, an integer, and | ||
(lo!) another list: | (lo!) another list: | ||
<PRE CLASS="verbatim">['spam', 2.0, 5, [10, 20]] | |||
</PRE> | |||
A list within another list is '''nested'''. | |||
A list that contains no elements is | |||
called an empty list; you can create one with empty | called an empty list; you can create one with empty | ||
brackets, | brackets, <CODE>[]</CODE>. | ||
As you might expect, you can assign list values to variables: | |||
<PRE CLASS="verbatim">>>> cheeses = ['Cheddar', 'Edam', 'Gouda'] | |||
>>> numbers = [17, 123] | >>> numbers = [17, 123] | ||
>>> empty = [] | >>> empty = [] | ||
>>> print cheeses, numbers, empty | >>> print cheeses, numbers, empty | ||
['Cheddar', 'Edam', 'Gouda'] [17, 123] [] | ['Cheddar', 'Edam', 'Gouda'] [17, 123] [] | ||
</PRE> | |||
=== 10.2  Lists are mutable === | |||
The syntax for accessing the elements of a list is the same as for | |||
accessing the characters of a string—the bracket operator. The | accessing the characters of a string—the bracket operator. The | ||
expression inside the brackets specifies the index. Remember that the | expression inside the brackets specifies the index. Remember that the | ||
indices start at 0: | indices start at 0: | ||
<PRE CLASS="verbatim">>>> print cheeses[0] | |||
Cheddar | Cheddar | ||
</PRE> | |||
Unlike strings, lists are mutable. When the bracket operator appears | |||
on the left side of an assignment, it identifies the element of the | on the left side of an assignment, it identifies the element of the | ||
list that will be assigned. | list that will be assigned. | ||
<PRE CLASS="verbatim">>>> numbers = [17, 123] | |||
>>> numbers[1] = 5 | >>> numbers[1] = 5 | ||
>>> print numbers | >>> print numbers | ||
[17, 5] | [17, 5] | ||
</PRE> | |||
used to be 123, is now 5. | The one-eth element of <TT>numbers</TT>, which | ||
used to be 123, is now 5. | |||
elements. This relationship is called a | |||
“maps to” one of the elements. Here is a state diagram showing | |||
and the elements of the list inside. | You can think of a list as a relationship between indices and | ||
elements. This relationship is called a '''mapping'''; each index | |||
“maps to” one of the elements. Here is a state diagram showing <TT>cheeses</TT>, <TT>numbers</TT> and <TT>empty</TT>: | |||
<DIV CLASS="center"><IMG SRC="book013.png"></DIV> | |||
Lists are represented by boxes with the word “list” outside | |||
and the elements of the list inside. <TT>cheeses</TT> refers to | |||
a list with three elements indexed 0, 1 and 2. | a list with three elements indexed 0, 1 and 2. | ||
<TT>numbers</TT> contains two elements; the diagram shows that the | |||
value of the second element has been reassigned from 123 to 5. | value of the second element has been reassigned from 123 to 5. | ||
<TT>empty</TT> refers to a list with no elements. | |||
get an | |||
end of the list. | |||
List indices work the same way as string indices: | |||
*Any integer expression can be used as an index. | |||
*If you try to read or write an element that does not exist, you | |||
get an <TT>IndexError</TT>. | |||
*If an index has a negative value, it counts backward from the | |||
end of the list. | |||
The <TT>in</TT> operator also works on lists. | |||
<PRE CLASS="verbatim">>>> cheeses = ['Cheddar', 'Edam', 'Gouda'] | |||
>>> 'Edam' in cheeses | >>> 'Edam' in cheeses | ||
True | True | ||
>>> 'Brie' in cheeses | >>> 'Brie' in cheeses | ||
False | False | ||
</PRE>=== 10.3  Traversing a list === | |||
with a | |||
The most common way to traverse the elements of a list is | |||
with a <TT>for</TT> loop. The syntax is the same as for strings: | |||
<PRE CLASS="verbatim">for cheese in cheeses: | |||
print cheese | print cheese | ||
</PRE> | |||
This works well if you only need to read the elements of the | |||
list. But if you want to write or update the elements, you | list. But if you want to write or update the elements, you | ||
need the indices. A common way to do that is to combine | need the indices. A common way to do that is to combine | ||
the functions | the functions <TT>range</TT> and <TT>len</TT>: | ||
<PRE CLASS="verbatim">for i in range(len(numbers)): | |||
numbers[i] = numbers[i] * 2 | numbers[i] = numbers[i] * 2 | ||
</PRE> | |||
returns the number of elements in the list. | This loop traverses the list and updates each element. <TT>len</TT> | ||
a list of indices from 0 to | returns the number of elements in the list. <TT>range</TT> returns | ||
the list. Each time through the loop | a list of indices from 0 to <I>n</I>−1, where <I>n</I> is the length of | ||
the list. Each time through the loop <TT>i</TT> gets the index | |||
of the next element. The assignment statement in the body uses | of the next element. The assignment statement in the body uses | ||
<TT>i</TT> to read the old value of the element and to assign the | |||
new value. | new value. | ||
A <TT>for</TT> loop over an empty list never executes the body: | |||
<PRE CLASS="verbatim">for x in empty: | |||
print 'This never happens.' | print 'This never happens.' | ||
</PRE> | |||
Although a list can contain another list, the nested | |||
list still counts as a single element. The length of this list is | list still counts as a single element. The length of this list is | ||
four: | four: | ||
<PRE CLASS="verbatim">['spam', 1, ['Brie', 'Roquefort', 'Pol le Veq'], [1, 2, 3]] | |||
</PRE>=== 10.4  List operations === | |||
The <TT>+</TT> operator concatenates lists: | |||
<PRE CLASS="verbatim">>>> a = [1, 2, 3] | |||
>>> b = [4, 5, 6] | >>> b = [4, 5, 6] | ||
>>> c = a + b | >>> c = a + b | ||
>>> print c | >>> print c | ||
[1, 2, 3, 4, 5, 6] | [1, 2, 3, 4, 5, 6] | ||
</PRE> | |||
Similarly, the <TT>*</TT> operator repeats a list a given number of times: | |||
<PRE CLASS="verbatim">>>> [0] * 4 | |||
[0, 0, 0, 0] | [0, 0, 0, 0] | ||
>>> [1, 2, 3] * 3 | >>> [1, 2, 3] * 3 | ||
[1, 2, 3, 1, 2, 3, 1, 2, 3] | [1, 2, 3, 1, 2, 3, 1, 2, 3] | ||
</PRE> | |||
repeats the list | The first example repeats <TT>[0]</TT> four times. The second example | ||
repeats the list <TT>[1, 2, 3]</TT> three times. | |||
=== 10.5  List slices === | |||
The slice operator also works on lists: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] | |||
>>> t[1:3] | >>> t[1:3] | ||
['b', 'c'] | ['b', 'c'] | ||
| Line 124: | Line 205: | ||
>>> t[3:] | >>> t[3:] | ||
['d', 'e', 'f'] | ['d', 'e', 'f'] | ||
</PRE> | |||
If you omit the first index, the slice starts at the beginning. | |||
If you omit the second, the slice goes to the end. So if you | If you omit the second, the slice goes to the end. So if you | ||
omit both, the slice is a copy of the whole list. | omit both, the slice is a copy of the whole list. | ||
<PRE CLASS="verbatim">>>> t[:] | |||
['a', 'b', 'c', 'd', 'e', 'f'] | ['a', 'b', 'c', 'd', 'e', 'f'] | ||
</PRE> | |||
Since lists are mutable, it is often useful to make a copy | |||
before performing operations that fold, spindle or mutilate | before performing operations that fold, spindle or mutilate | ||
lists. | lists. | ||
can update multiple elements: | |||
A slice operator on the left side of an assignment | |||
can update multiple elements: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] | |||
>>> t[1:3] = ['x', 'y'] | >>> t[1:3] = ['x', 'y'] | ||
>>> print t | >>> print t | ||
['a', 'x', 'y', 'd', 'e', 'f'] | ['a', 'x', 'y', 'd', 'e', 'f'] | ||
</PRE>=== 10.6  List methods === | |||
Python provides methods that operate on lists. For example, | |||
<TT>append</TT> adds a new element to the end of a list: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c'] | |||
>>> t.append('d') | >>> t.append('d') | ||
>>> print t | >>> print t | ||
['a', 'b', 'c', 'd'] | ['a', 'b', 'c', 'd'] | ||
</PRE> | |||
the elements: | <TT>extend</TT> takes a list as an argument and appends all of | ||
the elements: | |||
<PRE CLASS="verbatim">>>> t1 = ['a', 'b', 'c'] | |||
>>> t2 = ['d', 'e'] | >>> t2 = ['d', 'e'] | ||
>>> t1.extend(t2) | >>> t1.extend(t2) | ||
>>> print t1 | >>> print t1 | ||
['a', 'b', 'c', 'd', 'e'] | ['a', 'b', 'c', 'd', 'e'] | ||
</PRE> | |||
This example leaves <TT>t2</TT> unmodified. | |||
<TT>sort</TT> arranges the elements of the list from low to high: | |||
<PRE CLASS="verbatim">>>> t = ['d', 'c', 'e', 'b', 'a'] | |||
>>> t.sort() | >>> t.sort() | ||
>>> print t | >>> print t | ||
['a', 'b', 'c', 'd', 'e'] | ['a', 'b', 'c', 'd', 'e'] | ||
</PRE> | |||
If you accidentally write | List methods are all void; they modify the list and return <TT>None</TT>. | ||
with the result. | If you accidentally write <TT>t = t.sort()</TT>, you will be disappointed | ||
with the result. | |||
=== 10.7  Map, filter and reduce === | |||
To add up all the numbers in a list, you can use a loop like this: | |||
<PRE CLASS="verbatim">def add_all(t): | |||
total = 0 | total = 0 | ||
for x in t: | for x in t: | ||
total += x | total += x | ||
return total | return total | ||
</PRE> | |||
<TT>total</TT> is initialized to 0. Each time through the loop, | |||
provides a short way to update a variable: | <TT>x</TT> gets one element from the list. The <TT>+=</TT> operator | ||
provides a short way to update a variable: | |||
<PRE CLASS="verbatim"> total += x | |||
</PRE> | |||
is equivalent to: | |||
<PRE CLASS="verbatim"> total = total + x | |||
</PRE> | |||
As the loop executes, <TT>total</TT> accumulates the sum of the | |||
elements; a variable used this way is sometimes called an | elements; a variable used this way is sometimes called an | ||
'''accumulator'''. | |||
that Python provides it as a built-in function, | |||
Adding up the elements of a list is such a common operation | |||
that Python provides it as a built-in function, <TT>sum</TT>: | |||
<PRE CLASS="verbatim">>>> t = [1, 2, 3] | |||
>>> sum(t) | >>> sum(t) | ||
6 | 6 | ||
</PRE> | |||
a single value is sometimes called | An operation like this that combines a sequence of elements into | ||
a single value is sometimes called '''reduce'''. | |||
Sometimes you want to traverse one list while building | |||
another. For example, the following function takes a list of strings | another. For example, the following function takes a list of strings | ||
and returns a new list that contains capitalized strings: | and returns a new list that contains capitalized strings: | ||
<PRE CLASS="verbatim">def capitalize_all(t): | |||
res = [] | res = [] | ||
for s in t: | for s in t: | ||
res.append(s.capitalize()) | res.append(s.capitalize()) | ||
return res | return res | ||
</PRE> | |||
the loop, we append the next element. So | <TT>res</TT> is initialized with an empty list; each time through | ||
kind of accumulator. | the loop, we append the next element. So <TT>res</TT> is another | ||
kind of accumulator. | |||
An operation like <CODE>capitalize_all</CODE> is sometimes called a '''map''' because it “maps” a function (in this case the method <TT>capitalize</TT>) onto each of the elements in a sequence. | |||
Another common operation is to select some of the elements from | |||
a list and return a sublist. For example, the following | a list and return a sublist. For example, the following | ||
function takes a list of strings and returns a list that contains | function takes a list of strings and returns a list that contains | ||
only the uppercase strings: | only the uppercase strings: | ||
<PRE CLASS="verbatim">def only_upper(t): | |||
res = [] | res = [] | ||
for s in t: | for s in t: | ||
| Line 202: | Line 341: | ||
res.append(s) | res.append(s) | ||
return res | return res | ||
</PRE> | |||
the string contains only upper case letters. | <TT>isupper</TT> is a string method that returns <TT>True</TT> if | ||
it selects some of the elements and filters out the others. | the string contains only upper case letters. | ||
An operation like <CODE>only_upper</CODE> is called a '''filter''' because | |||
it selects some of the elements and filters out the others. | |||
Most common list operations can be expressed as a combination | |||
of map, filter and reduce. Because these operations are | of map, filter and reduce. Because these operations are | ||
so common, Python provides language features to support them, | so common, Python provides language features to support them, | ||
including the built-in function | including the built-in function <TT>map</TT> and an operator | ||
called a “list comprehension.” | called a “list comprehension.” | ||
<DIV CLASS="theorem">'''Exercise 1'''  '' | |||
cumulative sum; that is, a new list where the | '''' | ||
is the sum of the first | '' | ||
For example, the cumulative sum of | ''Write a function that takes a list of numbers and returns the | ||
cumulative sum; that is, a new list where the ''''<I>i</I>''''th element | |||
is the sum of the first ''''<I>i</I>+1'''' elements from the original list. | |||
For example, the cumulative sum of ''''<TT>[1, 2, 3]</TT>'''' is | |||
''''<TT>[1, 3, 6]</TT>''''. | |||
'' | |||
</DIV>=== 10.8  Deleting elements === | |||
There are several ways to delete elements from a list. If you | |||
know the index of the element you want, you can use | know the index of the element you want, you can use | ||
<TT>pop</TT>: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c'] | |||
>>> x = t.pop(1) | >>> x = t.pop(1) | ||
>>> print t | >>> print t | ||
| Line 225: | Line 380: | ||
>>> print x | >>> print x | ||
b | b | ||
</PRE> | |||
<TT>pop</TT> modifies the list and returns the element that was removed. | |||
If you don’t provide an index, it deletes and returns the | If you don’t provide an index, it deletes and returns the | ||
last element. | last element. | ||
operator: | |||
If you don’t need the removed value, you can use the <TT>del</TT> | |||
operator: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c'] | |||
>>> del t[1] | >>> del t[1] | ||
>>> print t | >>> print t | ||
['a', 'c'] | ['a', 'c'] | ||
</PRE> | |||
can use | If you know the element you want to remove (but not the index), you | ||
can use <TT>remove</TT>: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c'] | |||
>>> t.remove('b') | >>> t.remove('b') | ||
>>> print t | >>> print t | ||
['a', 'c'] | ['a', 'c'] | ||
</PRE> | |||
The return value from <TT>remove</TT> is <TT>None</TT>. | |||
a slice index: | |||
To remove more than one element, you can use <TT>del</TT> with | |||
a slice index: | |||
<PRE CLASS="verbatim">>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] | |||
>>> del t[1:5] | >>> del t[1:5] | ||
>>> print t | >>> print t | ||
['a', 'f'] | ['a', 'f'] | ||
</PRE> | |||
including, the second index. | As usual, the slice selects all the elements up to, but not | ||
including, the second index. | |||
=== 10.9  Lists and strings === | |||
A string is a sequence of characters and a list is a sequence | |||
of values, but a list of characters is not the same as a | of values, but a list of characters is not the same as a | ||
string. To convert from a string to a list of characters, | string. To convert from a string to a list of characters, | ||
you can use | you can use <TT>list</TT>: | ||
<PRE CLASS="verbatim">>>> s = 'spam' | |||
>>> t = list(s) | >>> t = list(s) | ||
>>> print t | >>> print t | ||
['s', 'p', 'a', 'm'] | ['s', 'p', 'a', 'm'] | ||
</PRE> | |||
avoid using it as a variable name. I also avoid | Because <TT>list</TT> is the name of a built-in function, you should | ||
it looks too much like | avoid using it as a variable name. I also avoid <TT>l</TT> because | ||
you want to break a string into words, you can use the | it looks too much like <TT>1</TT>. So that’s why I use <TT>t</TT>. | ||
method: | |||
The <TT>list</TT> function breaks a string into individual letters. If | |||
you want to break a string into words, you can use the <TT>split</TT> | |||
method: | |||
<PRE CLASS="verbatim">>>> s = 'pining for the fjords' | |||
>>> t = s.split() | >>> t = s.split() | ||
>>> print t | >>> print t | ||
['pining', 'for', 'the', 'fjords'] | ['pining', 'for', 'the', 'fjords'] | ||
</PRE> | |||
An optional argument called a '''delimiter''' specifies which | |||
characters to use as word boundaries. | characters to use as word boundaries. | ||
The following example | The following example | ||
uses a hyphen as a delimiter: | uses a hyphen as a delimiter: | ||
<PRE CLASS="verbatim">>>> s = 'spam-spam-spam' | |||
>>> delimiter = '-' | >>> delimiter = '-' | ||
>>> s.split(delimiter) | >>> s.split(delimiter) | ||
['spam', 'spam', 'spam'] | ['spam', 'spam', 'spam'] | ||
</PRE> | |||
<TT>join</TT> is the inverse of <TT>split</TT>. It | |||
takes a list of strings and | takes a list of strings and | ||
concatenates the elements. | concatenates the elements. <TT>join</TT> is a string method, | ||
so you have to invoke it on the delimiter and pass the | so you have to invoke it on the delimiter and pass the | ||
list as a parameter: | list as a parameter: | ||
<PRE CLASS="verbatim">>>> t = ['pining', 'for', 'the', 'fjords'] | |||
>>> delimiter = ' ' | >>> delimiter = ' ' | ||
>>> delimiter.join(t) | >>> delimiter.join(t) | ||
'pining for the fjords' | 'pining for the fjords' | ||
</PRE> | |||
In this case the delimiter is a space character, so | |||
<TT>join</TT> puts a space between words. To concatenate | |||
strings without spaces, you can use the empty string, | strings without spaces, you can use the empty string, | ||
<CODE>''</CODE>, as a delimiter. | |||
=== 10.10  Objects and values === | |||
If we execute these assignment statements: | |||
<PRE CLASS="verbatim">a = 'banana' | |||
b = 'banana' | b = 'banana' | ||
</PRE> | |||
We know that <TT>a</TT> and <TT>b</TT> both refer to a | |||
string, but we don’t | string, but we don’t | ||
know whether they refer to the | know whether they refer to the ''same'' string. | ||
There are two possible states: | There are two possible states: | ||
<DIV CLASS="center"><IMG SRC="book014.png"></DIV> | |||
In one case, <TT>a</TT> and <TT>b</TT> refer to two different objects that | |||
have the same value. In the second case, they refer to the same | have the same value. In the second case, they refer to the same | ||
object. | object. | ||
use the | |||
To check whether two variables refer to the same object, you can | |||
use the <TT>is</TT> operator. | |||
<PRE CLASS="verbatim">>>> a = 'banana' | |||
>>> b = 'banana' | >>> b = 'banana' | ||
>>> a is b | >>> a is b | ||
True | True | ||
</PRE> | |||
and both | In this example, Python only created one string object, | ||
and both <TT>a</TT> and <TT>b</TT> refer to it. | |||
But when you create two lists, you get two objects: | |||
<PRE CLASS="verbatim">>>> a = [1, 2, 3] | |||
>>> b = [1, 2, 3] | >>> b = [1, 2, 3] | ||
>>> a is b | >>> a is b | ||
False | False | ||
</PRE> | |||
So the state diagram looks like this: | |||
because they have the same elements, but not | |||
<DIV CLASS="center"><IMG SRC="book015.png"></DIV> | |||
In this case we would say that the two lists are '''equivalent''', | |||
because they have the same elements, but not '''identical''', because | |||
they are not the same object. If two objects are identical, they are | they are not the same object. If two objects are identical, they are | ||
also equivalent, but if they are equivalent, they are not necessarily | also equivalent, but if they are equivalent, they are not necessarily | ||
identical. | identical. | ||
Until now, we have been using “object” and “value” | |||
interchangeably, but it is more precise to say that an object has a | interchangeably, but it is more precise to say that an object has a | ||
value. If you execute | value. If you execute <TT>a = [1,2,3]</TT>, <TT>a</TT> refers to a list | ||
object whose value is a particular sequence of elements. If another | object whose value is a particular sequence of elements. If another | ||
list has the same elements, we would say it has the same value. | list has the same elements, we would say it has the same value. | ||
then both variables refer to the same object: | |||
=== 10.11  Aliasing === | |||
If <TT>a</TT> refers to an object and you assign <TT>b = a</TT>, | |||
then both variables refer to the same object: | |||
<PRE CLASS="verbatim">>>> a = [1, 2, 3] | |||
>>> b = a | >>> b = a | ||
>>> b is a | >>> b is a | ||
True | True | ||
</PRE> | |||
The state diagram looks like this: | |||
object. | |||
than one name, so we say that the object is | |||
<DIV CLASS="center"><IMG SRC="book016.png"></DIV> | |||
The association of a variable with an object is called a '''reference'''. In this example, there are two references to the same | |||
object. | |||
An object with more than one reference has more | |||
than one name, so we say that the object is '''aliased'''. | |||
If the aliased object is mutable, | |||
changes made with one alias affect | changes made with one alias affect | ||
the other: | the other: | ||
<PRE CLASS="verbatim">>>> b[0] = 17 | |||
>>> print a | >>> print a | ||
[17, 2, 3] | [17, 2, 3] | ||
</PRE> | |||
Although this behavior can be useful, it is error-prone. In general, | |||
it is safer to avoid aliasing when you are working with mutable | it is safer to avoid aliasing when you are working with mutable | ||
objects. | objects. | ||
problem. In this example: | |||
For immutable objects like strings, aliasing is not as much of a | |||
problem. In this example: | |||
<PRE CLASS="verbatim">a = 'banana' | |||
b = 'banana' | b = 'banana' | ||
</PRE> | |||
to the same string or not. | It almost never makes a difference whether <TT>a</TT> and <TT>b</TT> refer | ||
to the same string or not. | |||
=== 10.12  List arguments === | |||
When you pass a list to a function, the function gets a reference | |||
to the list. | to the list. | ||
If the function modifies a list parameter, the caller sees the change. | If the function modifies a list parameter, the caller sees the change. | ||
For example, | For example, <CODE>delete_head</CODE> removes the first element from a list: | ||
<PRE CLASS="verbatim">def delete_head(t): | |||
del t[0] | del t[0] | ||
</PRE> | |||
Here’s how it is used: | |||
<PRE CLASS="verbatim">>>> letters = ['a', 'b', 'c'] | |||
>>> delete_head(letters) | >>> delete_head(letters) | ||
>>> print letters | >>> print letters | ||
['b', 'c'] | ['b', 'c'] | ||
</PRE> | |||
The parameter <TT>t</TT> and the variable <TT>letters</TT> are | |||
aliases for the same object. The stack diagram looks like | aliases for the same object. The stack diagram looks like | ||
this: | this: | ||
it between them. | |||
<DIV CLASS="center"><IMG SRC="book017.png"></DIV> | |||
Since the list is shared by two frames, I drew | |||
it between them. | |||
It is important to distinguish between operations that | |||
modify lists and operations that create new lists. For | modify lists and operations that create new lists. For | ||
example, the | example, the <TT>append</TT> method modifies a list, but the | ||
<TT>+</TT> operator creates a new list: | |||
<PRE CLASS="verbatim">>>> t1 = [1, 2] | |||
>>> t2 = t1.append(3) | >>> t2 = t1.append(3) | ||
>>> print t1 | >>> print t1 | ||
| Line 373: | Line 639: | ||
>>> t2 is t3 | >>> t2 is t3 | ||
False | False | ||
</PRE> | |||
This difference is important when you write functions that | |||
are supposed to modify lists. For example, this function | are supposed to modify lists. For example, this function | ||
''does not'' delete the head of a list: | |||
<PRE CLASS="verbatim">def bad_delete_head(t): | |||
t = t[1:] # WRONG! | t = t[1:] # WRONG! | ||
</PRE> | |||
makes | The slice operator creates a new list and the assignment | ||
on the list that was passed as an argument. | makes <TT>t</TT> refer to it, but none of that has any effect | ||
on the list that was passed as an argument. | |||
An alternative is to write a function that creates and | |||
returns a new list. For | returns a new list. For | ||
example, | example, <TT>tail</TT> returns all but the first | ||
element of a list: | element of a list: | ||
<PRE CLASS="verbatim">def tail(t): | |||
return t[1:] | return t[1:] | ||
</PRE> | |||
Here’s how it is used: | This function leaves the original list unmodified. | ||
Here’s how it is used: | |||
<PRE CLASS="verbatim">>>> letters = ['a', 'b', 'c'] | |||
>>> rest = tail(letters) | >>> rest = tail(letters) | ||
>>> print rest | >>> print rest | ||
['b', 'c'] | ['b', 'c'] | ||
</PRE><DIV CLASS="theorem">'''Exercise 2'''   | |||
it, removing the first and last elements, and returns | ''Write a function called ''''<TT>chop</TT>'''' that takes a list and modifies | ||
it, removing the first and last elements, and returns ''''<TT>None</TT>''''.'' | |||
''Then write a function called ''''<TT>middle</TT>'''' that takes a list and | |||
returns a new list that contains all but the first and last | returns a new list that contains all but the first and last | ||
elements. | elements.'' | ||
</DIV>=== 10.13  Debugging === | |||
Careless use of lists (and other mutable objects) | |||
can lead to long hours of debugging. Here are some common | can lead to long hours of debugging. Here are some common | ||
pitfalls and ways to avoid them: | pitfalls and ways to avoid them: | ||
return | |||
which return a new string and leave the original alone. | *Don’t forget that most list methods modify the argument and | ||
return <TT>None</TT>. This is the opposite of the string methods, | |||
which return a new string and leave the original alone. | |||
If you are used to writing string code like this: | |||
next operation you perform with | <PRE CLASS="verbatim">word = word.strip() | ||
</PRE> | |||
It is tempting to write list code like this: | |||
<PRE CLASS="verbatim">t = t.sort() # WRONG! | |||
</PRE> | |||
Because <TT>sort</TT> returns <TT>None</TT>, the | |||
next operation you perform with <TT>t</TT> is likely to fail. | |||
Before using list methods and operators, you should read the | |||
documentation carefully and then test them in interactive mode. The | documentation carefully and then test them in interactive mode. The | ||
methods and operators that lists share with other sequences (like | methods and operators that lists share with other sequences (like | ||
strings) are documented at | strings) are documented at | ||
<TT>docs.python.org/lib/typesseq.html</TT>. The | |||
methods and operators that only apply to mutable sequences | methods and operators that only apply to mutable sequences | ||
are documented at | are documented at <TT>docs.python.org/lib/typesseq-mutable.html</TT>. | ||
*Pick an idiom and stick with it. | |||
Part of the problem with lists is that there are too many | |||
ways to do things. For example, to remove an element from | ways to do things. For example, to remove an element from | ||
a list, you can use | a list, you can use <TT>pop</TT>, <TT>remove</TT>, <TT>del</TT>, | ||
or even a slice assignment. | or even a slice assignment. | ||
the | |||
To add an element, you can use the <TT>append</TT> method or | |||
the <TT>+</TT> operator. But don’t forget that these are right: | |||
<PRE CLASS="verbatim">t.append(x) | |||
t = t + [x] | t = t + [x] | ||
</PRE> | |||
And these are wrong: | |||
<PRE CLASS="verbatim">t.append([x]) # WRONG! | |||
t = t.append(x) # WRONG! | t = t.append(x) # WRONG! | ||
t + [x] # WRONG! | t + [x] # WRONG! | ||
t = t + x # WRONG! | t = t + x # WRONG! | ||
</PRE> | |||
Try out each of these examples in interactive mode to make sure | |||
you understand what they do. Notice that only the last | you understand what they do. Notice that only the last | ||
one causes a runtime error; the other three are legal, but they | one causes a runtime error; the other three are legal, but they | ||
do the wrong thing. | do the wrong thing. | ||
*Make copies to avoid aliasing. | |||
If you want to use a method like <TT>sort</TT> that modifies | |||
the argument, but you need to keep the original list as | the argument, but you need to keep the original list as | ||
well, you can make a copy. | well, you can make a copy. | ||
<PRE CLASS="verbatim">orig = t[:] | |||
t.sort() | t.sort() | ||
</PRE> | |||
In this example you could also use the built-in function <TT>sorted</TT>, | |||
which returns a new, sorted list and leaves the original alone. | which returns a new, sorted list and leaves the original alone. | ||
But in that case you should avoid using | But in that case you should avoid using <TT>sorted</TT> as a variable | ||
name! | name! | ||
=== 10.14  Glossary === | |||
<DL CLASS="description"><DT CLASS="dt-description">'''list:'''</DT><DD CLASS="dd-description"> A sequence of values. | |||
</DD><DT CLASS="dt-description">'''element:'''</DT><DD CLASS="dd-description"> One of the values in a list (or other sequence), | |||
also called items. | also called items. | ||
</DD><DT CLASS="dt-description">'''index:'''</DT><DD CLASS="dd-description"> An integer value that indicates an element in a list. | |||
</DD><DT CLASS="dt-description">'''nested list:'''</DT><DD CLASS="dd-description"> A list that is an element of another list. | |||
</DD><DT CLASS="dt-description">'''list traversal:'''</DT><DD CLASS="dd-description"> The sequential accessing of each element in a list. | |||
</DD><DT CLASS="dt-description">'''mapping:'''</DT><DD CLASS="dd-description"> A relationship in which each element of one set | |||
corresponds to an element of another set. For example, a list is | corresponds to an element of another set. For example, a list is | ||
a mapping from indices to elements. | a mapping from indices to elements. | ||
</DD><DT CLASS="dt-description">'''accumulator:'''</DT><DD CLASS="dd-description"> A variable used in a loop to add up or | |||
accumulate a result. | accumulate a result. | ||
</DD><DT CLASS="dt-description">'''reduce:'''</DT><DD CLASS="dd-description"> A processing pattern that traverses a sequence | |||
and accumulates the elements into a single result. | and accumulates the elements into a single result. | ||
</DD><DT CLASS="dt-description">'''map:'''</DT><DD CLASS="dd-description"> A processing pattern that traverses a sequence and | |||
performs an operation on each element. | performs an operation on each element. | ||
</DD><DT CLASS="dt-description">'''filter:'''</DT><DD CLASS="dd-description"> A processing pattern that traverses a list and | |||
selects the elements that satisfy some criterion. | selects the elements that satisfy some criterion. | ||
</DD><DT CLASS="dt-description">'''object:'''</DT><DD CLASS="dd-description"> Something a variable can refer to. An object | |||
has a type and a value. | has a type and a value. | ||
</DD><DT CLASS="dt-description">'''equivalent:'''</DT><DD CLASS="dd-description"> Having the same value. | |||
</DD><DT CLASS="dt-description">'''identical:'''</DT><DD CLASS="dd-description"> Being the same object (which implies equivalence). | |||
</DD><DT CLASS="dt-description">'''reference:'''</DT><DD CLASS="dd-description"> The association between a variable and its value. | |||
</DD><DT CLASS="dt-description">'''aliasing:'''</DT><DD CLASS="dd-description"> A circumstance where two variables refer to the same | |||
object. | object. | ||
</DD><DT CLASS="dt-description">'''delimiter:'''</DT><DD CLASS="dd-description"> A character or string used to indicate where a | |||
string should be split. | string should be split. | ||
</DD></DL>=== 10.15  Exercises === | |||
Write a function called | |||
parameter and returns | <DIV CLASS="theorem">'''Exercise 3'''  '' | ||
order and | Write a function called ''<CODE>''is_sorted''</CODE>'' that takes a list as a | ||
parameter and returns ''''<TT>True</TT>'''' if the list is sorted in ascending | |||
order and ''''<TT>False</TT>'''' otherwise. You can assume (as a precondition) | |||
that the elements of the list can be compared with the comparison | that the elements of the list can be compared with the comparison | ||
operators | operators ''''<TT><</TT>'''', ''''<TT>></TT>'''', etc.'' | ||
and | |||
''For example, ''<CODE>''is_sorted([1,2,2])''</CODE>'' should return ''''<TT>True</TT>'''' | |||
and ''<CODE>''is_sorted(['b','a'])''</CODE>'' should return ''''<TT>False</TT>''''. | |||
to spell the other. Write a function called | '' | ||
that takes two strings and returns | </DIV><DIV CLASS="theorem">'''Exercise 4'''  '' | ||
'' | |||
''Two words are anagrams if you can rearrange the letters from one | |||
a list and returns | to spell the other. Write a function called ''<CODE>''is_anagram''</CODE>'' | ||
that takes two strings and returns ''''<TT>True</TT>'''' if they are anagrams. | |||
'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 5'''  '' | |||
'' | |||
''The (so-called) Birthday Paradox:'' | |||
* | |||
'' | |||
'' | |||
''Write a function called ''<CODE>''has_duplicates''</CODE>'' that takes | |||
a list and returns ''''<TT>True</TT>'''' if there is any element that | |||
appears more than once. It should not modify the original | appears more than once. It should not modify the original | ||
list. | list.'' | ||
*''If there are 23 students in your class, what are the chances | |||
that two of you have the same birthday? You can estimate this | that two of you have the same birthday? You can estimate this | ||
probability by generating random samples of 23 birthdays | probability by generating random samples of 23 birthdays | ||
and checking for matches. Hint: you can generate random birthdays | and checking for matches. Hint: you can generate random birthdays | ||
with the | with the ''''<TT>randint</TT>'''' function in the ''''<TT>random</TT>'''' module.'' | ||
'' | |||
'''' | |||
'''' | |||
'' | |||
at | |||
''You can read about this problem at | |||
''''<TT>wikipedia.org/wiki/Birthday_paradox</TT>'''', and you can see my solution | |||
at ''''<TT>thinkpython.com/code/birthday.py</TT>''''.'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 6'''   | |||
'' | |||
'' | |||
''Write a function called ''<CODE>''remove_duplicates''</CODE>'' that takes | |||
a list and returns a new list with only the unique elements from | a list and returns a new list with only the unique elements from | ||
the original. Hint: they don’t have to be in the same order. | the original. Hint: they don’t have to be in the same order. | ||
'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 7'''  '' | |||
'''' | |||
'''' | |||
'''' | |||
'' | |||
''Write a function that reads the file ''''<TT>words.txt</TT>'''' and builds | |||
a list with one element per word. Write two versions of | a list with one element per word. Write two versions of | ||
this function, one using the | this function, one using the ''''<TT>append</TT>'''' method and the | ||
other using the idiom | other using the idiom ''''<TT>t = t + [x]</TT>''''. Which one takes | ||
longer to run? Why? | longer to run? Why?'' | ||
''You can see my solution at ''''<TT>thinkpython.com/code/wordlist.py</TT>''''. | |||
'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 8'''  '' | |||
'''' | |||
the | '' | ||
through the words in order. | '' | ||
'''' | |||
'' | |||
''To check whether a word is in the word list, you could use | |||
the ''''<TT>in</TT>'''' operator, but it would be slow because it searches | |||
through the words in order.'' | |||
''Because the words are in alphabetical order, we can speed things up | |||
with a bisection search, which is similar to what you do when you look | with a bisection search, which is similar to what you do when you look | ||
a word up in the dictionary. You start in the middle and check to see | a word up in the dictionary. You start in the middle and check to see | ||
whether the word you are looking for comes before the word in the | whether the word you are looking for comes before the word in the | ||
middle of the list. If so, then you search the first half of the list | middle of the list. If so, then you search the first half of the list | ||
the same way. Otherwise you search the second half. | the same way. Otherwise you search the second half.'' | ||
''Either way, you cut the remaining search space in half. If the | |||
word list has 113,809 words, it will take about 17 steps to | word list has 113,809 words, it will take about 17 steps to | ||
find the word or conclude that it’s not there. | find the word or conclude that it’s not there.'' | ||
''Write a function called ''''<TT>bisect</TT>'''' that takes a sorted list | |||
and a target value and returns the index of the value | and a target value and returns the index of the value | ||
in the list, if it’s there, or | in the list, if it’s there, or ''''<TT>None</TT>'''' if it’s not.'' | ||
'' | |||
'' | |||
''Or you could read the documentation of the ''''<TT>bisect</TT>'''' module | |||
and use that! | and use that! | ||
'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 9'''  '' | |||
'' | |||
''Two words are a “reverse pair” if each is the reverse of the | |||
other. Write a program that finds all the reverse pairs in the | other. Write a program that finds all the reverse pairs in the | ||
word list. | word list. | ||
'' | |||
</DIV><DIV CLASS="theorem">'''Exercise 10'''  '' | |||
a new word | '' | ||
interlock to form “schooled.” | ''Two words “interlock” if taking alternating letters from each forms | ||
Hint: don’t enumerate all pairs! | a new word''<SUP>''1''</SUP>''. For example, “shoe” and “cold” | ||
interlock to form “schooled.”'' | |||
*''Write a program that finds all pairs of words that interlock. | |||
Hint: don’t enumerate all pairs!'' | |||
*''Can you find any words that are three-way interlocked; that is, | |||
every third letter forms a word, starting from the first, second or | every third letter forms a word, starting from the first, second or | ||
third? | third?'' | ||
</DIV><HR CLASS="footnoterule"><DL CLASS="thefootnotes"><DT CLASS="dt-thefootnotes"> | |||
1</DT><DD CLASS="dd-thefootnotes">This exercise is inspired by an example at | |||
<TT>puzzlers.org</TT>. | <TT>puzzlers.org</TT>. | ||
</DD></DL> | |||
<HR> | <HR> | ||
<IMG SRC="previous_motif.gif" ALT="Previous"> | |||
<IMG SRC="contents_motif.gif" ALT="Up"> | |||
<IMG SRC="next_motif.gif" ALT="Next"> | |||
Revision as of 23:09, 15 September 2008
Chapter 10 Lists
10.1 A list is a sequence
Like a string, a list is a sequence of values. In a string, the values are characters; in a list, they can be any type. The values in list are called elements or sometimes items.
There are several ways to create a new list; the simplest is to
enclose the elements in square brackets ([ and ]):
[10, 20, 30, 40] ['crunchy frog', 'ram bladder', 'lark vomit']
The first example is a list of four integers. The second is a list of three strings. The elements of a list don’t have to be the same type. The following list contains a string, a float, an integer, and (lo!) another list:
['spam', 2.0, 5, [10, 20]]
A list within another list is nested.
A list that contains no elements is
called an empty list; you can create one with empty
brackets, [].
As you might expect, you can assign list values to variables:
>>> cheeses = ['Cheddar', 'Edam', 'Gouda'] >>> numbers = [17, 123] >>> empty = [] >>> print cheeses, numbers, empty ['Cheddar', 'Edam', 'Gouda'] [17, 123] []
10.2 Lists are mutable
The syntax for accessing the elements of a list is the same as for accessing the characters of a string—the bracket operator. The expression inside the brackets specifies the index. Remember that the indices start at 0:
>>> print cheeses[0] Cheddar
Unlike strings, lists are mutable. When the bracket operator appears on the left side of an assignment, it identifies the element of the list that will be assigned.
>>> numbers = [17, 123] >>> numbers[1] = 5 >>> print numbers [17, 5]
The one-eth element of numbers, which used to be 123, is now 5.
You can think of a list as a relationship between indices and
elements. This relationship is called a mapping; each index
“maps to” one of the elements. Here is a state diagram showing cheeses, numbers and empty:
Lists are represented by boxes with the word “list” outside and the elements of the list inside. cheeses refers to a list with three elements indexed 0, 1 and 2. numbers contains two elements; the diagram shows that the value of the second element has been reassigned from 123 to 5. empty refers to a list with no elements.
List indices work the same way as string indices:
- Any integer expression can be used as an index.
- If you try to read or write an element that does not exist, you
get an IndexError.
- If an index has a negative value, it counts backward from the
end of the list.
The in operator also works on lists.
>>> cheeses = ['Cheddar', 'Edam', 'Gouda'] >>> 'Edam' in cheeses True >>> 'Brie' in cheeses False
=== 10.3 Traversing a list ===
The most common way to traverse the elements of a list is
with a for loop. The syntax is the same as for strings:
for cheese in cheeses:
print cheese
This works well if you only need to read the elements of the list. But if you want to write or update the elements, you need the indices. A common way to do that is to combine the functions range and len:
for i in range(len(numbers)):
numbers[i] = numbers[i] * 2
This loop traverses the list and updates each element. len returns the number of elements in the list. range returns a list of indices from 0 to n−1, where n is the length of the list. Each time through the loop i gets the index of the next element. The assignment statement in the body uses i to read the old value of the element and to assign the new value.
A for loop over an empty list never executes the body:
for x in empty:
print 'This never happens.'
Although a list can contain another list, the nested list still counts as a single element. The length of this list is four:
['spam', 1, ['Brie', 'Roquefort', 'Pol le Veq'], [1, 2, 3]]
=== 10.4 List operations ===
The + operator concatenates lists:
>>> a = [1, 2, 3] >>> b = [4, 5, 6] >>> c = a + b >>> print c [1, 2, 3, 4, 5, 6]
Similarly, the * operator repeats a list a given number of times:
>>> [0] * 4 [0, 0, 0, 0] >>> [1, 2, 3] * 3 [1, 2, 3, 1, 2, 3, 1, 2, 3]
The first example repeats [0] four times. The second example repeats the list [1, 2, 3] three times.
10.5 List slices
The slice operator also works on lists:
>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] >>> t[1:3] ['b', 'c'] >>> t[:4] ['a', 'b', 'c', 'd'] >>> t[3:] ['d', 'e', 'f']
If you omit the first index, the slice starts at the beginning. If you omit the second, the slice goes to the end. So if you omit both, the slice is a copy of the whole list.
>>> t[:] ['a', 'b', 'c', 'd', 'e', 'f']
Since lists are mutable, it is often useful to make a copy before performing operations that fold, spindle or mutilate lists.
A slice operator on the left side of an assignment can update multiple elements:
>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] >>> t[1:3] = ['x', 'y'] >>> print t ['a', 'x', 'y', 'd', 'e', 'f']
=== 10.6 List methods ===
Python provides methods that operate on lists. For example,
append adds a new element to the end of a list:
>>> t = ['a', 'b', 'c']
>>> t.append('d')
>>> print t
['a', 'b', 'c', 'd']
extend takes a list as an argument and appends all of the elements:
>>> t1 = ['a', 'b', 'c'] >>> t2 = ['d', 'e'] >>> t1.extend(t2) >>> print t1 ['a', 'b', 'c', 'd', 'e']
This example leaves t2 unmodified.
sort arranges the elements of the list from low to high:
>>> t = ['d', 'c', 'e', 'b', 'a'] >>> t.sort() >>> print t ['a', 'b', 'c', 'd', 'e']
List methods are all void; they modify the list and return None. If you accidentally write t = t.sort(), you will be disappointed with the result.
10.7 Map, filter and reduce
To add up all the numbers in a list, you can use a loop like this:
def add_all(t):
total = 0
for x in t:
total += x
return total
total is initialized to 0. Each time through the loop, x gets one element from the list. The += operator provides a short way to update a variable:
total += x
is equivalent to:
total = total + x
As the loop executes, total accumulates the sum of the elements; a variable used this way is sometimes called an accumulator.
Adding up the elements of a list is such a common operation that Python provides it as a built-in function, sum:
>>> t = [1, 2, 3] >>> sum(t) 6
An operation like this that combines a sequence of elements into a single value is sometimes called reduce.
Sometimes you want to traverse one list while building another. For example, the following function takes a list of strings and returns a new list that contains capitalized strings:
def capitalize_all(t):
res = []
for s in t:
res.append(s.capitalize())
return res
res is initialized with an empty list; each time through the loop, we append the next element. So res is another kind of accumulator.
An operation like capitalize_all is sometimes called a map because it “maps” a function (in this case the method capitalize) onto each of the elements in a sequence.
Another common operation is to select some of the elements from
a list and return a sublist. For example, the following
function takes a list of strings and returns a list that contains
only the uppercase strings:
def only_upper(t):
res = []
for s in t:
if s.isupper():
res.append(s)
return res
isupper is a string method that returns True if the string contains only upper case letters.
An operation like only_upper is called a filter because
it selects some of the elements and filters out the others.
Most common list operations can be expressed as a combination of map, filter and reduce. Because these operations are so common, Python provides language features to support them, including the built-in function map and an operator called a “list comprehension.”
' Write a function that takes a list of numbers and returns the cumulative sum; that is, a new list where the 'i'th element is the sum of the first 'i+1' elements from the original list. For example, the cumulative sum of '[1, 2, 3]' is '[1, 3, 6]'.
=== 10.8 Deleting elements ===
There are several ways to delete elements from a list. If you
know the index of the element you want, you can use
pop:
>>> t = ['a', 'b', 'c'] >>> x = t.pop(1) >>> print t ['a', 'c'] >>> print x b
pop modifies the list and returns the element that was removed. If you don’t provide an index, it deletes and returns the last element.
If you don’t need the removed value, you can use the del operator:
>>> t = ['a', 'b', 'c'] >>> del t[1] >>> print t ['a', 'c']
If you know the element you want to remove (but not the index), you can use remove:
>>> t = ['a', 'b', 'c']
>>> t.remove('b')
>>> print t
['a', 'c']
The return value from remove is None.
To remove more than one element, you can use del with
a slice index:
>>> t = ['a', 'b', 'c', 'd', 'e', 'f'] >>> del t[1:5] >>> print t ['a', 'f']
As usual, the slice selects all the elements up to, but not including, the second index.
10.9 Lists and strings
A string is a sequence of characters and a list is a sequence of values, but a list of characters is not the same as a string. To convert from a string to a list of characters, you can use list:
>>> s = 'spam' >>> t = list(s) >>> print t ['s', 'p', 'a', 'm']
Because list is the name of a built-in function, you should avoid using it as a variable name. I also avoid l because it looks too much like 1. So that’s why I use t.
The list function breaks a string into individual letters. If you want to break a string into words, you can use the split method:
>>> s = 'pining for the fjords' >>> t = s.split() >>> print t ['pining', 'for', 'the', 'fjords']
An optional argument called a delimiter specifies which characters to use as word boundaries. The following example uses a hyphen as a delimiter:
>>> s = 'spam-spam-spam' >>> delimiter = '-' >>> s.split(delimiter) ['spam', 'spam', 'spam']
join is the inverse of split. It takes a list of strings and concatenates the elements. join is a string method, so you have to invoke it on the delimiter and pass the list as a parameter:
>>> t = ['pining', 'for', 'the', 'fjords'] >>> delimiter = ' ' >>> delimiter.join(t) 'pining for the fjords'
In this case the delimiter is a space character, so
join puts a space between words. To concatenate
strings without spaces, you can use the empty string,
, as a delimiter.
10.10 Objects and values
If we execute these assignment statements:
a = 'banana' b = 'banana'
We know that a and b both refer to a string, but we don’t know whether they refer to the same string. There are two possible states:
In one case, a and b refer to two different objects that have the same value. In the second case, they refer to the same object.
To check whether two variables refer to the same object, you can
use the is operator.
>>> a = 'banana' >>> b = 'banana' >>> a is b True
In this example, Python only created one string object, and both a and b refer to it.
But when you create two lists, you get two objects:
>>> a = [1, 2, 3] >>> b = [1, 2, 3] >>> a is b False
So the state diagram looks like this:
In this case we would say that the two lists are equivalent, because they have the same elements, but not identical, because they are not the same object. If two objects are identical, they are also equivalent, but if they are equivalent, they are not necessarily identical.
Until now, we have been using “object” and “value”
interchangeably, but it is more precise to say that an object has a
value. If you execute a = [1,2,3], a refers to a list
object whose value is a particular sequence of elements. If another
list has the same elements, we would say it has the same value.
10.11 Aliasing
If a refers to an object and you assign b = a, then both variables refer to the same object:
>>> a = [1, 2, 3] >>> b = a >>> b is a True
The state diagram looks like this:
The association of a variable with an object is called a reference. In this example, there are two references to the same object.
An object with more than one reference has more than one name, so we say that the object is aliased.
If the aliased object is mutable, changes made with one alias affect the other:
>>> b[0] = 17 >>> print a [17, 2, 3]
Although this behavior can be useful, it is error-prone. In general, it is safer to avoid aliasing when you are working with mutable objects.
For immutable objects like strings, aliasing is not as much of a problem. In this example:
a = 'banana' b = 'banana'
It almost never makes a difference whether a and b refer to the same string or not.
10.12 List arguments
When you pass a list to a function, the function gets a reference
to the list.
If the function modifies a list parameter, the caller sees the change.
For example, delete_head removes the first element from a list:
def delete_head(t):
del t[0]
Here’s how it is used:
>>> letters = ['a', 'b', 'c'] >>> delete_head(letters) >>> print letters ['b', 'c']
The parameter t and the variable letters are aliases for the same object. The stack diagram looks like this:
Since the list is shared by two frames, I drew it between them.
It is important to distinguish between operations that modify lists and operations that create new lists. For example, the append method modifies a list, but the + operator creates a new list:
>>> t1 = [1, 2] >>> t2 = t1.append(3) >>> print t1 [1, 2, 3] >>> print t2 None >>> t3 = t1 + [3] >>> print t3 [1, 2, 3] >>> t2 is t3 False
This difference is important when you write functions that are supposed to modify lists. For example, this function does not delete the head of a list:
def bad_delete_head(t):
t = t[1:] # WRONG!
The slice operator creates a new list and the assignment makes t refer to it, but none of that has any effect on the list that was passed as an argument.
An alternative is to write a function that creates and
returns a new list. For
example, tail returns all but the first
element of a list:
def tail(t):
return t[1:]
This function leaves the original list unmodified. Here’s how it is used:
>>> letters = ['a', 'b', 'c'] >>> rest = tail(letters) >>> print rest ['b', 'c']
Write a function called 'chop' that takes a list and modifies it, removing the first and last elements, and returns 'None'.
Then write a function called 'middle' that takes a list and returns a new list that contains all but the first and last elements.
=== 10.13 Debugging ===
Careless use of lists (and other mutable objects)
can lead to long hours of debugging. Here are some common
pitfalls and ways to avoid them:
- Don’t forget that most list methods modify the argument and
return None. This is the opposite of the string methods, which return a new string and leave the original alone. If you are used to writing string code like this:
word = word.strip()
It is tempting to write list code like this:
t = t.sort() # WRONG!
Because sort returns None, the next operation you perform with t is likely to fail.
Before using list methods and operators, you should read the documentation carefully and then test them in interactive mode. The methods and operators that lists share with other sequences (like strings) are documented at docs.python.org/lib/typesseq.html. The methods and operators that only apply to mutable sequences are documented at docs.python.org/lib/typesseq-mutable.html.
- Pick an idiom and stick with it.
Part of the problem with lists is that there are too many ways to do things. For example, to remove an element from a list, you can use pop, remove, del, or even a slice assignment.
To add an element, you can use the append method or the + operator. But don’t forget that these are right:
t.append(x) t = t + [x]
And these are wrong:
t.append([x]) # WRONG! t = t.append(x) # WRONG! t + [x] # WRONG! t = t + x # WRONG!
Try out each of these examples in interactive mode to make sure you understand what they do. Notice that only the last one causes a runtime error; the other three are legal, but they do the wrong thing.
- Make copies to avoid aliasing.
If you want to use a method like sort that modifies the argument, but you need to keep the original list as well, you can make a copy.
orig = t[:] t.sort()
In this example you could also use the built-in function sorted, which returns a new, sorted list and leaves the original alone. But in that case you should avoid using sorted as a variable name!
10.14 Glossary
- list:
- A sequence of values.
- element:
- One of the values in a list (or other sequence), also called items.
- index:
- An integer value that indicates an element in a list.
- nested list:
- A list that is an element of another list.
- list traversal:
- The sequential accessing of each element in a list.
- mapping:
- A relationship in which each element of one set corresponds to an element of another set. For example, a list is a mapping from indices to elements.
- accumulator:
- A variable used in a loop to add up or accumulate a result.
- reduce:
- A processing pattern that traverses a sequence and accumulates the elements into a single result.
- map:
- A processing pattern that traverses a sequence and performs an operation on each element.
- filter:
- A processing pattern that traverses a list and selects the elements that satisfy some criterion.
- object:
- Something a variable can refer to. An object has a type and a value.
- equivalent:
- Having the same value.
- identical:
- Being the same object (which implies equivalence).
- reference:
- The association between a variable and its value.
- aliasing:
- A circumstance where two variables refer to the same object.
- delimiter:
- A character or string used to indicate where a string should be split.
=== 10.15 Exercises ===
Write a function called is_sorted that takes a list as a
parameter and returns 'True' if the list is sorted in ascending
order and 'False' otherwise. You can assume (as a precondition)
that the elements of the list can be compared with the comparison
operators '<', '>', etc.
For example, is_sorted([1,2,2]) should return 'True'
and is_sorted(['b','a']) should return 'False'.
Two words are anagrams if you can rearrange the letters from one
to spell the other. Write a function called is_anagram
that takes two strings and returns 'True' if they are anagrams.
The (so-called) Birthday Paradox:
Write a function called has_duplicates that takes
a list and returns 'True' if there is any element that
appears more than once. It should not modify the original
list.
- If there are 23 students in your class, what are the chances
that two of you have the same birthday? You can estimate this probability by generating random samples of 23 birthdays and checking for matches. Hint: you can generate random birthdays with the 'randint' function in the 'random' module. ' '
You can read about this problem at 'wikipedia.org/wiki/Birthday_paradox', and you can see my solution at 'thinkpython.com/code/birthday.py'.
Write a function called remove_duplicates that takes
a list and returns a new list with only the unique elements from
the original. Hint: they don’t have to be in the same order.
' ' ' Write a function that reads the file 'words.txt' and builds a list with one element per word. Write two versions of this function, one using the 'append' method and the other using the idiom 't = t + [x]'. Which one takes longer to run? Why?
You can see my solution at 'thinkpython.com/code/wordlist.py'.
' '
To check whether a word is in the word list, you could use the 'in' operator, but it would be slow because it searches through the words in order.
Because the words are in alphabetical order, we can speed things up with a bisection search, which is similar to what you do when you look a word up in the dictionary. You start in the middle and check to see whether the word you are looking for comes before the word in the middle of the list. If so, then you search the first half of the list the same way. Otherwise you search the second half.
Either way, you cut the remaining search space in half. If the word list has 113,809 words, it will take about 17 steps to find the word or conclude that it’s not there.
Write a function called 'bisect' that takes a sorted list and a target value and returns the index of the value in the list, if it’s there, or 'None' if it’s not.
Or you could read the documentation of the 'bisect' module and use that!
Two words are a “reverse pair” if each is the reverse of the other. Write a program that finds all the reverse pairs in the word list.
Two words “interlock” if taking alternating letters from each forms a new word1. For example, “shoe” and “cold” interlock to form “schooled.”
- Write a program that finds all pairs of words that interlock.
Hint: don’t enumerate all pairs!
- Can you find any words that are three-way interlocked; that is,
every third letter forms a word, starting from the first, second or third?
- 1
- This exercise is inspired by an example at puzzlers.org.
<IMG SRC="previous_motif.gif" ALT="Previous"> <IMG SRC="contents_motif.gif" ALT="Up"> <IMG SRC="next_motif.gif" ALT="Next">