0

我写了一个类来存储一个函数指针或一个成员函数指针（不能同时存储两者）。当我存储成员函数指针时，我也存储了一个对象指针（接收器）。

问题是：我事先不知道对象的类型和函数签名，所以我使用模板类型名。对于参数，我使用可变参数模板。

我有一个类似的代码：

template <typename... Args>
class A
{
public:
    template <typename Object, typename Ret>
    A (Object *receiver, Ret (Object::*mem)(Args...)); // store the member function pointer

    template <typename Ret>
    A (Ret (*function)(Args...)); // store the global function pointer

    void operator()(Args... args) const; // to call the function pointer
    // ... more public stuff ...

private:
    class UndefinedClass;
    typedef void (Undefined::*MemFunPtrType)(Args...)

    union
    {
        struct
        {
            MemFunPtrType memFunPtr; // the stored member function
            void *receiverPtr; // the receiver object
            void (*call)(void *, MemFunPtrType, Args...);
        } member;

        void (*funPtr)(Args...); // the stored global function
    };

    enum class Type {Function, Member} type;
};

由于只需要一个全局函数或成员函数，因此我将所有内容都放在union.

在构造函数中，我将成员函数mem转换为 avoid (Undefined::*)(Args...)并存储它。我从 std::function 的实现中获得了这个技巧。

使用没有捕获的 lambda，我再次转换为原始类型，对象和函数，我称之为：

typedef Ret (Object::*OriginalMemberType)(Args...);
// ...
member.call = [] (void *receiver, MemFunPtrType memFun, Args... args)
{
    (static_cast<Object*>(receiver)->*reinterpret_cast<OriginalMemberType>(memFun))(args...);
}

我将此 lambda 存储在call函数指针中以在内部调用它operator()。使用 if-else 语句比较类型数据，然后调用正确的指针。

我知道这有点烦人，但它确实有效。我有很多测试，都通过了。但我担心严格的混叠问题。我做了很多指针转换，我不确定这是否属于未定义的行为。

问题：是否允许从Ret (Object::*)(Args...)to 转换void (UndefinedClass::*)(Args...)？（Ret，Object和Args是模板参数）注意我从来没有在没有再次转换为原始类型的情况下调用对象。它仅用于存储。

问题::我必须用 编译-fno-strict-aliasing吗？如果我必须，而且这是一个模板类，我应该-fno-strict-aliasing在每个项目中使用这个类吗？char也许我可以使用一个长度数组sizeof(void (UndefinedClass::*)(Args...))或类似的东西。

笔记：

  1. 我在 Archlinux 中使用 gcc 4.8.1。我使用 C++11。
  2. 我没有在这里使用 std::function 只是为了将占位符与 std::bind 一起使用（我不知道所需的占位符的数量）。毕竟这是一个很好的实践和学习。如果您知道如何使用 std::function 执行此操作，非常欢迎回答。
  3. 实际上，我在 std::vector 中使用这个类来调用相同签名的许多“回调”（信号/插槽类框架）。

太感谢了。如果需要，我会澄清这个混乱的任何方面:)

4

1 回答 1

1

只要您不使用错误的指针类型访问地址。你没有违反规则。所以这不是问题。如果您通过错误的双关指针访问它，则您只是违反了规则，该指针可能会被视为相似但不相同的另一种类型。也许您已经使用了 FreeBSD 套接字，它们在函数 bind() 中也抛出了一个严格的别名警告，因为您将 sockadr_in 转换为 sockadr 并在其中将其转换回实现对应的类型。警告说它可能会违反规则，但实施会阻止它这样做。正如这个问题中所描述的那样：Berkley Sockets，打破别名规则？

如果你甚至不确定你会去，你也可以对 char* 进行强制转换。因为（从 c99 开始，我猜它在 c++ 标准中应该是相同的） char* 允许为任何东西命名。因此，当您使用 c++ 时，您甚至可以处理从不同类型到 char 的模板转换并返回到函数内部。（好吧，如果您的函数不是仅供 itnern 使用，那么 char* 演员表不是一个好主意。）

于 2013-08-21T13:23:58.110 回答