使用静态/全局变量作为默认参数

Question

在处理具有按 value 传递的默认参数的方法/函数时，我想出了一个解决方案，但我不确定它的方法是否有问题。

当所需的行为是将单个值作为默认参数时，只需指定一个值就足够了：

void foo(type arg=value)
{
    //do something using arg...
}

但是，例如，当所需的行为是生成随机值时，情况就不同了。 在这种情况下，为了生成一个随机值，我想出了给定的解决方案：

static type DEFAULT = /* value */; //static is optional, DEFAULT can be any name.
void foo(const type& arg=DEFAULT)
{
    type x;
    if(&arg == &DEFAULT)
        x = generate_random();
    else x = arg;
    // also we could use a ternary like
    // type x = (&arg == &DEFAULT? generate_random() : arg) 

    // do something with x...
}

使用这种方法有什么缺点吗？ 可以安全地将引用的地址与给定的默认参数的地址进行比较吗？ 这也适用于方法和静态类变量吗？

其他一些解决方案是：

使用附加签名重载：

void foo(){ /* do something using a random value */  }

void foo(type arg){ /* do something using arg... */ } 

或者可能是指针，而默认arg为空：

void foo(type* arg=null) { /* if arg is null, generate value.  */ }

Answer 1

我不明白你为什么要把它弄得这么复杂。 作为此功能的用户，我不希望它像现在这样工作。 如果签名是

void foo(const type& arg=DEFAULT);

然后我希望以下两个调用是等效的：

foo();
type x = DEFAULT;
foo(x);

问题不在于引用的地址。 引用只是原始变量的别名。 问题是您期望变量DEFAULT而不是它的值。 这不是函数参数的预期工作方式（即使它是按引用传递的）。

顺便说一句，上面的例子并不太做作。 试想一下，我想将参数放入向量中，然后为向量中的每个元素调用函数。 使用您当前的方法，我无法将DEFAULT放在向量中并将其传递给函数。 实际上更糟糕的是：我可以做到，但它不会做我期望的事情。

在这种特殊情况下，我会简单地像这样实现它：

void foo(T arg = 0, bool generateRandom = true) {
    T x;
    if(generateRandom) x = generate_random();
    else x = arg;

    // do something with x...
}

那么它可以这样调用：

foo(3.5,false); // uses the value
foo();          // generates a random value