Сохранение указателя на память, указываемого указателем пустоты

Question

Рассмотрите следующую ситуацию.

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

Мой подход:

*(void**) first = second;

Является ли это действительным? Существуют ли какие-либо меры предосторожности?

Answer 1

Вы можете написать все, что вы хотите в ячейку памяти, указываемой void* до тех пор, как:

• Это достаточно большое, чтобы держать этот тип данных
• Он достаточно выровнен для типа данных
• Считывают из этого места в соответствии с записями

Итак, это законно делать такие вещи, как:

void* first = malloc(sizeof(void*)); 
*(void**)first = second; 
.... 
void* another = *(void**)first; //Now another == second 

Но что-нибудь еще, например:

• malloc(sizeof(int*)) или malloc(4)
• void* first = &someCharArray[11]
• int* another = *(int**)first

ли реализация определяется в лучшем случае. А иногда и неопределенное поведение.

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

Answer 2

Попробуйте

#include <string.h> 
#include <stdlib.h> 

int main() 
{ 
    int memory[10]; 
    void *first = (void *)memory; 
    void *second = (void *)&memory[5]; 

    *(int *)first = (int)second; 

    return 0; 
} 

Вы можете проверить результат в памяти [0]