如何转发标准::initializer_list<T>?

How to forward std::initializer_list<T>?

本文关键字:list gt lt initializer 何转发 转发 标准      更新时间:2023-10-16

我正在尝试转发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) ...} {}
};