C ++非类型模板参数编译时间检查

Question

I have a C++ class with two non-type template parameters:

A dimension of type size_t and a const reference to a vector of objects.

template <size_t DIMENSION, const std::vector<Tuple>& BORDERS>
class Rule {
public:

  Rule(const std::vector<Tuple>& ranges, const Action& action) :
      ranges_(ranges),
      action_(action) {};

private:

  std::vector<Tuple> ranges_;
  Action action_;
};

Is there a possibility to ensure at compile time that the following condition holds?

DIMENSION == BORDERS.size()

Thank you in advance for any suggestions.

Answer 1

A vector is a dynamic container, so its size depends on how you use it at run-time. Unfortunately that means there is no compile-time check you can do to achieve what you want.

std::array may be more suitable in this case, as its size is fixed at compile time.