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>表达式。对于指向不同类的成员函数的指针，实现具有不同的大小或对齐要求是极不可能的。如果您想要非常安全，请使用静态断言进行检查。

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

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

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

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

顺便说一句：第一个已经的代码示例使用reinterpret_cast：来自(char*)的{{1}}的旧式广告已经等同于void (T::**)(); - ）

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

编辑：

1 个答案: