您不能通过创建一个返回一个的 constexpr 函数来创建一个 constexpr 数组吗？

Question

我想在编译时构造一个数组值，并在网上看到多个来源建议使用带有 constexpr 构造函数的结构：

template<int N>
struct A {
    constexpr A() : arr() {
        for (auto i = 0; i != N; ++i)
            arr[i] = i; 
    }
    int arr[N];
};

int main() {
    constexpr auto a = A<4>();
    for (auto x : a.arr)
        std::cout << x << '\n';
}

这只是旧的建议（可能是 C++17 之前的建议？）还是我错过了什么，因为在我看来我可以做到以下几点：

constexpr std::array<int, 4> get_ary() {
    std::array<int, 4> ary = {};
    for (int i = 0; i < 4; ++i) {
        ary[i] = i;
    }
    return ary;
}

int main() {
    constexpr auto ary = get_ary();
    static_assert(ary.size() == 4, "The length should be 4!");
}

Answer 1

你不能通过创建一个返回 1 的 constexpr 函数来创建一个 constexpr 数组吗？

不，你不能从一个函数中返回一个数组，不管它是不是 constexpr。

但是，您可以返回包含数组作为成员的类的实例。您的A 是此类模板的一个示例，std::array 也是如此。这两个例子都是允许的。

std::array 示例在 C++17 之前无法运行。返回没有问题，但使用非constexpr operator[]有问题。