c – 此函数是否在所有控制路径上都有明确的返回值？

对于任何数据类型,我有一个以单位为中心的Heaviside step function,我用以下编码：

template <typename T>
int h1(const T& t){
   if (t < 1){
       return 0;
   } else if (t >= 1){
       return 1;
   }
}

在代码审查中,我的审稿人告诉我,所有控制路径都没有明确的回报.编译器也没有警告我.但我不同意;条件相互排斥.我该如何处理？

解决方法:

这取决于模板的使用方式.对于int,你很好.

但是,如果t是IEEE754浮点双精度型,其值设置为NaN,则t< 1并且t> = 1都为真,因此程序控制到达if块的末尾！这会导致函数返回而没有显式值;其行为未定义. (在更一般的情况下,T以不覆盖所有可能性的方式重载<和> =运算符,程序控制将到达if块的末尾而没有显式返回.)

这里故事的寓意是决定哪个分支应该是默认的,并将其作为其他情况.

标签：c,templates,return,code-coverage
来源： https://codeday.me/bug/20191004/1852303.html