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

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

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