c++ - 可变参数模板类未完全展开
问题描述
我正在尝试创建类似于类型安全的多队列的东西。这个想法是,当我推送一个项目时,它将被添加到由相同类型的对象组成的队列中。
所有队列都有一个通用接口(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: %s\n", this->name());
}
void push(T &a) {
printf("push: %s\n", 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);
}
解决方案
为了解释这一点,让我们用一个简化的例子,你只有两个类:
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
使用递归模板进行声明的原因。第二个派生模板从第一个模板导入它,下一个模板从第二个派生模板导入所有内容,依此类推。
推荐阅读
- javascript - 列表
- 使用 load() 时排序不起作用
- reactjs - How to console.log the state after it is updated in React in a second callback?
- python - Segmentation Fault on mysql.connector.connect() only during git action pytest
- solr - Solr SIH: Document is missing mandatory uniqueKey field: id
- visual-studio-code - How to compile a C program that includes `math.h` using vscode code-runner extension?
- opl - Return the maximum value of a variable array C-plex
- c - Typecasting in C for each of the variables
- spring-boot - Redis 无法反序列化对象
- javascript - count value of single subject from checkbox's data-id which is in string format separated by commas
- python - python help loop for to create dictionary