是否可以在单个函数中使用默认参数和可变数量的参数？

Question

例如，这样的事情：

#include <cstdarg>

void my_function(int it=42, ...)
{
     /* va_list/start/arg/end code here */
}

上面的代码在 C++ 中到底意味着什么？它在 G++ 中编译得很好。请注意，我无法想象任何情况下这会有用，甚至无法想象它应该做什么。我只是好奇。

Answer 1

void my_function(int it=42, ...)

你说这个函数可以用 GCC 编译得很好，但是你不能使用默认参数，你还必须传递所谓的默认参数的参数，才能使用这个函数。

my_function("string", 98, 78, 99); //error
my_function(898, "string", 98, 78, 99); //ok, but the param 'it' becomes 898

问问自己：

第一个参数 898 是否对应于参数 it 还是它对应于可变参数（并且您打算使用默认值 42 > 对于它）？

编译器无法知道你的意图！

顺便说一句，@Johannes 指出了一个好点：您可以简单地调用 my_function() 而不传递任何参数。这是我看到的唯一可以使用默认参数的实例。

---

现在，如果您更改默认参数的位置，如下所示：

void f(..., int p = 10); //illegal

那么这在 C++ 中一开始就是非法的。

再次问问自己：如果允许，那么您可以将其称为：

f(9879, 97897, 7897);

最后一个参数 7897 是否对应于参数 p 或者它对应于可变参数（并且您打算使用 p 的默认值 10）？

在这种情况下，编译器也无法知道你的意图。

Answer 2

是的，这个函数声明在技术上没有任何问题，尽管我不推荐这种做法，因为很容易犯一个编译器在调用该函数时无法警告的错误。

您可以在第一个具有默认参数的参数处停止提供参数。如果您让默认参数接管，那么变量参数列表当然将为空。

您可以提供命名参数之外的参数，以便填充变量参数列表，在这种情况下，不会使用任何默认参数。

正如您所指出的，在实际情况下这是否真正有用是另一个问题。

Answer 3

void my_function(int it=42, ...){ /* va_list/start/arg/end code here */}

嗯，该代码应该完全按照它的样子执行。传递的第一个参数（如果有）是参数it，其余的是...。因此，如果您不传递任何参数，那么您的 it 参数将被分配默认值 (42)，并且 it （等于 42）是传递到函数中的唯一参数。

像这样的代码可能很有用，就像在类似情况下以 ... 结尾的参数列表的任何其他用法一样（并且风险具有相同的性质）。

示例：

您可以创建函数：

// DECLARATION:
// returns vector filled with items specified
std::vector<float> float_vector( size_t item_count = 0, ... /* floats */ );

// DEFINITION:
std::vector<float> float_vector( size_t item_count, ... )
{
    std::vector<float> vec;
    va_list ap;

    va_start(ap, item_count);
    for( ; item_count > 0; --item_count )
    {
        vec.push_back( va_arg(ap,float) );
    }
    va_end(ap);
    return vec;
}

显然 float_vector() 返回空向量，因为它相当于 float_vector(0)。在所有其他情况下，float_vector 的行为类似于具有可变数量参数的普通函数。