c – 在函数参数列表中传递未初始化的变量是否定义明确？

发布时间：2020-12-16 03:44:27 所属栏目：百科来源：网络整理

导读：我有一些代码,基本上归结为以下内容： void bar(bool b,double f){ if (b){ double g = f; }}void foo(){ double f; bool b = false; bar(b,f);} 这里有任何未定义的行为吗？我怀疑可能有因为我在将f传递给bar时正在使用未初始化双倍的值副本.也就是说,我没

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

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

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

这里有任何未定义的行为吗？我怀疑可能有因为我在将f传递给bar时正在使用未初始化双倍的值副本.也就是说,我没有使用传递的double,因为if块不会运行.

如果我通过引用传递双重的话,一切都会好的：

void bar(bool b,double& f)

然后我不是“使用”一个未初始化的变量,而只是指它.

解决方法

是的,行为未定义.在函数参数列表中传递时,您正在获取未初始化的double的值副本.

通过引用传递是明确定义的,因为您所做的只是绑定对该double的引用.当然,访问该引用的行为将是未定义的.

N4140：

[dcl.init]

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

(省略了不相关的文本,与无符号窄字符类型有关)

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!