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

Question

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

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

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... */ } 

或者也许是 pointers，默认 arg 为 null：

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