8

如果可以为编译器做的话，我正在寻找一种在编译时检查函数参数的方法。

更具体地说：假设我们有一些类 Matrix。

class Matrix
{
    int x_size;
    int y_size;

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

int main()
{
    Matrix a; // good.
    Matrix b(1, 10); // good.
    Matrix c(0, 4); // bad, I want compilation error here.
}

那么，在传递给函数的静态（源编码）值的情况下，我可以检查或区分行为（函数重载吗？）？

如果值不是静态的：

std::cin >> size;
Matrix d(size, size);

我们只能进行运行时检查。但是如果值是在源代码中编码的？在这种情况下我可以进行编译时检查吗？

编辑：我认为这可以通过constexpr constructor实现，但无论如何都不允许使用和不使用 constexpr 进行重载。所以问题不能以我想的方式解决。

4

4 回答 4

6

要获得编译时错误，您需要一个模板：

template <int width, int height>
class MatrixTemplate : public Matrix
{
    static_assert(0 < width, "Invalid Width");
    static_assert(0 < height, "Invalid Height");
    public:
    MatrixTemplate()
    : Matrix(width, height)
    {}
};

（顺便说一句：我建议索引的无符号类型）

如果你没有 static_assert （这里我切换到无符号）：

template <unsigned width, unsigned height>
class MatrixTemplate : public Matrix
{
    public:
    MatrixTemplate()
    : Matrix(width, height)
    {}
};

template <> class MatrixTemplate<0, 0> {};
template <unsigned height> class MatrixTemplate<0, height> {};   
template <unsigned width> class MatrixTemplate<width, 0> {};

这里不支持空矩阵 (MatrixTemplate<0, 0>)。但是调整 static_asserts 或类 MatrixTemplate<0 应该是一件容易的事。0>。

于 2013-09-24T12:48:35.693 回答
3

您可以添加这样的方法：

template <int WIDTH, int HEIGHT>
Matrix CreateMatrix()
{
    static_assert(WIDTH > 0, "WIDTH > 0 failed");
    static_assert(HEIGHT > 0, "HEIGHT > 0 failed");

    return Matrix(WIDTH, HEIGHT);
}

int main() {
    Matrix m(0, 2);     // no static check
    Matrix m2 = CreateMatrix<0,2>(); // static check

    return 0;
}
于 2013-09-24T13:47:35.607 回答
1

线性代数包倾向于这样做的方式是使用固定大小矩阵的模板，如：

template<int x, int y> class Matrix { ... }

以及一个额外的矩阵类，可以在运行时改变大小

class DynamicMatrix {...}

当程序员想要固定大小的矩阵时，您仍然必须依赖实际使用第一个选项的程序员，但是模板版本很容易在xory为零时生成编译器错误。

于 2013-09-24T12:49:13.580 回答
0

运行：

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

编译时（实际上你不能用函数参数来做到这一点。你可以使用模板方式）：

template <size_t WIDTH, size_t HEIGHT>
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");
};
于 2013-09-24T12:57:39.720 回答