<p>我是python新手,需要帮助解决一个问题。基本上,我需要打开一个文件,并阅读它,我可以做的没有问题。问题出现在第0行,我需要检查头格式。在</p>
<p>标头的格式必须是:<code>p wncf nvar nclauses hard</code>
其中“nvar”、“nclauses”和“hard”都是正整数。在</p>
<p>例如:</p>
<p><code>p wncf 1563 817439 186191</code></p>
<p>将是有效的标题行。在</p>
<p>下面是我已经回答过的一个问题的编码:</p>
<pre><code>import re
filename = raw_input('Please enter the name of the WNCF file: ')
f = open(filename, 'r')
for line in f:
p = re.compile('p wncf \d+ \d+ \d+$')
if p.match(line[0]) == None:
print "incorrect format"
</code></pre>
<p>我仍然得到一个不正确的格式,即使文件的格式是正确的。另外,是否可以将整数赋给一个对象?在</p>
<p>提前谢谢。在</p>