Реализация aligned_malloc с использованием malloc в C

Question

Вопрос: Почему мы объявляем p2 как void **? почему не p2*?

Мы возвращаем p2, но наш тип функции возврата - void *. Это не имеет никакого смысла. Компилятор скажет unmatch return type.

void *aligned_malloc(size_t required_bytes, size_t alignment) { 
    void *p1; 
    void **p2; 
    int offset=alignment-1+sizeof（void*); 
    p1 = malloc(required_bytes + offset);    // the line you are missing 
    p2=(void**)(((size_t)(p1)+offset)&~(alignment-1)); //line 5 
    p2[-1]=p1; //line 6 
    return p2; 
} 

Answer 1

void** может быть неявно преобразован в void*, так что не должно быть проблемой типа.

Причина, по которой объявлено void**, заключается в том, чтобы было удобно хранить выделенный указатель прямо перед ним.

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

void *aligned_malloc(size_t required_bytes, size_t alignment) { 
    void *p1; 
    void *p2; 
    void **p3; 
    int offset=alignment-1+sizeof（void*); 
    p1 = malloc(required_bytes + offset); 
    p2= (void*)(((size_t)(p1)+offset)&~(alignment-1)); 
    p3 = (void**) p2; 
    p3[-1]=p1; 
    return p2; 
}