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

可以安全地重写它以使用 reinterpret_cast 吗？

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

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

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

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