将指针存储在void*中的函数指针

Question

我明白你为什么不能这样做:

void(*fp)(void) = &function;
function_taking_void_pointer((void*)fp);

因为类型的长度可能不同.

但是添加另一个间接层是否有任何问题:

void(*fp)(void) = &function;
void(**fpp)(void) = &fp;
function_taking_void_pointer((void*)fpp)

我在这背后的想法:指向函数指针的指针应指向数据存储器,因此应该与void*类型具有相同的长度.

那我有多难？

Answer 1

你是对的，所有指针类型都是对象类型：

\n\n

N1570 6.3.5 类型，第 20 段，第五列表项：

\n\n

\n

\n
• 指针类型可以派生自函数类型或对象类型，称为引用类型。指针类型描述一个对象，其值提供对所引用类型的实体的引用。从引用类型 T\n 派生的指针类型有时称为 \xe2\x80\x98\xe2\x80\x98，指向 T\xe2\x80\x99\xe2\x80\x99 的指针。从引用类型构造指针类型称为\xe2\x80\x98\xe2\x80\x98指针类型派生\xe2\x80\x99\xe2\x80\x99。指针类型是完整的对象类型。
\n

\n

\n\n

但指向对象类型的指针不一定具有与void*(6.2.5 p28) 相同的大小。

\n\n

\n

\n
28. 指向 void 的指针应与指向字符类型的指针具有相同的表示和对齐要求。⁴⁸⁾同样，指向兼容类型的限定或非限定版本的指针应具有相同的表示和对齐要求。所有指向结构类型的指针应具有相同的表示和对齐要求。所有指向联合类型的指针应具有相同的表示形式和彼此的对齐要求。指向其他类型的指针不需要具有相同的表示或对齐要求。
\n

\n

\n\n

然而，它们都可以转换为void*（6.3.2.3 p1）：

\n\n

\n

\n
1. 指向 void 的指针可以与指向任何对象类型的指针相互转换。指向任何对象类型的指针都可以转换为指向 void 的指针，然后再转换回来；比较结果应等于原始指针。
\n

\n

\n