требования функции aligned_alloc

Question

Я смотрю на объяснение выровненных-Alloc():. http://en.cppreference.com/w/c/memory/aligned_alloc

void *aligned_alloc(size_t alignment, size_t size); 

«Выделяют размер байт неинициализированного хранения которого выравнивание задается выравнивание Параметр размера должен быть составной кратное выравниванию ".

Однако пример кода использует его как это:

int *p2 = aligned_alloc(1024, 10*sizeof *p2); 

10 * SizeOf * р = 40, так что это не кратен 1024.

Что я неправильно?

Answer 1

По your own reference:

Передача size, которое не является целым кратным alignment или alignment, которое не является действительным или не поддерживается реализацией вызывает функцию потерпеть неудачу и возвращает пустой указатель (C11 , как опубликовано, указанное неопределенное поведение в этом случае, это было исправлено DR 460).

Возможно компилятор, который принимает это в соответствии с правилами C11, не обновляясь для DR 460, и решил, что «неопределенный» означает «Работы» в этом случае. Конечно, это также может означать «Успехи, но не выравнивается или не выделяет минимальные байты выравнивания». Это не определено. пожимает

Для примера кода, оно могло быть написано до этого разъяснения и не приведены в соответствие с требованиями стандарта, или была опечатка писать его (как это было предложено в комментариях, возможно, он был предназначен, чтобы быть 1024 * sizeof *p2).

Answer 2

На самом деле, похоже, что стандарт C11 не может принять решение и постоянно меняет требования: изначально это было неопределенное поведение, а затем с DR 460 они изменили его на отказ и вернули нулевой указатель, и теперь это похоже на они хотят изменить его, чтобы принимать любые значения в качестве аргументов: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2072.htm

И, по-видимому, компиляторы не заботятся об этих ограничениях.