C中什么时候需要铸造空指针？

Question

我一直在看米切尔、奥尔德姆和塞缪尔的高级Linux编程。我在pthread的章节中看到了一些让我困惑的关于空指针和铸造的内容。

将参数传递给pthread_create（），它们不会将指针强制转换为空指针，即使这是函数所期望的。

pthread_create( &thread, NULL, &compute_prime, &which_prime );

这里，which_prime类型为int。

但是使用pthread_join从线程返回一个值，它们会将变量强制转换为void指针。

pthread_join( thread, (void*) &prime );

这里，prime也是int类型。

为什么铸造是在第二次而不是在第一次？

Answer 1

在C语言中，从任何指针类型转换为void*，反之亦然，都是隐式完成的。在第二个示例中，不需要强制转换。

（请注意，在C中，将任何指针转换为void*也是隐式的（除了不能转换为void*的函数指针和函数成员/方法指针），但是转换回需要显式转换。）

Answer 2

无需从或向C中指向void的指针强制转换：

6.3.2.3指针

1一个指针可以转换为或从指针到任何不完整或对象类型。指向任何不完整或对象类型的指针可以转换为空指针并再次返回；结果应等于原始指针。

唯一的例外是

• 当使用“%p”转换说明符打印指针时，因为它仅为void*定义

Answer 3

第二个例子是一个很好的例子，说明了为什么强制转换为void*通常是一个错误。应该是

void *primep = ′  // no cast needed
pthread_join(thread, &primep);

因为pthread\u join将void**作为其第二个参数。void*只确保bug通过编译器，因为void*会自动转换为void**。

那么，什么时候需要强制转换到space*或back：

• 使用存储为整数的指针时（（u）intptr\u t）