c++ - 我可以使用 reinterpret_cast 将指向成员函数的指针转换为 char 数组并返回吗？

Question

我有一些看起来像这样的代码:

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));
}

Seems to work

Answer 1

您编辑部分的版本无效:您无法访问任意 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<..>方法应该确实有效。而不是模板参数依赖 sizeof和 alignof表达式，您可以尝试使用任何固定的 member_func<some_class> .一个实现对指向不同类的成员函数的指针具有不同的大小或对齐要求的可能性很小。如果您想要真正安全，请使用静态断言进行检查。

Can this be safely rewritten to use reinterpret_cast?

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

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

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

顺便说一句:第一个代码示例已经使用了reinterpret_cast : 旧式转换为(char*)来自 void (T::**)()已经等同于 reinterpret_cast ;-)