能否在编译时遍历constexpr数组并对每个元素执行constexpr操作？

可以实现编译时遍历constexpr C数组、std::array甚至C20的std::vector，并对每个元素执行constexpr操作（比如static_assert验证）。常规range-based for循环无法直接在非constexpr上下文（比如main函数）中配合static_assert完成编译时验证，需要借助constexpr函数或模板元编程手段。以下是针对不同场景的具体实现，均兼容Microsoft Visual Studio 2022（需开启对应C标准）：

方法1：C++17折叠表达式+索引序列（兼容C数组/std::array） #

利用模板生成编译时索引序列，通过折叠表达式展开对每个元素的操作，适合C++17及以上标准：

#include <string_view>
#include <utility>
#include <array>
using namespace std::string_view_literals;

// constexpr C数组
constexpr std::string_view c_arr[] = {"ab"sv, "xyz"sv};
// constexpr std::array
constexpr std::array<std::string_view, 2> std_arr = {"ab"sv, "xyz"sv};

// 通用编译时遍历函数：处理C数组
template <typename T, std::size_t N, typename Func>
constexpr void iterate_c_array(const T (&arr)[N], Func&& func) {
    // 用索引序列展开每个元素的操作
    [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        (func(arr[Is]), ...);
    }(std::make_index_sequence<N>{});
}

// 通用编译时遍历函数：处理std::array
template <typename T, std::size_t N, typename Func>
constexpr void iterate_std_array(const std::array<T, N>& arr, Func&& func) {
    [&]<std::size_t... Is>(std::index_sequence<Is...>) {
        (func(arr[Is]), ...);
    }(std::make_index_sequence<N>{});
}

// 验证逻辑：替换为任意constexpr操作
constexpr bool validate_elements() {
    bool all_valid = true;
    // 遍历C数组
    iterate_c_array(c_arr, [&](auto elem) {
        static_assert(elem == "xyz"sv, "元素必须为'xyz'");
        all_valid &= (elem == "xyz"sv);
    });
    // 遍历std::array
    iterate_std_array(std_arr, [&](auto elem) {
        static_assert(elem == "xyz"sv, "元素必须为'xyz'");
        all_valid &= (elem == "xyz"sv);
    });
    return all_valid;
}

// 触发编译时验证：若验证失败，编译阶段直接报错
constexpr bool validation_ok = validate_elements();

int main() {
    return 0;
}

方法2：C++20 constexpr for循环（更简洁） #

C++20允许在constexpr函数中使用常规for循环，直接遍历数组元素，代码更直观：

#include <string_view>
#include <array>
#include <vector>
using namespace std::string_view_literals;

constexpr std::string_view c_arr[] = {"ab"sv, "xyz"sv};
constexpr std::array<std::string_view, 2> std_arr = {"ab"sv, "xyz"sv};

// 验证C数组
constexpr void validate_c_array() {
    for (const auto& elem : c_arr) {
        static_assert(elem == "xyz"sv, "元素必须为'xyz'");
    }
}

// 验证std::array
constexpr void validate_std_array() {
    for (const auto& elem : std_arr) {
        static_assert(elem == "xyz"sv, "元素必须为'xyz'");
    }
}

// C++20 constexpr std::vector的编译时验证
constexpr auto create_constexpr_vector() {
    std::vector<std::string_view> vec = {"ab"sv, "xyz"sv};
    return vec;
}

constexpr void validate_vector(const std::vector<std::string_view>& vec) {
    for (const auto& elem : vec) {
        static_assert(elem == "xyz"sv, "元素必须为'xyz'");
    }
}

// 触发编译时验证
constexpr auto dummy1 = []{ validate_c_array(); return 0; }();
constexpr auto dummy2 = []{ validate_std_array(); return 0; }();
constexpr auto vec = create_constexpr_vector();
constexpr auto dummy3 = []{ validate_vector(vec); return 0; }();

int main() {
    return 0;
}

注意事项 #

• std::vector的编译时支持仅限C++20及以上，且VS2022需开启/std:c++20或更高标准；编译时vector的元素必须满足constexpr构造要求。
• 所有验证逻辑必须在constexpr/consteval上下文中执行，才能确保编译时触发操作；直接在main函数中写for循环配合static_assert无法生效，因为main的执行默认是运行时上下文（即使C++20允许constexpr main，循环迭代也不会被编译时展开）。

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