我有一些
代码,基本上归结为以下
内容：
- 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:
(省略了不相关的文本,与无符号窄字符类型有关)
