有没有一种可扩展的方法来从 C++ 中的数组初始化结构？

Question

struct SomeStruct {
    int a;
    int b;
    int c;
    int d;
};

void main() {
    std::array<int, 4> arr {1, 2, 3, 4};
    SomeStruct someStruct { ??? }; // <------ Initialize with arr? (Ideal would be {arr})
}

如代码示例中所示，是否有一些快捷方式可以使用 arr 初始化 someStruct？而不是诉诸于：

    SomeStruct someStruct {arr[0], arr[1], arr[2], arr[3]};

Answer 1

您可以使用std::apply来创建一个参数包并在初始化程序中使用它：

auto someStruct = std::apply([](auto&&... args){return SomeStruct{decltype(args)(args)...};}, arr);

你可以把它放在一个函数中以舒适地使用它：

template<typename T, typename A>
constexpr T make_from_tuple_list_init(A&& a) {
    return std::apply([](auto&&... args){return T{decltype(args)(args)...};}, std::forward<A>(a));
}

然后将其用作

auto someStruct = make_from_tuple_list_init<SomeStruct>(arr);

这需要 C++17 和#include<tuple>，但也可以在早期的 C++ 版本中实现（需要更多的努力）。同样在 C++17 中，这保证使用复制省略，因此只会SomeStruct构造一个。在 C++17 之前，可能会涉及一些移动构造（尽管编译器已经被允许并且确实实现了具有相同效果的返回值优化）。

std::apply也有它的工作原理与每一个类型实现了效益std::get和std::tuple_size，这意味着它将会例如与工作std::array，std::tuple，std::pair和其它用户定义与接口类型。

人们可能想要制作此函数的两个版本，一个使用T{...}如上，一个使用T(...)，以便能够在列表初始化和直接初始化之间进行选择。

但是，T(...)自 C++17 以来，该版本已在标准库中实现为std::make_from_tuple. 在 C++20 中，聚合初始化也适用于括号，因此std::make_from_tuple将直接适用于您的情况。

对于 C++14 实现，请从cppreference 的页面上std::make_from_tuple获取此示例：

namespace detail {
template <class T, class Tuple, std::size_t... I>
constexpr T make_from_tuple_impl( Tuple&& t, std::index_sequence<I...> )
{
  return T(std::get<I>(std::forward<Tuple>(t))...);
}
} // namespace detail

template <class T, class Tuple>
constexpr T make_from_tuple( Tuple&& t )
{
   return detail::make_from_tuple_impl<T>(std::forward<Tuple>(t),
       std::make_index_sequence<std::tuple_size_v<std::remove_reference_t<Tuple>>>{});
}

并替换std::tuple_size_v<...>为std::tuple_size<...>::value.

这是针对T(...)版本的。您需要替换T(...)为T{...}以获得T{...}我在上面实现的版本。