如何使用 boost 中的模板相关信号成员来实现模板类？

Question

我尝试实现一个模板类，它需要有一个依赖于模板参数的信号成员。我的第一个想法是像下面这样实现它：

template<class T>
class SignalClass 
{
    typedef boost::signals2::signal<void (T &)> OnReceive;

public:
    SignalClass(const OnReceive::slot_type &_slot)
    {
       m_onReceive.cnnect(_slot);
    }
    virtual SignalClass(){};

    void Send(T &_val)
    {
       m_onReceive(_val);
    }
private:
    OnReceive m_onReceive;
};

该类应该像这样使用：（

class SignaledClass
{
public:
    SignaledClass(void)
    {   
       SignalClass<int>    var1(boost::bind(&SignaledClass::ReceiveINT, this));
       SignalClass<double> var2(boost::bind(&SignaledClass::ReceiveDOUBLE, this));
    }

   void ReceiveINT(int &_val)
   {
      ...
   }

   void ReceiveDOUBLE(double &_val)
   {
      ...
   }
}

顺便说一句：我知道，在构造函数内部创建 SignalClass 对象是没有意义的。这只是为了理解我的问题。

）对我来说，以模板作为信号参数来实现类似委托的概念很重要。

问题是构造函数代码不起作用。

但我找到了一个解决方案。

如果我另外指定一个额外的 typedef

typedef typename OnReceive::slot_type slot_type;

并将其用作构造函数的参数，就像

PushInputSlot(const slot_type& _slot);

它一样有效。 但我不知道为什么。

我希望有人能帮助我。

谢谢， Frank

P.S.：我是 stackoverflow 的新手，这就是为什么我不熟悉这里的规则。希望我以正确的方式完成了一切......;-)......

Answer 1

以下是添加 typename（直接在构造函数参数中或在附加 typedef 中）起作用的原因：

首先，类型 OnReceive 是所谓的“依赖类型” ，因为它取决于模板参数的类型。

然后，模板在编译器中分两个阶段进行处理：第一阶段是编译器遇到模板的源文本时，第二阶段是模板实际实例化时。
在处理的第一阶段，编译器将（应该）尝试尽可能验证模板定义是否正确，但是当涉及依赖类型时，它会遇到问题。由于依赖类型依赖于模板参数，因此编译器不知道实际类型会是什么样子。
特别是，当使用 :: 运算符访问成员时，编译器需要一些帮助来确定该成员是引用成员类型（typedef 或嵌套类）还是非类型成员（变量、枚举等）。如果您知道它应该引用类型，则可以通过在（完整）类型名称之前添加 typename 来解决此问题。
编译器可能遇到问题的另一个地方是区分小于比较中涉及的成员模板和非模板成员。通过在成员模板名称之前（紧接在运算符之后）添加关键字 template 可以解决此问题。