实验性 make_array，我可以使用 brace-init 列表作为参数吗？

Question

我尝试实现 make_array 的一个版本，它不完全相同，但非常类似于：

http://en.cppreference.com/w/cpp/experimental/make_array

我发现这段代码似乎不起作用，我说得对吗？

using MyType = std::pair<int, float>;

constexpr auto the_array = make_array<MyType>({1, 7.5f});

这里的问题似乎是，即使make_array明确指定第一个模板参数，参数仍然来自参数包，这与明确指定的参数无关。

这意味着代码将不起作用。

是否有任何解决方案可以使上述代码正常工作？

我的版本

template <class Val = void, class... Args,
      class = std::enable_if_t<std::is_void<Val>{}, int>>
constexpr std::array<
std::tuple_element_t
<0,
 std::tuple<Args...>>,
sizeof...(Args)> makeArray(Args &&... args) {
    return {{std::forward<Args>(args)...}};
}

template <class Val = void, class... Args,
      class = std::enable_if_t<!std::is_void<Val>{}, int>>
constexpr std::array<
    Val,
    sizeof...(Args)> makeArray(Args &&... args) {
    return {{std::forward<Val>(args)...}};
}

Answer 1

make_array 是一个可变模板函数，它接受任何类型的参数。然后它将对这些参数执行隐式转换以获得数组的基类型。因此，除非您指定每个参数的类型，否则编译器将不得不使用模板参数推导。

并且无法推导出大括号初始化列表（在 auto 变量之外）。因此，在构造每个成员时，您必须明确提及类型名称。

实验性 make_array，我可以使用 brace-init 列表作为参数吗？

experimental make_array, can I use brace-init list as arguments?

c++

arrays

variadic-templates

c++17