如何正确定义一个判断图像文件的函数 `is_image`？

在定义一个判断图像文件的函数 `is_image` 时，我们需要考虑图像文件的特点以及我们处理图像的环境。以下是一个简单的示例，以Python语言为例，展示如何定义这样一个函数：

首先，图像文件通常有特定的文件扩展名，比如.jpg、.png、.gif等。其次，图像文件的数据在文件的开头部分通常会有特定的魔术字节（magic bytes），可以用来区分图像文件和其他类型的文件。我们可以利用这些特性来判断一个文件是否为图像文件。

以下是一个简单的 `is_image` 函数实现，它首先检查文件扩展名，然后尝试读取文件的魔术字节：

import os
import struct

def is_image(filename):
    # 图像文件常见的扩展名
    image_extensions = ('.jpg', '.jpeg', '.png', '.gif', '.bmp', '.tiff', '.webp')

    # 检查文件扩展名
    _, ext = os.path.splitext(filename)
    if ext.lower() not in image_extensions:
        return False

    # 检查魔术字节
    try:
        with open(filename, 'rb') as f:
            # 读取文件开头的几个字节
            magic_bytes = f.read(8)
            # 魔术字节对应不同的图像格式
            if magic_bytes.startswith((b'\xff\xd8\xff', b'\x89PNG')):
                return True
            elif magic_bytes.startswith((b'\x47\x49\x46', b'\x49\x49')):
                return True
            elif magic_bytes.startswith(b'\x42\x4d'):
                return True
            # 可以继续添加其他图像格式的魔术字节
            # ...
            else:
                return False
    except (IOError, struct.error):
        return False

# 使用示例
print(is_image('example.jpg'))  # 应该返回 True
print(is_image('example.txt'))  # 应该返回 False

这个函数首先检查文件名的扩展名是否在常见的图像文件扩展名列表中。如果不是，直接返回 False。如果是，再尝试打开文件并读取其开头的部分字节。不同的图像格式有不同的魔术字节，可以添加到函数中进行判断。