При работе с загрузкой файлов или обработкой файлов в программном приложении часто необходимо убедиться, что пользователь выбирает только файлы PDF. Это требование может быть реализовано с помощью различных методов, включая проверку на стороне клиента и на стороне сервера. В этой статье мы рассмотрим несколько методов достижения этой цели, приведя примеры кода на популярных языках программирования, таких как Python, Java и JavaScript.

Метод 1: проверка расширения файла
Один из самых простых способов убедиться, что выбраны только PDF-файлы, — проверить расширение файла. В большинстве операционных систем файлы PDF имеют расширение «.pdf». Вот пример на Python:

def is_pdf_file(filename):
    return filename.lower().endswith('.pdf')
# Usage
filename = 'document.pdf'
if is_pdf_file(filename):
    print('Valid PDF file selected.')
else:
    print('Invalid file selected.')

Метод 2: проверка подписи файла.
Более надежный подход — проверка подписи или магического числа файла. PDF-файлы имеют уникальную подпись в начале файла. Вот пример на Java:

import java.io.*;
public class PdfFileValidator {
    private static final byte[] PDF_SIGNATURE = {0x25, 0x50, 0x44, 0x46};
    public static boolean isPdfFile(File file) throws IOException {
        try (FileInputStream fis = new FileInputStream(file)) {
            byte[] signature = new byte[4];
            fis.read(signature);
            return java.util.Arrays.equals(signature, PDF_SIGNATURE);
        }
    }
// Usage
    public static void main(String[] args) throws IOException {
        File file = new File("document.pdf");
        if (isPdfFile(file)) {
            System.out.println("Valid PDF file selected.");
        } else {
            System.out.println("Invalid file selected.");
        }
    }
}

Метод 3: проверка типа MIME
Другой подход — проверить тип MIME выбранного файла. PDF-файлы имеют тип MIME «application/pdf». Вот пример на JavaScript с использованием File API:

function isPdfFile(file) {
    return file.type === 'application/pdf';
}
// Usage
const file = document.getElementById('fileInput').files[0];
if (isPdfFile(file)) {
    console.log('Valid PDF file selected.');
} else {
    console.log('Invalid file selected.');
}

В этой статье мы рассмотрели несколько способов обеспечения выбора в программном приложении только файлов PDF. Мы обсудили проверку расширения файла, проверку подписи файла и проверку типа MIME. В зависимости от ваших требований вы можете выбрать наиболее подходящий метод для вашего применения. Внедрив эти методы, вы сможете улучшить взаимодействие с пользователем и обеспечить целостность загружаемых файлов.