C++函数的默认参数是如何传递的？

Question

假设我有以下代码：

#include <iostream>

using namespace std;

int defaultvalue[] = {1,2};
int fun(int * arg = defaultvalue)
{
    arg[0] += 1;
    return arg[0];
}

int main()
{
   cout << fun() << endl;
   cout << fun() << endl;

   return 0;
}

结果是：

2
3

这是有道理的，因为指针 *arg 操纵了数组 defaultvalue。但是，如果我将代码更改为：

#include <iostream>

using namespace std;

int defaultvalue[] = {1,2};

int fun(int arg[] = defaultvalue)
{
    arg[0] += 1;
    return arg[0];
}

int main()
{
   cout << fun() << endl;
   cout << fun() << endl;

   return 0;
}

但结果还是：

2
3

此外，当我打印出defaultvalue:

cout << defaultvalue[0] <<endl;

原来是 3。

我的问题是，在第二个例子中，函数参数是否应该按值传递，这样arg的变化对defaultvalue没有影响？

Answer 1

我的问题是，在第二个例子中，函数参数是否应该按值传递，这样arg的变化对defaultvalue没有影响？

没有。

不可能通过值传递数组（非常感谢，C！）所以，作为“妥协”（阅读：设计失败），函数参数列表中的int[]实际上意味着int*。所以你的两个程序是相同的。即使写 int[5] 或 int[24] 或 int[999] 实际上意味着 int*。可笑，不是吗？！

在 C++ 中，我们更喜欢将 std::array 用于数组：它是一个数组包装类，具有适当的对象语义，包括可复制。您可以将它们按值传递给函数。

确实，std::array 的引入主要是为了让这些愚蠢而令人惊讶的原生数组语义过时。

Answer 2

当我们像这样声明一个函数时

int func(int* arg);

或者这个

int (func(int arg[])

它们在技术上是相同的。这是表达能力的问题。在第一种情况下，API 作者建议函数应该接收指向单个值的指针；而在第二种情况下，它表明它需要一个数组（例如，长度不确定，可能以 nullptr 结尾）。

你也可以写

int (func(int arg[3])

这在技术上也是相同的，只是它会提示 API 用户他们应该传入一个至少包含 3 个元素的 int 数组。在这些情况下，编译器不会强制执行任何这些添加的修饰符。

如果您想将数组复制到函数中（以非黑客的方式），您将首先在调用代码中创建它的副本，然后将其传递。或者，作为更好的选择，使用std::array（如@LightnessRacesinOrbit 所建议的那样）。

Answer 3

正如其他人所解释的，当你把 int arg[] 作为函数参数，这些括号内的内容并不重要（您甚至可以执行 int arg[5234234] 并且它仍然可以工作]，因为它不会改变它仍然只是一个普通 int * 的事实指针。

如果你真的想确保一个函数接受一个数组[]，最好像这样传递它

template<size_t size>
void func (const int (&in_arr)[size])
{
    int modifyme_arr[100];
    memcpy(modifyme_arr, in_arr, size);

    //now you can work on your local copied array
}

int arr[100];
func(arr);

或者如果你想要 100 个元素

    void func (const int (&arr)[100])
    {

    }

    func(arr);

这些是传递简单数组的正确方法，因为它可以保证你得到的是一个数组，而不仅仅是一个随机的 int * 指针，函数不知道它的大小。当然你可以传递一个“计数”值，但是如果你犯了一个错误并且它不是正确的怎么办？然后你得到缓冲区溢出。