c++ - 在定义明确的函数参数列表中传递未初始化的变量吗？

Question

我有一些代码基本上可以归结为以下内容:

void bar(bool b, double f)
{
    if (b){
        double g = f;
    }
}

void foo()
{
    double f;
    bool b = false;
    bar(b, f);
}

这里有没有未定义的行为？我怀疑可能是因为我在将 f 传递给 bar 时获取了未初始化的 double 的值拷贝。也就是说，我没有使用传递的 double，因为 if block 将不会运行。

此外，如果我通过引用传递 double 是否一切都很好:

void bar(bool b, double& f)

那么我不是在“使用”一个未初始化的变量，而只是引用它。

Answer 1

是的，行为未定义。在函数参数列表中传递未初始化的 double 时，您正在获取它的值拷贝。

通过引用传递是明确定义的，因为您所做的只是将该引用绑定(bind)到那个double。当然，访问该引用的行为将是未定义的。

N4140:

[dcl.初始化]

12 ... If an indeterminate value is produced by an evaluation, the behavior is undefined except in the following cases:

(省略不相关的文字，属于无符号窄字符类型)