c++ - 如何将不同大小的数组传递给我的 C++ 函数？

Question

我不确定这是否可行，但我对想法持开放态度。

我有一个 C++ 函数。它对用户定义为输入的数组进行一些计算，并将生成两个输出值。我们称它为“myfunction”，它看起来像这样:

void myfunction(double array1[18],double array[9],double array [2],double *output1, double *output2)

我想让这个函数更通用，以便它能够接收不同大小的数组。意思是，我希望此函数的用户能够定义其他大小的数组输入。

例如，

void myfunction(double array1[81],double array[27],double array [3],double *output1, double *output2)

从数学上讲，无论数组大小如何，“myfunction”都能计算出准确的输出。我不想复制“myfunction”，因为总共有 5 组不同的数组大小可供用户定义为输入。

有什么想法吗？提前谢谢你

Answer 1

您可以传递 std::vector 或使用 template:

template <std::size_t N1, std::size_t N2, std::size_t N3> // and so on...
void work_with_arrays(double (&arr1)[N1], double (&arr2)[N2], double (&arr3)[N3]){
    std::cout << "First arr of a size: " << N1 << "\n";
    std::cout << "Second arr of a size: " << N2 << "\n";
    std::cout << "Third arr of a size: " << N3 << "\n";
};

int main() {
    double something[32];
    double fewer[13];
    double maybe_byte[8];

    work_with_arrays(something, fewer, maybe_byte);
}

代码输出:

First arr of a size: 32
Second arr of a size: 13
Third arr of a size: 8

---

解释:

我们应该知道 T[] 类型的参数(T 是任何类型)衰减 到 T*。如果我们正在处理一个指向数组的指针，我们没有关于它的长度的信息，这是非常不幸的，因为固定长度数组的长度在编译时是已知的，并且在我们使用它们的任何地方都是可见的。

还应该知道函数模板不是函数。它是用于创建函数的模板。对于上面示例中使用的每组不同的 N#，都会生成一个函数供我们使用。

衰减问题的解决方法是什么？

我们应该将引用传递给T[]，而不是传递原始的T[]。这样类型就不会衰减并且数组的大小将是已知的。

语法？

人们可能会注意到 T (&name)[some_size] 至少看起来很奇怪。括号是必需的，因为普通 T &name[size] 将被解释为 T& name[size]，这是一个引用数组，不是对数组的引用。

结论:

能够检测作为参数传递的数组的大小，我们不想将自己局限于一两种情况 - 我们希望涵盖所有，所以我们使用template 生成具有所需值的 N# 的函数。