我正在使用一个公开一个接口来使用的库.这个图书馆的一个功能就是这样:
template <int a> modify(){}
我必须修改参数从1到10,即调用修改与模板参数从1到10.为此,我写了这段代码(代码的基本版本,实际代码大得多).
for(int i=0; i<10; i++){ modify<i>(); }
在编译时,我收到以下错误
error: 'i' cannot appear in constant-expression
经过互联网上的一些链接,我知道我不能传递任何值作为模板参数,在编译时没有评估.
我的问题如下:
为什么编译时不能编译器对我进行评估?
2.有没有其他的实现我试图实现的目标,而不改变API接口?
解决方法
编译时我的价值是多少(不是常数)?除非执行循环,否则Ther是无效的.但执行不是“编译”
由于没有答案,编译器不能这样做.
由于没有答案,编译器不能这样做.
模板不是要执行的算法,而是要扩展以生成代码的宏.
你可以做的是依靠专业化来通过递归来实现迭代,如下所示:
#include <iostream> template<int i> void modify() { std::cout << "modify<"<<i<<">"<< std::endl; } template<int x,int to> struct static_for { void operator()() { modify<x>(); static_for<x+1,to>()(); } }; template<int to> struct static_for<to,to> { void operator()() {} }; int main() { static_for<0,10>()(); }
注意,通过这样做,实际上实例化了10个命名的函数
修改&℃,GT; …修改< 9>,分别由
static_for< 0,10> :: operator()… static_for< 9,10> :: operator().
迭代结束,因为static_for< 10,10>将从具有两个相同值的专业化实例化,这不做任何事情.