变量模板继承，成员函数重载

Question

我试图重写模板类http://docs.ros.org/hydro/api/rviz/html/c/message__filter__display_8h_source.html使用多种消息类型，使用变量模板。

我的第一个问题是如何使用可变模板重写下面的示例代码，以便它可以用于任意数量的模板参数，而不仅仅是2个。

我需要在家长类：

• 每个模板类型的虚拟成员函数processMessage
• 每个模板类型的每个incomingMessage的成员函数
• 每个模板类型的成员变量。（稍后将成为ROS中该消息类型主题的subscriber）

因此，如果使用2个模板类型调用，变量基类应编译为如下内容：

包括：

#include<string>
#include<sstream>
#include<iostream>
using namespace std;

工作代码（常用模板）：

template<class MessageType1,class MessageType2> class Parent{
public:

    Parent() : messages_received_(0){}

    virtual void processMessage(MessageType1 msg) = 0;
    virtual void processMessage(MessageType2 msg) = 0;

    void incomingMessage(MessageType1 msg){
        processMessage(msg);
        incr();
    }

    void incomingMessage(MessageType2 msg){
        processMessage(msg);
        incr();
    }

private:
    void incr(){
        cout<<"received "<<++messages_received_<<endl;;
    }

    MessageType1 sub1_;
    MessageType2 sub2_;

    int messages_received_;
};

不工作（可变）：

template<class... Elements> class Parent;
template<> class Parent<>{};

template<class Head, class... Tail> class Parent<Head, Tail...> : public Parent<Tail...> {
public:
    Parent() : messages_received_(0){}

    virtual void processMessage(Head msg) = 0;

    void incomingMessage(Head msg){
        processMessage(msg);
        incr();
    }

private:
    void incr(){
        cout<<"received "<<++messages_received_<<endl;;
    }

    Head sub1_;

    int messages_received_;
};

编译失败：

g++ variadic.cpp --std=c++0x
variadic.cpp: In function ‘int main()’:
variadic.cpp:52:33: error: invalid conversion from ‘int’ to ‘const char*’ [-fpermissive]
/usr/include/c++/4.6/bits/basic_string.h:485:7: error:   initializing argument 1 of ‘std::basic_string<_CharT, _Traits, _Alloc>::basic_string(const _CharT*, const _Alloc&) [with _CharT = char, _Traits = std::char_traits<char>, _Alloc = std::allocator<char>]’ [-fpermissive]

所以我猜测，不知何故，成员函数ProcMessage仅编译为ProcMessage（std::string s），而不是重载版本ProcMessage（int a）；

用法示例：

class Child : public Parent<std::string, int> {
public:
    void processMessage(std::string msg){
        cout<<"string: "<<msg<<endl;
    }

    void processMessage(int msg){
        cout<<"int: "<<msg<<endl;
    }
};

int main()
{
        Child myMfd;

        myMfd.incomingMessage(42);
        myMfd.incomingMessage("abc");

        return 0;
}

如何解决此问题？

Answer 1

子项继承父项

template<>
class Parent<int>
    : public Parent<>
{
    // ...
    virtual void processMessage(int msg) = 0;

    void incomingMessage(int msg)
    {
        processMessage(msg);
        incr();
    }
    // ...
};

template<>
class Parent<std::string, int>
    : public Parent<int>
{
    // ...
    virtual void processMessage(std::string msg) = 0;

    void incomingMessage(std::string msg)
    {
        processMessage(msg);
        incr();
    }
    // ...
};

class Child : public Parent<std::string, int>
{
    // ...

Parent

那怎么办呢只需通过“使用”它来取消隐藏超类的incomingMessage。

template<class Head, class... Tail>
class Parent<Head, Tail...>
    : public Parent<Tail...>
{
public:
    using Parent<Tail...>::incomingMessage;
    // ...

当然，虚拟根目录父目录也应该有输入消息。

template <> class Parent<>
{
public:
    // to forbid call dummy `incomingMessage`.
    class dummy_ { private: dummy_() = delete; };
    void incomingMessage(dummy_);
};

Answer 2

问题是父的一个专门化中incomingMessage的声明隐藏了基类专门化中的声明；因此，您的子类中唯一可用的重载是直接基类。

最简单的解决方案是向Parent添加一个using声明，以使所有重载可用：

using Parent<Tail...>::incomingMessage;

您还需要在“根”专门化中声明以支持这一点：

template<> struct Parent<>{
    void incomingMessage(); // No need for a definition
};

您可能还希望将消息\u接收到的消息\u移动到“根”专门化中，这样所有消息类型都有一个计数器，而不是每种类型都有一个计数器。如果您这样做，请记住它是一个依赖名称，因此派生专业将不得不将其称为this-

Answer 3

我还没有对此进行测试，但应该在以下方面进行测试：

template<typename ...Args> class Parent;

template<> class Parent<> {

public:
    void incr();
    void incomingMessage() {}
};

template<typename MessageType, typename ...Args>
class Parent<MessageType, Args...> : public Parent<Args...> {

public:
    virtual void processMessage(MessageType msg)=0;

    using Parent<Args...>::incomingMessage;
    void incomingMessage(MessageType msg)
    {
        processMessage(msg);
        this->incr();
    }
};

这并不完美，您需要从上一个类“向上传播”incomingMessage，以便它在“顶级范围”中正确解析，因此需要根超类中的丑陋incomingMessage（）。再多做一点工作，可能也有办法解决这个问题。