我可以将指向成员函数的指针转换为char数组,然后使用repret_cast返回吗

Can I convert a pointer to member function to a char array and back using reinterpret_cast?

本文关键字:然后 repret 返回 cast 数组 char 成员 函数 转换 指针 我可以      更新时间:2023-10-16

我有一些代码如下所示:

char member_data[16];
template<typename T>
void set(void (T::*member)(void)) {
    memcpy(member_data, (char*) &member, sizeof(member));
}
template<typename T>
void (T::*)(void) get() {
    void (T::*member)(void);
    memcpy((char*) &member, member_data, sizeof(member));
    return member;
}

在完整的上下文中,我可以确定set总是使用与下面的get相同的类型

这可以安全地重写为使用reinterpret_cast吗?

编辑:

这个代码的作用和上面的一样吗?

char member_data[16];
template<typename T>
using member_func = void (T::*)();
template<typename T>
void set(member_func<T> member) {
    reinterpret_cast<member_func<T>&>(member_data) = member;
}
template<typename T>
member_func<T> get() {
    return reinterpret_cast<member_func<T>&>(member_data));
}

似乎工作

您编辑的部分中的版本无效:您不能将任意char数组作为任何其他类型访问。通过使用std::aligned_storage<..>而不是普通的char阵列,可以以有效的方式实现类似的功能。

如果member_data被声明为

std::aligned_storage<sizeof(member_func<T>), alignof(member_func<T>)>::type member_data;

或(本质上等同)

alignas(member_func<T>) char member_data[sizeof(member_func<T>)];

那么您的reinterpret_cast<..>方法实际上应该有效。您可以尝试使用任何固定的member_func<some_class>,而不是依赖于模板参数的sizeofalignof表达式。对于指向不同类的成员函数的指针,实现不太可能具有不同的大小或对齐要求。如果您想要真正安全,请使用静态断言进行检查。

这可以安全地重写为使用repret_cast吗?

除了编辑中描述的内容外,仅当SomeType也是指向成员类型的指针时,才可以直接强制转换成员函数指针,如reinterpret_cast<SomeType>(member)。因此,可以选择一个指向成员函数类型的指针作为"通用成员函数指针存储",如果您所要做的只是将该值转换回原始成员指针类型。

不能将指向成员的指针转换为指向对象的指针(反之亦然)。

在这两种情况下,您的代码都是不安全的,因为如果是sizeof (void (T::*)()) > 16,它将溢出member_data缓冲区。

顺便说一句:第一个代码示例已经使用了reinterpret_cast:从void (T::**)()转换到(char*)的旧样式已经相当于reinterpret_cast;-)

相关文章: