Выровненный динамический массив и умный указатель ⇐ C++

[Anonymous]

Мне часто нужно выровнять начало динамического массива по границе в 16, 32 или 64 байта для векторизации, например, для SSE, AVX, AVX-512. Я ищу прозрачный и безопасный способ использовать это в сочетании с интеллектуальными указателями, в частности std::unique_ptr.

Учитывая реализацию распределения и процедуры освобождения, скажем

Код: Выделить всё

template
T * allocate_aligned(int alignment, int length)
{
// omitted: check minimum alignment, check error
T * raw = 0;
// using posix_memalign as an example, could be made platform dependent...
int error = posix_memalign((void **)&raw, alignment, sizeof(T)*length);
return raw;
}

template
struct DeleteAligned
{
void operator()(T * data) const
{
free(data);
}
};

Я бы хотел сделать что-то подобное

Код: Выделить всё

std::unique_ptr data(allocate_aligned(alignment, length));

но я не мог понять, как заставить unique_ptr использовать правильный метод удаления, не требуя от пользователя его указания (что потенциальная причина ошибок). Альтернативой, которую я нашел, было использование псевдонима шаблона

Код: Выделить всё

template
using aligned_unique_ptr = std::unique_ptr;

Тогда мы можем использовать

Код: Выделить всё

aligned_unique_ptr data(allocate_aligned(alignment, length));

Остальная проблема заключается в том, что ничто не мешает пользователю поместить необработанный указатель в std::unique_ptr.

Кроме этого, вы видите в этом что-то плохое? Есть ли альтернатива, менее подверженная ошибкам, но полностью прозрачная для пользователя после того, как распределение было выполнено?

Подробнее здесь: https://stackoverflow.com/questions/294 ... rt-pointer