擅长:python、mysql、java
<pre><code>>>> import re
>>> num_list = map(int, re.findall(r'\d+', open("circles.dat", "r").read()))
[200, 200, 100, 75, 200, 15, 325, 200, 15, 200, 75, 10, 200, 325, 10]
</code></pre>
<p>使用<code>.read()</code>而不是<code>.readlines()</code>作为read()返回整个文件的内容作为单个字符串(可以与regex一起使用),这与readlines()返回字符串列表不同。你知道吗</p>
<p>获取数字列表(以字符串形式)后,使用<code>map()</code>函数将列表类型转换为<code>int</code>类型。你知道吗</p>
<p><strong>步骤说明:</p>
<pre><code>>>> import re
>>> file_content = open("circles.dat", "r").read() # Read file as single string
>>> num_list = re.findall(r'\d+', file_content) # Fetch all numbers from string
>>> num_list
['200', '200', '100', '75', '200', '15', '325', '200', '15', '200', '75', '10', '200', '325', '10']
>>> map(int, num_list) # Typecast list of str to list of int
[200, 200, 100, 75, 200, 15, 325, 200, 15, 200, 75, 10, 200, 325, 10]
</code></pre>