c – 结合静态断言和断言？

2019-08-30 00:05:43 阅读：235 来源： 互联网

我有一个看起来像这样的函数：

int div_round_up(int x, int y) {
    /**
     *  This function only works for positive divisor and non-negative dividend!!
     */
    assert(y > 0 && x >= 0);
    if (x == 0)
        return 0;
    return (x - 1) / y + 1;
}

它不适用于y< = 0或x< 0.这对我来说没关系,我甚至可以动态检查正确的值,但我想静态检查,当有人提供错误的值时.如果我将x和y定义为无符号,它们将从负值静默转换为巨大的正值,这将产生错误的结果,所以我不希望这样.当有人试图在div_round_up(变量,-7)中输入负值时,我想使编译失败.我该怎么办？

解决方法:

要在编译时验证一个数字(这是static_assert的作用),必须在编译时知道它.要了解为什么需要这样做,请考虑像div_round_up(read_integer_from_file(),read_keyboard_character()).这样做的明显缺点是你必须在编译时知道数字.

最简单的方法是使它们成为模板参数,这使您可以保持函数的实现(几乎)相同：

template<int x, int y>
int div_round_up() {
    static_assert(y > 0 && x >= 0, "This function only works for positive divisor and non-negative dividend");
    if (x == 0)
        return 0;
    return (x - 1) / y + 1;
}

它可以被称为div_round_up< 3,4>()和will fail the compilation when the static_assert fires.

标签：static-assert,c,assert
来源： https://codeday.me/bug/20190829/1764398.html

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

ICode9

c – 结合静态断言和断言？