Reinterpret_cast转换为函数指针

reinterpret_cast to function pointer

本文关键字：函数 指针 转换 cast Reinterpret      更新时间：2023-10-16

这是我为reinterpret_cast<T>实验编写的代码

#include <iostream>
#include <cstdlib>
using std::cout;
using std::endl;
int foo()
{
    cout << "foo" << endl;
    return 0;
}
void (*bar)();
int main()
{
    bar = reinterpret_cast<void (*)()>(foo); //Convertion a function type to a pointer to function type
    bar(); //displays foo. Is it UB?
}

首先，为什么允许这样的reinterpret_cast转换?我认为这样的转换是错误的。

标准(c++ 11§5.2.10/6)说

指向函数的指针可以显式地转换为指向其他类型函数的指针。通过指向与函数定义中使用的类型不同的函数类型的指针调用函数的效果是未定义的。除了将"指针指向T1"类型的右值转换为"指针指向T2"类型(其中T1和T2是函数类型)并返回到其原始类型将产生原始指针值之外，这种指针转换的结果是未指定的。

所以这是未定义行为。

通过转换为不同函数类型的指针进行正式调用是未定义行为(c++ 11§5.2.10/6)。

在实践中，您正在丢弃类型为int的函数结果，该结果将在寄存器中返回。因此，当您通过强制转换指针调用时，可能发生的最坏情况是，与编译器的期望相反，寄存器的值发生了变化。

另一个实际考虑:c++不支持函数指针和数据指针之间的强制转换，但Posix有效地要求强制转换到void*并返回正常工作。c++的限制大概是为了支持哈佛架构的机器，在这种机器中，指令不像普通数据那样通过相同的总线和内存来检索。但是Posix的往返也可以在这样的架构下工作，除非数据地址空间比指令地址空间小得多。

相关文章：