我正在尝试转发std::initializer_list
,但
no known conversion from 'std::initializer_list<A>' to 'std::initializer_list<B>'
这是测试代码
#include <iostream>
class B {
};
class A: public B {
};
class not_working {
private:
void fun(std::initializer_list<B> p) {
}
public:
template<typename T>
not_working(std::initializer_list<T> args) {
fun(args);
}
};
class working {
private:
void fun(std::initializer_list<B> p) {
}
public:
working(std::initializer_list<B> args) {
fun(args);
}
};
int main(){
working{A{}, A{}};
//not_working{A{}, A{}};
}
如何转发std::initializer_list
没有显式铸造not_working{(B)A{}, (B)A{}};
?
为什么这对我来说是个问题
我有一个代理类,它将构造函数参数转发到一个类。类似这样的东西:
template<typename T>
class proxy {
T real;
template<typename S> proxy(std::initializer_list<S> p): real(p) {}
template<typename S...> proxy(S ... p): real(p ...) {}
};
不能,原因与不能将std::vector<A>
强制转换为std::vector<B>
的原因相同。不同类型的容器完全不相关。
"更改"容器类型的唯一方法是构造一个新类型的新容器(例如,std::vector<B>(a.begin(), a.end())
——但要小心切片!)。
发布问题评论的答案以提高解决方案的可见性:
标准解决方案是使用std::forward。转发初始值设定项列表失败。
template<typename T>
class proxy {
T real;
public:
template<typename ... S> proxy(S ... p): real{std::forward<S>(args)...} {}
};
使用std::move,也可以与std::initializer_list(由@dyp提供)一起使用:
template<typename T>
class proxy {
T real;
public:
template<typename ... S> proxy(S ... p): real{std::move(p) ...} {}
};