Variadic模板类未完全展开

Question

我正在尝试创建类似于类型安全多队列的东西。其想法是，当我推送一个项目时，它将被添加到由相同类型的对象组成的队列中。

所有队列都将有一个公共接口(在本例中为queue_intf(，用于进行一些处理。

我得到的代码如下：

#include <queue>
#include <vector>
#include <memory>
#include <stdlib.h>
class queue_intf {
public:
virtual void process(void) = 0;
};
template <typename T>
class queue : public queue_intf {
public:
std::queue<T> q_;
static const char* name()
{
return typeid(T).name();
}
virtual void process(void) override {
printf("process: %sn", this->name());
}
void push(T &a) {
printf("push: %sn", this->name());
}
};
template <typename...>
class queues {
public:
std::vector<queue_intf *> qs_;
void process(void) {
for (auto q: this->qs_) {
q->process();
}
}
};
template <typename T, typename... Ts>
class queues<T, Ts...> : public queues<Ts...> {
public:
queue<T> q_;
queues() {
this->qs_.push_back(&this->q_);
}
void push(T &v) {
q_.push(v);
}
};
class a {
};
class b {
};
int
main (int argc, char *argv[])
{
queues<a, b> qs;
a ai;
b bi;
qs.push(ai);
qs.process();
qs.push(bi);
}

然而，当我编译它时，我得到了以下错误：

main.cc: In function ‘int main(int, char**)’:
main.cc:65:15: error: no matching function for call to ‘queues<a, b>::push(b&)’
qs.push(bi);
^
main.cc:45:10: note: candidate: void queues<T, Ts ...>::push(T&) [with T = a; Ts = {b}]
void push(T &v) {
^~~~
main.cc:45:10: note:   no known conversion for argument 1 from ‘b’ to ‘a&’

我本来希望queue类有void push(b &v)方法，但似乎没有。

知道为什么吗？

编辑：

这里有一个较小的例子(没有std:vector或任何东西(：

template <typename...>
class queues {
};
template <typename T, typename... Ts>
class queues<T, Ts...> : public queues<Ts...> {
public:
void push(T &v) {
}
};
class a {
};
class b {
};
int
main (int argc, char *argv[])
{
queues<a, b> qs;
a ai;
b bi;
qs.push(ai);
qs.push(bi);
}

Answer 1

为了解释这一点，让我们使用一个简化的例子，您只有两个类：

class base {
public:
void method(int *);
};
class derived : public base {
public:
void method(char *);
};

你试着称之为：

derived d;
int i;
d.method(&i);

这失败了。名称查找从给定的derived类开始，并查找具有指定名称的匹配类方法：method。但是它的参数不匹配，所以这是不正确的。如果derived类同时具有这两个方法，重载解析将选择匹配的方法。但是，一旦找到具有指定名称的类方法，就不会在任何父类中搜索具有相同名称的任何其他方法。只有当派生类没有任何具有指定名称的方法时，名称查找才会继续父类。

放置

using base::method;

在派生类中，将基的method导入到派生的命名空间中，此时一切都与常规重载解析一样工作。

这就是为什么您需要一个带有递归模板的using声明。第二个派生模板从第一个模板导入，下一个从第二个衍生模板导入所有内容，依此类推