Лабораторная работа: Поворот картинки
- Необходимо реализовать поворот изображения в формате BMP на заданный угол по часовой стрелке. Формат использования такой:
./image-transformer <source-image> <transformed-image> <angle>
Угол может принимать значения строго из списка: 0, 90, -90, 180, -180, 270, -270
- Архитектура приложения описана в последующих разделах.
- Код размещается в директории
solution/src, заголовочные файлы ищутся вsolution/include.
- Прочитайте главу 12 (стр. 221, 231–239) и 13 (целиком) "Low-level programming: C, assembly and program execution".
На защите мы можем обсуждать любые вопросы из учебника из глав 8–13 включительно.
BMP файл состоит из заголовка и растрового массива.
Заголовок задаётся следующей структурой (обратите внимание на атрибут packed):
// Описание для gcc и clang
#include <stdint.h>
struct bmp_header __attribute__((packed))
{
uint16_t bfType;
uint32_t bfileSize;
uint32_t bfReserved;
uint32_t bOffBits;
uint32_t biSize;
uint32_t biWidth;
uint32_t biHeight;
uint16_t biPlanes;
uint16_t biBitCount;
uint32_t biCompression;
uint32_t biSizeImage;
uint32_t biXPelsPerMeter;
uint32_t biYPelsPerMeter;
uint32_t biClrUsed;
uint32_t biClrImportant;
};Сразу после него (всегда ли?) идёт растровый массив, в котором последовательно хранятся пиксели по строчкам. Каждый пиксель задаётся структурой размером 3 байта:
struct pixel { uint8_t b, g, r; };Если ширина изображения в байтах кратна четырём, то строчки идут одна за другой без пропусков. Если ширина не кратна четырём, то она дополняется мусорными байтами до ближайшего числа, кратного четырём. Эти байты называются padding.
Пример:
- Изображение имеет ширину 12 пикселей = 12 * 3 байт = 36 байт. Ширина кратна четырём, каждая следующая строчка начинается сразу после предыдущей.
- Изображение имеет ширину 5 пикселей. 5 * 3 = 15 байт, ближайшее число кратное четырём (округление вверх) это 16. После каждой строчки будет отступ в 16-15 = 1 байт перед началом следующей.
Обратите внимание: отступы в байтах, не в пикселях.
Вам придётся задать структуру по-другому, без атрибута packed:
#include <stdint.h>
#pragma pack(push, 1)
struct bmp_header
{
uint16_t bfType;
uint32_t bfileSize;
uint32_t bfReserved;
uint32_t bOffBits;
uint32_t biSize;
uint32_t biWidth;
uint32_t biHeight;
uint16_t biPlanes;
uint16_t biBitCount;
uint32_t biCompression;
uint32_t biSizeImage;
uint32_t biXPelsPerMeter;
uint32_t biYPelsPerMeter;
uint32_t biClrUsed;
uint32_t biClrImportant;
};
#pragma pack(pop)Объяснение этого прочтите находится на страницах 235–239 учебника.
Программа разделена на модули; каждый модуль это .c файл, который становится файлом с расширением .o.
Продуманная архитектура приложения в каждом конкретном модуле минимизирует знания о других модулях по следующим причинам:
- Когда программист работает над одним модулем (разрабатывает, модифицирует, ищет ошибки), ему проще не держать в голове знания про всю остальную программу. Скрытие информации про другие модули позволяет ему не брать в голову детали их внутреннего устройства.
- Пусть модуль A не использует определения из модуля B, но имеет к ним доступ. Разумеется, можно как угодно менять B и это не скажется на A. Однако есть шанс, что автор программы или кто-то из будущих соавторов может использовать в модуле A определения из B — ведь к ним есть доступ. Это установит жёсткую связь между A и B, и будет нельзя больше свободно менять B не влияя на A. Программы являются сложными системами, и мы хотим иметь минимум связей между их элементами, иначе модификация (и исправление ошибок) будут требовать постоянной модификации не одной, а многих частей программы.
В нашем случае в программе разумно выделить несколько частей.
Описание внутреннего представления картинки struct image, очищенное от
деталей формата, и функции для работы с ним: создание, деинициализация и т.д.
struct image {
uint64_t width, height;
struct pixel* data;
};Эта часть программы не должна знать ни про входные форматы, ни про трансформации.
Каждый входной формат описывается в отдельном модуле; они предоставляют функции
для считывания файлов разных форматов в struct image и для записи на диск в
тех же форматах.
Эти модули знают про модуль, описывающий struct image, но ничего не знают про
трансформации. Поэтому можно будет добавлять новые трансформации не переписывая
код для входных форматов.
Как только мы считали изображение во внутренний формат, мы должны забыть, из
какого формата оно было считано! Именно поэтому в struct image оставлен
только самый минимум деталей изображения (размеры), и никаких частей
bmp-заголовка. Для BMP начать можно с:
/* deserializer */
enum read_status {
READ_OK = 0,
READ_INVALID_SIGNATURE,
READ_INVALID_BITS,
READ_INVALID_HEADER
/* коды других ошибок */
};
enum read_status from_bmp( FILE* in, struct image* img );
/* serializer */
enum write_status {
WRITE_OK = 0,
WRITE_ERROR
/* коды других ошибок */
};
enum write_status to_bmp( FILE* out, struct image const* img );Функции from_bmp и to_bmp принимают уже открытый файл, что позволяет
им работать с заранее открытыми файлами stdin, stdout, stderr.
Функции from_bmp и to_bmp не должны ни открывать, ни закрывать файлы.
Для ошибок открытия/закрытия, возможно, вам захочется ввести отдельные типы
перечислений.
Как только мы считали изображение во внутренний формат, мы должны забыть, из
какого формата оно было считано! Именно поэтому в struct image оставлен
только самый минимум деталей изображения (размеры), и никаких частей
bmp-заголовка.
Вам также потребуются функции, аналогичные from_bmp и to_bmp, которые
будут принимать имена файлов и заниматься корректным открытием (fopen) и
закрытием (fclose) файлов; на открытых файлах они могут запускать from_bmp
и to_bmp.
Имеет смысл разделять открытие/закрытие файлов и работу с ними. Уже
открытие и закрытие могут сопровождаться ошибками (см. man fopen и
man fclose) и хочется отделить обработку ошибок открытия/закрытия и
обработку ошибок чтения/записи.
Каждая трансформация описывается в отдельном модуле. Эти модули знают про
модуль, описывающий struct image, но ничего не знают про входные форматы.
Поэтому можно будет добавлять новые входные форматы не переписывая код для
трансформаций. Без дополнительных усилий мы получим возможность, описав входной
формат, сразу же поддержать все трансформации над ним.
Вам потребуется функция для поворота картинки в её внутреннем представлении:
/* создаёт копию изображения, которая повёрнута на 90 градусов */
struct image rotate( struct image const source );Вам может пригодиться программа для отображения заголовков BMP файлов
ВНИМАНИЕ это программа для просмотра заголовков BMP файлов. Это не заготовка для решения! Можете скомпилировать её с помощью make и проверять заголовки на битность; в решении вам нужно поддерживать только 24-битные BMP файлы.
Остальная часть программы может быть организована любым осмысленным способом. Возможно, вам захочется написать небольшую библиотеку для ввода-вывода, работы со строками и т.д.
Приветствуется разумное создание новых модулей и введение дополнительных функций для удобства, где это необходимо.
Дополнительные функции, которые вы ввели для удобства, но которые не относятся по смыслу ни к одному из этих модулей, можно выделить
в отдельный модуль. Часто его называют util.c или как-то похоже.
Для сборки кода вам предоставлена система сборки на языке CMake, самим писать систему сборки не требуется.
-
В зависимости от платформы и компилятора, система сборки поддерживает несколько конфигураций с динамическими анализаторами (санитайзерами). Санитайзеры могут дать подробную информацию о возможных и реальных ошибках в программе вместо классического сообщения о segmentation fault. Выбрать подходящую конфигурацию вы можете с помощью переменной
CMAKE_BUILD_TYPE:-
ASan— AddressSanitizer, набор проверок на некорректное использование адресов памяти. Примеры: use-after-free, double-free, выход за пределы стека, кучи или статического блока. -
LSan— LeakSanitizer, проверки на утечки памяти. -
MSan— MemorySanitizer, проверяет, что любая используемая ячейка памяти проинициализирована на момент чтения из нее. -
UBSan— UndefinedBehaviourSanitizer, набор базовых проверок на неопределенное поведение. Примеры: переполнение численного типа, null-pointer dereference.
-
-
Если в вашей системе имеется статический анализатор
clang-tidy, он будет запущен во время компиляции программы. Список проверок описан в файлеclang-tidy-checks.txt. Вы можете добавить свои проверки в конец этого файла. -
Директория
testerсодержит код и изображения для тестирования вашей программы. Для запуска тестов используется CTest. -
Поддержана интеграция системы сборки со средами разработки CLion, Visual Studio и Visual Studio Code.
Чтобы система сборки работала на вашей системе, вам необходимо:
- Компилятор (
gcc/clang) иcmake(проверьте, чтоcmakeверсии 3.12 или выше) - Если вы хотите использовать санитайзеры с GCC, установите
libasan,liblsanиlibubsanс помощью пакетного менеджера (названия могут отличаться). - Если вы хотите использовать санитайзеры с Clang, на некоторых системах вам может понадобиться пакет
compiler-rt. - Если вы хотите пользоваться
clang-tidy, установитеclang-tools-extra.
- Какая-либо среда разработки (CLion, Visual Studio, Visual Studio Code)
- Если вы хотите пользоваться
clang-tidy, скачайте LLVM: https://github.com/llvm/llvm-project/releases (найдите установщик win64 под одной из версий) - Для VS Code требуется отдельно поставить Visual Studio (с сайта Microsoft) и CMake: https://cmake.org/download/
- Прочитайте правила хорошего стиля. Ваше решение должно им соответствовать.
- Архитектура: думайте о том, как бы вы хотели организовать код, чтобы легко добавлять входные форматы (не только BMP) и трансформации (не только поворот).
- Пожалуйста, присылайте решение в виде pull-request. Инструкция.