Python この下記の問題について

Question

問題の答え、解説を見たのですが理解できないところがあったので教えていただきたいです。

問題：自然数 N と N 個の要素の数列 M が与えられます。1 ≦ i ≦ N の各 i について、i 行目には以下の数列を出力してください。

• 1 以上 M_i 以下のすべての自然数を昇順、半角スペース区切りで出力してください。

答え：

N = int(input())

M = [0] * N ←これの必要性がわからないです
values = input().split()
for i in range(N):
M[i] = int(values[i])

for i in range(N):
for j in range(1, M[i] + 1):
if j == M[i]:
print(j)
else:
print(j, end=" ")

言語：python3

補足情報（FW/ツールのバージョンなど）

初心者なのでよろしくお願いします。

Answer 1

M = [0] * N ←これの必要性がわからないです

リストを初期化するために必要です。

簡単に言えば、「初期値を持つ箱をN個あらかじめ用意しておく」というイメージです。

M = [0] * N
と書いた場合、N個の要素（初期値0）を持つリストが生成され、そのリストが「M」という名前に紐づけられます。

たとえば、仮に
M = [0] * N
の行を
M=[]　とか　M=[] * N
にすると、

    M[i] = int(values[i])

のところで

IndexError: list assignment index out of range

というエラーが発生します。これは「箱が用意されていない（足りない）」ために起こるエラーです。
だから、あらかじめ M = [0] * N
として、箱を必要分だけ用意しておく必要があるんです。

Comments

[Curry]

ありがとうございます！すごく納得しました！
はじめたばかりで何もかもわからなくて、、
本当に助かりました！