我有一个关于这段代码的问题,它转换了 TexMobject 的元素(例如,元素 2 被转换为 8,3 被转换为 9 等等):
changes = [
[(2,4,3), (8,11,9)],
[(0,0), (7,10)]
]
for pre_ind, post_ind in changes:
self.play(
*[
ReplacementTransform(formula[i].copy(), formula[j])
for i,j in zip(pre_ind, post_ind)
]
)
self.wait()
self.wait()
我看到有一个用于生成索引对的列表理解,但我不明白为什么在方括号之前有一个 args 星号(*)self.play()
?如果列表理解没有它,那么在这种情况下使用 *args 表示法的目的是什么?