如何运行一个为字符串添加值的循环？

我的文件名看起来像这样:

data00001
data00002
data00003
....
data00010
....

我保存了它们,并希望从他们使用此代码的网站下载它们:

import urllib.request as urllib2

respOnse= urllib2.urlopen("https://somewebsite/data00001.mat")
file = open(r"C:\Users\me\Desktop\data\data00001.mat", 'wb')
file.write(response.read())
file.close()

我将给出起始和结束文件名,例如:

从data00001到data01000所以在这个例子中我希望下载data0001到data01000的文件.如何增加数据附近的数值以使其工作？

试试这个:

for i in range(1, 1001):
    filename = "data" + str(i).zfill(4) + ".mat" # gives a padding of four digits

您可以对所有操作使用filename