为什么char **（或任何T **）无效**无效？

Question

在对Python C模块的第一条评论中--Malloc 在特定版本的Python中失败 ，@ user694733提到将char**为void**无效。 我读了从Foo **到void **的无效转换 - 为什么隐式类型转换允许void *但不是void **？ 和http://c-faq.com/ptrs/genericpp.html但是有一个标准的引用，但没有真正的例子，在这种情况下，这可能是不正确的，导致错误。 考虑例如void** double**或反之亦然，是否有可能出错的情况？ 为什么（从技术上讲，不仅仅因为它是UB）？

Answer 1

如果允许，它将在类型系统中创建一个循环孔：

T* ptr;
void **vptr = &ptr; // &ptr is of type T**
int value;
*vptr = &value;     // &value is int*, can be converted to void*

此时， ptr ，根据类型系统指向T的指针，指向的value是int 。 虽然该语言允许您绕过类型系统，但您必须明确请求它。 隐式转换旨在避免此类问题。

Answer 2

最大的实际问题是多重继承。 当您使用指向具有多个基类的类的指针时，指针的实际值将取决于指针的类型，并且当您从一个指针类型分配给另一个指针类型时，编译器会插入修正代码来调整它。 当您有指向指针的指针时，编译器不再有机会执行这些修正，因此标准不允许该操作。

Answer 3

但是有一个标准的引用，但没有真正的例子，在这种情况下，这可能是不正确的，导致错误

这不准确。 页面http://c-faq.com/ptrs/genericpp.html你提到的点到另一个页面http://c-faq.com/null/machexamp.html其中包含与不同的指针尺寸不同的机器上的一个例子类型：

Data General的Eclipse MV系列有三种架构支持的指针格式（字，字和位指针），其中两个由C编译器使用：char *和void *的字节指针，以及其他所有字的指针。 由于历史原因在从16位Nova线演变32位MV线期间，字指针和字节指针在字中的不同位置具有偏移，间接和环保护位。 将不匹配的指针格式传递给函数会导致保护错误。 最终，MV C编译器添加了许多兼容性选项，以尝试处理具有指针类型不匹配错误的代码。