在可变参数构造函数中初始化常量数组

Initialize const array in a variadic constructor

本文关键字：初始化 常量 数组 构造函数 变参 参数      更新时间：2023-10-16

我想从可变参数初始化一个常量数组。但是使用此代码，仅初始化值数组中的第一个值，其余值为零。我该如何解决它？

我从未处理过可变参数，我不知道它们基本上是如何工作的。

struct Object
{
const int values[8];
constexpr Object()
: values{}
{}
constexpr Object(int values...)
: values{values}
{}
}
// in main.cpp :
Object o = { 1, 2, 3 };

附加问题：我可以编写一个类模板并使其数组大小等于可变参数计数吗？

要修复第一个代码，您可以编写：

template<class ... Values>
constexpr Object(Values ... values)
: values{values...}
{
static_assert(sizeof...(values) == 8);
}

关于您的其他问题：

template<int ... ints>
struct Object2
{
const int values[sizeof...(ints)]{ints...};
};
Object2<1,21,3> o2; // array with 3 elements
std::cout << o2.values[1] << std::endl; // 21

数组的大小需要在编译时知道。因此，在调用构造函数时无法指定数组的长度，为时已晚。但是，在实例化模板时可以使用非类型参数。

演示

自 C++17 起，我们可以利用用户定义的演绎指南：

template <class T, size_t N>
class Object
{
T d_[N];
public:
Object() = default;
template <class... Ts>
constexpr Object(Ts... others) : d_{others...} {}
constexpr auto size() const noexcept { return N; }
constexpr auto operator[] (size_t i) const noexcept { return d_[i]; }
};
// Deduction guide
template <class T, class... Ts> Object(T, Ts...) -> Object<T, 1 + sizeof...(Ts)>;

住在这里。

相关文章：