FFTW动态数组批量分配：可变参数函数优化与折叠表达式替代

如果你需要兼容C++17之前的标准，或者单纯想避免使用折叠表达式，有几种可行的替代方案，核心都是手动展开参数包：

1. 递归展开参数包（C++11/14兼容） #

这是C++17之前处理可变参数的经典方式，通过递归函数逐步处理每个数组参数：

基础终止函数 #

先定义递归的终止条件，当参数包为空时触发：

void init_arrays() {} // 递归终止点

递归处理函数 #

定义递归版本，每次处理一个数组后，递归处理剩余参数：

template<typename T, typename... Rest>
void init_arrays(T*& arr, size_t size, T init_val, Rest&&... rest) {
    // 分配当前数组内存
    arr = static_cast<T*>(fftw_malloc(size * sizeof(T)));
    if (!arr) {
        std::abort(); // 可替换为自定义错误处理逻辑
    }
    // 初始化数组
    std::fill(arr, arr + size, init_val);
    
    // 递归处理剩余参数
    init_arrays(std::forward<Rest>(rest)...);
}

使用示例 #

调用时按「数组指针引用、大小、初始化值」的顺序传入多个数组参数：

double* global_arr1;
float* global_arr2;

// 初始化两个数组：arr1大小100，值0.0；arr2大小200，值1.0f
init_arrays(global_arr1, 100, 0.0, global_arr2, 200, 1.0f);

2. 利用初始化列表展开参数包（C++11技巧） #

借助std::initializer_list的构造特性，用逗号表达式在初始化列表里隐式展开参数包，无需递归：

// 先保留你已实现的单个数组处理函数
template<typename T>
void init_array(T*& arr, size_t size, T init_val) {
    arr = static_cast<T*>(fftw_malloc(size * sizeof(T)));
    if (!arr) std::abort();
    std::fill(arr, arr + size, init_val);
}

// 可变参数版本
template<typename T, typename... Args>
void init_arrays(T init_val, Args&&... args) {
    // 用初始化列表触发逗号表达式展开，依次处理每个数组
    [[maybe_unused]] auto dummy = {
        (init_array(std::forward<Args>(args), init_val), 0)...
    };
}

原理说明 #

这里的dummy变量仅用于触发初始化列表构造，逗号表达式会先执行init_array调用，再返回0，整个初始化列表会逐个处理参数包中的数组参数。[[maybe_unused]]用来消除编译器对未使用变量的警告。

方案对比 #

• 折叠表达式：C++17及以上环境下最简洁的写法，语法直观、可读性最高，推荐优先使用。
• 递归展开：兼容C++11/14，但需要额外编写终止函数，代码稍显繁琐，适合旧标准环境。
• 初始化列表展开：同样兼容C++11，代码比递归紧凑，但依赖逗号表达式特性，可读性略低于折叠表达式。

如果你的项目已经支持C++17或更高版本，折叠表达式其实是最优选择——它没有冗余代码，意图清晰。只有在需要兼容旧标准时，才需要考虑上述替代方案。

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