通过转发构造函数参数构建基于可变参数模板的 mixin

我正在尝试构建一个 mixin 模板，其基础全部作为可变参数模板参数传递。我想通过将每个 mixin 类的构造函数参数作为参数传递给可变参数模板构造函数来构造 mixin

当使用每个 mixin 类类型的对象调用时，可变参数模板构造函数会进行编译。但是如果我传递每个 mixin 类的构造函数参数（所有类都有一个参数构造函数），它就不会编译

我正在使用 gcc 7.0 和 -std=c++1z

我究竟做错了什么？

 #include <vector>
 #include <string>
 #include <unordered_map>
 #include <iostream>

 template < typename... T >
 struct Mixin : T...
 {
     Mixin() = delete;
     Mixin(Mixin const &) = delete;
     Mixin(Mixin &&) = delete;

     template < typename... U >
     Mixin(U &&... v) : T(std::forward < U >(v))...
     {
     }
 };

 int main()
 {
     using A = std::vector < std::string >;
     using B = std::unordered_map < std::string, std::string >;
     using C = std::string;
     using M = Mixin < A, B, C >;

     //  This doesn't compile
     M m1{{"hello", "world"}, { {"hello",  "world" }, {"world",  "hello"} }, "hello"};

     //  This compiles
     A a({"hello", "world"}); B b({ {"hello",  "world" }, {"world",  "hello"} }); C c("hello");
     M m2{a, b, c};
 }

这里的问题是std::initializer_list不能从转发参考。事实上，明确指定std::initializer_list使您的代码编译：

M m1{
    std::initializer_list<std::string>{"hello", "world"}, 
    std::initializer_list<std::pair<const std::string, std::string>>{{"hello",  "world" },{"world",  "hello"} }, 
    "hello"};

魔杖盒示例 http://melpon.org/wandbox/permlink/eqRqGmU3sRPuqux8

您可以找到有关以下内容的更多信息std::initializer_list和扣除在这个问题中 https://stackoverflow.com/questions/12431495/initializer-list-and-template-type-deduction.

您可以强制扣除std::initializer_list通过创建一个助手make_il功能：

template <typename... Ts>
auto make_il(Ts&&... xs) 
{ 
    return std::initializer_list<std::common_type_t<Ts...>>{
        std::forward<Ts>(xs)...}; 
}

您的最终代码将如下所示：

using namespace std::literals::string_literals;          
using kvp = std::pair<const std::string, std::string>;

M m1{
    make_il("hello"s, "world"s), 
    make_il(kvp("hello"s,  "world"s), kvp("world"s,  "hello"s)), 
    "hello"};

魔杖盒示例 http://melpon.org/wandbox/permlink/EKjdtlIY2ZW912bl