1

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

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

似乎工作

4

1 回答 1

4

您在编辑部分中拥有的版本无效：您不能像访问任何其他类型一样访问任意数组。 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的. 对于指向不同类的成员函数的指针，实现具有不同大小或对齐要求的可能性极小。如果您想真正安全，请使用静态断言进行检查。alignofmember_func<some_class>

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

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

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

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

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

于 2013-02-15T17:24:55.290 回答