memset операция по двойной стрелке

Question

Question имеет отношение к делу.

Для представления ниже,

typedef struct List{ 

    void **array; // array of void* 
    int lastItemPosition; 
    int size; 
    }List; 

    #define INITIAL_LIST_SIZE 50 

createList выполняет, как показано ниже,

List *createList(List *list, Op opType){ 

    List *lptr = (List *)malloc(sizeof(List)); 

    if(opType == CREATE_NEW_LIST){ 

    lptr->array = malloc(INITIAL_LIST_SIZE*sizeof(void*)); 
    lptr->array = memset(lptr->array, NULL, INITIAL_LIST_SIZE*sizeof(void *)); 
    lptr->lastItemPosition = -1; 
    lptr->size = INITIAL_LIST_SIZE; 
} 

ли memset выполнения допустимую операцию на lptr->array?

Answer 1

В коде

memset(lptr->array, NULL, INITIAL_LIST_SIZE*sizeof(void *)); 

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

Связанные со ссылкой на C11, глава §7.19

NULL
который расширяется к реализации определенных нулевой константы указателя; [...]

и, глава §6.3.2.3

Целое константа со значением 0, или такое выражение преобразованный к типу void *, называется null pointer constant.

Так, NULL имеет тип указателя, который не является совместимым с типом int в любых направлениях.

Answer 2

Это действует на всех основных платформах, за исключением одного: не передавать NULL в качестве значения для установки. Помните, что функция memset работает с отдельным байтами памяти, и вы должны установить все байты в ноль (0).

Это, однако, не является строго технически обоснованным. На большинстве основных платформ нулевой указатель равен нулю. Но это не обязательно. Единственный полностью переносимый и безопасный способ сделать это - через ручную петлю, где вы явно указали каждый указатель на NULL.

---

И если кому-то интересно узнать, даже если NULL определяется как 0 (или ((void *) 0)) не имеет значения. Компилятор переведет этот нуль в определенную платформой версию нулевого указателя, которая может быть чем-то иным, чем фактическое целое число.