Возможно принудительное выравнивание памяти в параметре указателя в C?

Question

У меня есть функция в C, которая принимает параметр uint8_t *, который должен указывать на 32-разрядную выровненную память. Возможно ли на C или C++ или с помощью макросов какой-либо конкретной платформы добавить некоторое украшение параметру, так что компилятор или компоновщик будут вызывать ошибку во время сборки, если она не выровнена по мере необходимости?

Идея здесь в том, что я хочу защитить функцию от неправильного использования другими пользователями (или мне через 6 месяцев). Я знаю, как выровнять материал, который я хочу передать ему. Я бы хотел, чтобы ни один не смог отправить.

Основываясь на this answer, я думаю, что ответ на мой вопрос «нет», это невозможно сделать во время сборки, но это похоже на полезную функцию, поэтому я решил проверить. Моя работа заключается в том, чтобы положить assert((((size_t)ptr) % 4) == 0); в функцию, поэтому, по крайней мере, я мог бы захватить ее во время выполнения при отладке.

По моему опыту, результаты не определены, если вы нанесли несогласованный uint8_t* на uint32_t* на многие встроенные платформы, поэтому я не хочу рассчитывать на «правильный» результат, выходящий в конце. Плюс это используется в системе реального времени, поэтому замедление может быть неприемлемым.

Цитаты приветствуются, если они есть.

Answer 1

Нет, нет ничего в стандартах C или C++, которые, как я знаю, могут заставить параметр указателя удерживать соответствующее значение.

Чтобы получить память, использовать posix_memalign:

#include <stdlib.h> 

int posix_memalign(void **memptr, size_t alignment, size_t size); 

ОПИСАНИЕ

Функция posix_memalign() выделят байты размера выровненных на границы указанного выравнивания, и возвращает указатель на выделенная память в памяти. Значение выравнивания должно составлять , два кратных sizeof(void *).

После успешного завершения значение, на которое указывает memptr, должно быть , кратным выравниванию.

Answer 2

Для динамического распределения взгляните на стандарт (начиная с C11) aligned_alloc.

Для статического распределения я не знаю стандартного метода, поэтому он будет зависимым от компилятора. Для gcc, например, проверьте aligned attribute.