c++ - 模板参数是否在编译时评估？

Question

我知道模板是一个编译时构造，但我现在问自己的是:假设我有以下函数

void caller1() {
  function(1);
}
void caller2() {
  function(2);
}
void caller3() {
  function(3);
}

void function(int dimensions) {

  if(dimensions <= 0 || dimensions > 3)
     throw out_of_range("Wrong dims");

}

该检查在运行时不会有太大延迟，但我想知道我是否可以用模板化的函数替换该函数，并为模板提供“int dimensions”参数:我的问题是这是否会在编译时解决，并且为调用者调用的所有三个函数生成代码

Answer 1

如果表达式未在编译时求值，则它不能作为模板参数。

可以修改您的构造以执行编译时评估，但这不会导致运行时错误(异常)但会导致编译错误:

template<int N>
typename std::enable_if<(N>0 && N<=3)>::type function() {
     // stuff     
}

但这需要在编译时知道维度 N，这样您就可以像这样调用函数:

function<2>(); // OK
function<5>(); // compilation error