c++ compile-time check function arguments

Question

I\'m searching a way to check function arguments in compile-time if it\'s possible to do for compiler.

To be more specific: assume that we have some class Matrix.

Answer 1

Run-time:

Matrix(int width, int height):
    x_size{width},
    y_size{height}
{
        assert(x_size>0);
        assert(y_size>0);
}

Compile-time (Actually you couldn't do it with function arguments. You can use template ways):

template 
class Matrix
{
    const size_t x_size = WIDTH;
    const size_t y_size = HEIGHT;

    static_assert(WIDTH > 0, "Width must > 0");
    static_assert(HEIGHT > 0, "Height must > 0");
};