c++ - 函数的参数有两种模板类型，但只关心一种

Question

我正在开发一个工作流系统，以在生产者消费者模型中将任务连接在一起。这个想法是你有一个或多个任务正在生产和消费来自彼此的数据。我已经实现了这些任务，现在我正在尝试将它们连接在一起。为了帮助管理这些任务，我创建了一个连接器类，它有效地将一个或多个生产者任务与一个或多个消费者任务连接起来。

问题是，我正在对这些类进行模板化，使得 Task<T, U>可以定义为一些具有输入类型 T(消耗 T)和输出类型 U(产生 U)的任务。

我在下面定义任务:

template <class T, class U>
class Task {
    static_assert(std::is_base_of<AbsData, T>::value, "T must derive from AbsData");
    static_assert(std::is_base_of<AbsData, U>::value, "U must derive from AbsData");
...
}

为了将两个任务连接在一起，我使用了一个连接器。这在某种程度上代表了两个任务之间的边缘。连接器有两个列表:std::list<Task<AbsData, T> *> *producerTasks;和 std::list<Task<T, AbsData> * consumerTasks; .我想要做的基本上是忽略任务的一种模板类型，并且可以说我只关心类型 T 并希望在另一个中拥有任何类型。

template <class T>
class Connector {
    static_assert(std::is_base_of<AbsData, T>::value, "T must derive from AbsData");
public:

 // Is it possible to set up a function so I effectively pass any parent AbsData, but hold onto type T?
 void addProducerTask(Task<AbsData, T> *producer) {
    this->producerTasks->push_front(producer);
    this->producerTaskCount = this->producerTasks->size();
    producer->setOutputConnector(this);
}

private:
    std::list<Task<AbsData, T> *> *producerTasks;
    std::list<Task<T, AbsData> * consumerTasks;
}

主要问题是 addProducerTask是否可以传入具有某种类型的 AbsData 和类型 T 的任务？

这是一个例子:

// FFTData inherits AbsData
Connector<FFTData> *connector = new Connector<FFTData>();
Task<FFTData, FFTData> *task = new Task<FFTData, FFTData>(...);
connector->addProducerTask(task);

此示例出现以下编译时错误:Parameter type mismatch: Class 'Task<FFTData, FFTData>' is not compatible with class 'Task<AbsData, FFTData>'

编辑:我已决定重新实现以模板化函数。

 template <class U>
 void addProducerTask(Task<U, T> *producer) {
    incrementProducerCount();
    producer->setOutputConnector(this);
}

没有必要跟踪连接器所附加的任务，而只需要确保连接器已添加到任务中，以便任务可以从连接器生成/使用数据。尽管能够拥有模板化成员变量会很好，但由于缺少类型删除，似乎需要进行此返工。

如果我想在中间添加连接器的边缘，这也很有效:

template <class Q, class R>
void addEdge(Task<Q, T> *producer, Task<T, R> *consumer) {
    producer->setOutputConnector(this);
    consumer->setInputConnector(this);

    incrementInputTaskCount();
};

Answer 1

This example gets the following compile-time error: Parameter type mismatch: Class 'Task<FFTData, FFTData>' is not compatible with class 'Task<AbsData, FFTData>'

那是因为实际 Task<AbsData, FFTData>和 Task<FFTData, FFTData>是不相关的类型，不管关系如何

// FFTData inherits AbsData

他们实际的第一类参数。

要解决此问题，您可以例如使它们相关(如果这与您设计的其他部分兼容):

#include <type_traits>
#include <list>

struct AbsData {};
struct FFTData : public AbsData{};


template <class T, class U>
class Task : public Task<AbsData, U> {
    static_assert(std::is_base_of<AbsData, T>::value, 
                  "T must derive from AbsData");
    static_assert(std::is_base_of<AbsData, U>::value, 
                  "U must derive from AbsData");
};

template <class U>
class Task<AbsData, U> {};

template <class T>
class Connector {
    static_assert(std::is_base_of<AbsData, T>::value, 
                  "T must derive from AbsData");
public:

 // Is it possible to set up a function so I effectively pass 
 // any parent AbsData, but hold onto type T?
 void addProducerTask(Task<AbsData, T> *producer) {
/*    this->producerTasks->push_front(producer);
    this->producerTaskCount = this->producerTasks->size();
    producer->setOutputConnector(this);*/
}

private:
    std::list<Task<AbsData, T> *> *producerTasks;
    std::list<Task<T, AbsData> *> consumerTasks;
};

int main() {
    Connector<FFTData> *connector = new Connector<FFTData>();
    Task<FFTData, FFTData> *task = new Task<FFTData, FFTData>();
    connector->addProducerTask(task);    

    return 0; 
}

live在 Coliru 的