python gif转MP4

要在Python中将GIF转换为MP4格式，可以使用imageio库。以下是一个简单的例子：

首先，安装所需的库(如果尚未安装)：

pip install imageio

然后，使用以下Python代码将GIF转换为MP4：

import imageio
 
# 读取GIF文件
gif_file = 'input.gif'
with imageio.get_reader(gif_file, 'GIF') as reader:
    # 写入MP4文件
    mp4_file = 'output.mp4'
    fps = imageio.get_meta_data(gif_file)['fps']
    with imageio.get_writer(mp4_file, fps=fps) as writer:
        for frame in reader:
            writer.append_data(frame)

这段代码会读取名为input.gif的文件，并将其保存为名为output.mp4的MP4文件，同时保持原有的帧率。