Question

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

Answer 1

你不能，原因与为什么你也无法将std::vector<A>投射到std::vector<B>的原因相同。不同类型的容器完全无关。

改变＆＃34;的唯一方法容器的类型是构造一个新类型的新容器（例如，std::vector<B>(a.begin(), a.end()) - 但要注意切片！）。

Answer 2

发布问题评论的答案，以提高解决方案的可见性：

标准解决方案是使用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) ...} {}
};

如何转发std :: initializer_list <t>？</t>

为什么这对我来说是一个问题？

2 个答案: