策略模式是一种行为设计模式，它使你能在运行时改变对象的行为。在这个例子中，我们通过创建不同的图片保存策略（GIFSaver、JPEGSaver、PNGSaver）来实现这一模式，每个策略都实现了同一个接口`ImageSaver`，其中定义了`save()`方法。这种设计允许我们在不修改现有代码的情况下，根据需求选择不同的图片保存算法。
我们定义了一个`ImageSaver`接口，它声明了`save()`方法，这是所有图片保存策略都需要实现的核心操作。接下来，针对每种图片格式（GIF、JPEG、PNG），我们创建了相应的类，并让它们实现`ImageSaver`接口，这样每个类就有了自己的保存策略。
例如，`GIFSaver`类覆盖了`save()`方法，实现了将图片保存为GIF格式的功能。同样，`JPEGSaver`和`PNGSaver`类分别实现了保存为JPEG和PNG格式的功能。
然后，我们引入了`TypeChooser`类，它作为一个简单的工厂，根据输入的图片类型（如"JPEG"、"GIF"或"PNG"）动态地返回相应的图片保存策略对象。通过使用`if-else`语句，`TypeChooser`可以决定创建并返回哪个具体的策略实例。这个工厂类使得客户端（这里是`User`类）可以很容易地获取到所需的图片保存策略，而无需知道具体实现的细节。
在`User`类的`main()`方法中，我们展示了如何使用`TypeChooser`来选择和执行不同的保存策略。根据用户的选择，我们可以得到对应的`ImageSaver`对象，并调用其`save()`方法来保存图片。
这种设计的优势在于：
1. **可扩展性**：如果需要支持新的图片格式，只需创建一个新的类实现`ImageSaver`接口，而无需修改已有的代码。
2. **封装性**：每个策略类都封装了特定格式的保存算法，保持了代码的整洁，减少了耦合。
3. **灵活性**：在运行时可以根据需要动态地切换策略，提高了程序的灵活性。
通过将策略模式与简单工厂模式结合，我们可以有效地管理和使用多种策略，为处理不同图片格式提供了优雅的解决方案。这种方式不仅易于维护，也便于未来的功能扩展。
