是否可以以编程方式初始化 constexpr std::array 成员

Is it possible to initialize constexpr std::array member in a programtic way

本文关键字：std 成员 array constexpr 初始化 编程 方式 是否      更新时间：2023-10-16

>假设我想编写具有成员constexpr std：：array的结构，其中包含前N 个fibs，其中N是模板参数。

像这样的东西，但在编译时可以使用 vals：

template <int N>
struct first_n_fibs {
static_assert(N>0);
static const std::array<int, N> vals;
static std::array<int, N> init_fibs(){
std::array<int,N> result;
if (N==1) {
return std::array<int,N>{1};
} else {
result[0]=1;
result[1]=1;
for(int i =2; i<N;++i) {
result[i]=result[i-2]+result[i-1];
}
}
return result;
}
};
template<int N>
const std::array<int, N> first_n_fibs<N>::vals=init_fibs();

int main(){
std::cout << first_n_fibs<2>::vals.back() << std::endl;
std::cout << first_n_fibs<5>::vals.back() << std::endl;
std::cout << first_n_fibs<6>::vals.back() << std::endl;
}

我怀疑没有解决方法，因为 std：：array 构造函数不是 constexpr，所以如果有人知道任何涉及 C 数组或提升的解决方法，我会很高兴。

你不需要任何特别的东西，constexpr功能要求现在非常宽松：

#include <iostream>
#include <array>
template <int N> constexpr std::array<int, N> first_n_fibs()
{
std::array<int, N> ret{};
ret[0] = 0;
if (N == 1) return ret;
ret[1] = 1;
for (int i = 2; i < N; i++)
ret[i] = ret[i-2] + ret[i-1];
return ret;
}
int main()
{
constexpr auto a = first_n_fibs<3>();
}

(现场试用(

std::array构造函数不是 constexpr

显然它根本没有用户定义的构造函数，因此没有什么可以阻止其构造constexpr。

你可以立即使用调用的lambda：

struct foo {
static constexpr auto arr = []{
std::array<int, 6> a{};
for (auto& e : a) {
// stuff
}
return a;
}();
};

但正如 HolyBlackCat 所说，std::arrayconstexpr 是可构造的，因为它没有定义的构造函数，只有编译器定义的构造函数。

这是科里鲁的现场例子

相关文章：