Python numpy：读入数据文件并替换关键字

我想读入包含以下内容的数据文件

1 key1 3
4 5 key2
7 8 9

并将其保存到数组或列表中。 关键字

key1

和

key2

应替换为

2

和

6

，即最终数组应为

[[1, 2, 3], [4, 5, 6], [7, 8, 9]]

---

例如，

numpy.genfromtxt

或类似的东西是否有简单的解决方案？

在这种情况下，仅使用普通Python并没有那么棘手：

keys = {'key1': 2, 'key2': 6}
with open('in.txt', 'r') as f:  # Assuming data in 'in.txt'
    arr = [[int(elm) if elm.isnumeric() else keys[elm] for elm in line.split()] for line in f]

---

您可以使用

转换器

。