C++如何在编译期创建变量作为constexpr方法的入参

• 你在constexpr成员函数operator+内定义的result_array是普通局部变量，不属于编译期常量，无法用于初始化要求编译期值确定的constexpr变量zeros。
• countLeadingZeros是非静态成员函数，调用时会隐式使用this指针，而constexpr变量初始化的语境下不允许使用this指针。

C++20及以上版本可以通过以下修改实现需求：

1. 将countLeadingZeros改为静态constexpr函数，消除对this指针的依赖。
2. 用立即调用的constexpr lambda包裹整个加法、零值计算、返回值构造逻辑，让整个运算过程都在编译期常量语境下执行，这样计算得到的零值数量可以直接用于确定返回数组的长度。
   额外说明：你当前的countLeadingZeros实现是统计数组内所有零的数量，和函数名的「前导零」语义不符，以下代码保留了你原有的逻辑，若需要前导零统计可自行修改循环判断规则。

#include <array>
#include <cstdint>
#include <algorithm>
#include <type_traits>

template<typename T, std::size_t N>
struct A {
    std::array<T, N> arr;
    constexpr A(std::initializer_list<T> a) {
        std::copy(a.begin(), a.end(), arr.begin());
    }
    constexpr A(const auto& rhs) {
        std::copy(rhs.begin(), rhs.end(), arr.begin());
    }
    // 改为静态constexpr函数，消除this依赖
    static constexpr std::size_t countZeros(const auto& arr) {
        std::size_t count = 0;
        for (std::size_t i = 0; i < arr.size(); i++) {
            if (arr[i] == 0) { count++; }
        }
        return count;
    }
    constexpr auto operator+(A rhs) const {
        // 立即调用constexpr lambda，整个运算在编译期完成
        return [&]<std::size_t... Is>(std::index_sequence<Is...>) {
            // 编译期构造结果数组
            constexpr std::array<T, N> result_array = { (arr[Is] + rhs.arr[Is])... };
            // 编译期计算零的数量
            constexpr std::size_t zeros = countZeros(result_array);
            // 构造返回对象
            std::array<T, zeros> ret_arr{};
            return A<T, zeros>(ret_arr);
        }(std::make_index_sequence<N>{});
    }
};

template<typename ... T>
A(T...) -> A<std::common_type_t<T...>, sizeof...(T)>;

int main() {
    constexpr A a{1, 2, 3}; 
    constexpr A b{4, 5, 6};
    // 此时a+b的结果是A<int, 0>，符合预期
    constexpr A c = a + b;
    return 0;
}

• 用模板lambda配合std::index_sequence把数组元素的加法展开为编译期常量表达式，构造的result_array本身就是constexpr变量，满足编译期取值的要求。
• 零值计数zeros现在是在lambda的constexpr语境下初始化，编译器可以直接在编译期确定其值，作为返回数组的长度参数合法。

内容的提问来源于stack exchange，提问作者apopa