Python-从外部文件读取数字

我有一个以下格式的输入文件：

 Head    
 20 20 20 !Random text
 random lines

我想将这些值读取为3个不同的变量'a''b''c'，然后乘以a*b

我有以下代码：

import sys
import numpy as np
import fileinput

filename = 'file.txt'
#filename = sys.argv[-1]

data = np.genfromtxt(filename, skip_header=8, dtype=[('a',int),('b',int),

('c',int)])

result = a*b

---

但是它不起作用。

你必须用numpy来做吗？ 否则，如果文件看起来总是这样，则应该可以这样做

with open("file.txt") as file_handle:
    file_handle.readline() # skip the header
    values = file_handle.readline().split()

a = int(values[0])
b = int(values[1])

result = a * b

---

下面是一行中的一个小不同的方法

import re
from functools import reduce
print(reduce(lambda x,y:x*y,[list(map(int,re.findall(r'\d+',i)))[:2] for i in open('file.txt') if re.findall(r'\d+',i)][0]))

输出：

400

---

什么不起作用？请准确列出错误。它不起作用不是对这个问题的简明描述。你收到错误消息了吗？然后你应该编辑你的问题，包括完整的回溯。输出是否未达到您的期望？然后您应该包括实际输出。