标签：c templates return code-coverage

对于任何数据类型,我有一个以单位为中心的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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。