Выравнивание целых чисел по заданной границе

[Aoizora]

Мне понадобилось выравнивать целые числа по заданной границе, и я обратился к доисторическим макросам Криса Касперски:

template <typename TInt>
TInt ALIGN_DOWN(TInt x, TInt align)
{
	return (x & ~(align - 1));
}

template <typename TInt>
TInt ALIGN_UP(TInt x, TInt align)
{
	return (x & (align - 1)) ? ALIGN_DOWN(x, align) + align : x;
}

Выравнивание вверх мне показалось слишком громоздким, и я отправился читать Hacker's Delight, где выравнивание делается гораздо короче:

template <typename TInt>
TInt ALIGN_UP2(TInt x, TInt align)
{
	return (x + (align - 1)) & -align;
}

Протестировал оба варианта. Вроде, работают. Какой из них предпочесть? Есть ли недостатки у второго?

И еще: как назвать аргумент типа шаблона, если работать буду с целыми числами и указателями?

[alexzk]

Ну а теперь скомпильте с типом size_t скажем.
Подозреваю, как минимум варнинги.

[Aoizora]

Сообщение от alexzk

Ну а теперь скомпильте с типом size_t скажем.
Подозреваю, как минимум варнинги.

Хм, в самом деле. Надо добавить еще один параметр типа шаблона.

	std::size_t x = 17;
	std::cout << ALIGN_UP2(x, (unsigned)16) << std::endl;

template <typename TInt, typename TAlign = std::size_t>
TInt ALIGN_UP2(TInt x, TAlign align)
{
	return (x + (align - 1)) & -align;
}

[alexzk]

-align;

меня вот это смущает, тип-то unsigned. Будет чепуха какаят-то.
У криса этого нет именно поэтому.

[Aoizora]

Сообщение от alexzk

-align;

меня вот это смущает, тип-то unsigned. Будет чепуха какаят-то.
У криса этого нет именно поэтому.

Да нормально выравнивает, когда оба аргумента std::size_t. Только надо прописать #pragma warning ( disable : 4146 ), чтобы ворнинг не трактовался как ошибка.

[waleri]

http://en.cppreference.com/w/c/memory/aligned_alloc

[Cuprum5]

Не подскажете, что такое выравнивание и зачем оно нужно? Скажите, пожалуйста. Типа выравнивание, кратное какому-то адресу что-ли?

[Aoizora]

Сообщение от Cuprum5

Не подскажете, что такое выравнивание и зачем оно нужно? Скажите, пожалуйста. Типа выравнивание, кратное какому-то адресу что-ли?

Округление вверх или вниз до ближайшего значения, кратного заданному числу align. Используется в системном программировании, когда какие-то данные (например, секции PE-файла) выравниваются по заданной границе.