Неверное преобразование из Foo ** в void ** - почему неявное преобразование типа разрешено void *, но не void **?

Question

struct Foo {}; 
... 
void * p = (Foo*)0; // OK 
void ** pp = (Foo**)0; // Invalid conversion 

Насколько я помню, указатель на любой тип не указателя может быть неявным образом перенесен на void* в C++. Почему тогда то же самое не допускается для литья ponter к типу указателя до void**?

Answer 1

Указатель может быть неявным образом переведен на void *, поскольку void * является общим указателем. Однако void ** не является общим указателем на указатель.

C FAQ 4.9 объясняет, почему нет общего указателя на тип указателя в C, я думаю, что это относится и к C++.