fork download

copy

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;
}
 
int main() {
	auto a = div_round_up<3, 4>();
	auto b = div_round_up<2, -1>(); // Fails the static assert
}

prog.cpp: In instantiation of 'int div_round_up() [with int x = 2; int y = -1]':
prog.cpp:11:31:   required from here
prog.cpp:3:5: error: static assertion failed: This function only works for positive divisor and non-negative dividend
     static_assert(y > 0 && x >= 0, "This function only works for positive divisor and non-negative dividend");
     ^

Standard output is empty