如何正确使用 void ** 指针？

Question

我正在尝试使用双 void 指针，但我对用法有点困惑。 我有一个 struct 包含一个 void ** 数组。

struct Thing{
    void ** array;
};

struct Thing * c = malloc (sizeof(struct Thing));
c->array = malloc( 10 * sizeof(void *) );

所以如果我想为每个指针分配一个不同的对象并尝试检索值

 // Option 1
 *(c->array + index) = (void *) some_object_ptr;

 // Option 2
 c->array[index] = (void *) some_object_ptr;

然后，我有另一个函数提供指向每个单元格的(void *) item，而不是some_object_ptr。

如果我想检索some_object_ptr所指向的值，
我应该这样做吗

 function return type is 'void *' and takes argument 'void *'
 // Option 3 
 return (void**) item

 // Option 4
 return *((void**)item)?

奇怪的是，当我使用数组数组下标方法时，我不能使用选项 4，只能使用选项 3；当我使用*(c->array + index) 时，我只能使用 opt.4。而不是 opt.3。 ..

谁能告诉我这个？如果我做出任何无效的假设，请您纠正我吗？

Answer 1

万能推！

any_type x ;
void * v = * ( void * * ) & x ;

万能的拉！

void * v ;
any_type x = * ( any_type * ) & v ;

谨防丢失/获得数字

Answer 2

void ** 只是一个指向未指定类型的内存指针的指针。您只能取消引用一次（因为您不能取消引用 void *）。但是，除此之外，它基本上与任何其他指针类型一样。如果它对您有帮助，请以与 int * 相同的方式思考。

因此，根据您的具体情况，我们有：

void** array;
int arrayLen = 10;
array = (void**)malloc(arrayLen * sizeof(void*));

some_type_t* some_object_ptr;    
// The following two assignment are equivalent since in C,
// array[index] <=> *(array + index)
array[index] = (void*)some_object_ptr;
*(array + index) = (void*)some_object_ptr;

那么array是指向整个数组的指针，而*array是指向第一个元素的指针，因为它等价于array[0]。

Answer 3

您使用 void* 和 void** 的事实并不重要，指针运算仍然可以正常工作，因此您编写的两个选项都是正确的。

这是一个例子：

struct Thing
{
    void ** array;
};

struct Object
{
    int i;
    char c;
};

int main ()
{

    struct Thing * c = malloc (sizeof(struct Thing));
    c->array = malloc(10 * sizeof(void*));

    struct Object * o = malloc (sizeof(struct Object));
    o->i = 2; o->c = 'a';

    *(c->array + 2) = o;

    printf("Object: i = %d, c = %c\n", ((Object*)c->array[2])->i, ((Object*)c->array[2])->c);

    free(o);
    free(c->array);
    free(c);
    return 0;
}

因为它是void*，所以你可以在那里放置指向任何东西的指针，只是不要忘记在使用它之前将其转换为原始类型；）

Answer 4

关于指针的一个快速提示：如果你正在转换它，你可能做错了什么。

至于你的问题。我不确定你的问题是什么item。在您的第一部分中，您已经发现了如何访问数组中的成员。你可以简单地使用它：

void *get_item(Thing *c, int index)
{
    return *(c->array + index); // or return c->array[index];
}

如果需要索引处的指针地址：

void **get_item_cell(Thing *c, int index)
{
    return c->array + index; // or return &c->array[index];
}

在第二部分中，您不会取消引用指针（for + 选项），或者获取数组结果的地址，因为它会自动取消引用它。

---

编辑： 我想我现在知道你想要什么了。您的功能类似于我上面的第二个功能，但它是：

void *get_item_cell(Thing *c, int index)
{
    return (void *)(c->array + index);
}

您想取消引用从此函数返回的值，并访问该对象。在这种情况下，您只能安全地使用选项 4。由于您没有索引，因此您无法移动到任何其他单元格（您不知道您是在数组的末尾还是在开头 - 所以没有加法或减法）。只能修正上述函数的错误：强制转换为void **，然后取消引用：*(void **)item。这会给你一个void *。如果要访问从此单元格指向的对象，还需要将其转换为正确的类型：some_object_ptr *obj = *(void**)item。