可以使用C 14 constexpr函数中的for循环来实例化模板？

概述我一直在用一个SVN构建的笨蛋来混乱,试验一下松弛的constexpr规则.我一直无法确定的一个事情是,是否可以在一个constexpr函数的编译时循环遍历元组元素. 因为我没有符合C14标准的库进行测试,所以我已经准备了以下等效的测试： template<int N>constexpr int foo() { return N;}constexpr int getSum() { 我一直在用一个SVN构建的笨蛋来混乱,试验一下松弛的constexpr规则.我一直无法确定的一个事情是,是否可以在一个constexpr函数的编译时循环遍历元组元素.

因为我没有符合C14标准的库进行测试,所以我已经准备了以下等效的测试：

template<int N>constexpr int foo() {  return N;}constexpr int getSum() {  auto sum = 0;  for (auto i = 0; i < 10; ++i) {    sum += foo<i>();  }  return sum;}constexpr auto sum = getSum();

这里有趣的部分是foo< i>().在非constexpr函数中,我希望这无法编译,因为您根本不能使用运行时的int来生成模板的编译时实例化.因为这是一个constexpr函数,我怀疑这是否可能.特别是,在编译时,该值是已知的,即使允许变更.

我知道以下代码将编译：

constexpr auto nValue = 2;foo<nValue>();

在SVN clang中,我的第一个例子不是：

test2.cpp:19:12: error: no matching function for call to 'foo'    sum += foo();           ^~~~~~test2.cpp:11:15: note: candIDate template ignored: invalID explicitly-specifIEd      argument for template parameter 'N'constexpr int foo() {              ^

对于初学者,我很难解释这个错误信息的第二部分.除此之外,它是否受到C14标准的授权,如果是这样,有没有人知道为什么不允许这种语法(简单的监督或防止某些东西)？

解决方法

That asIDe,is it mandated by the C++14 standard,and if so,does anyone kNow why this Syntax wouldn’t be allowed (simple oversight or to protect against something)?

这是因为constexpr不是编译时计算或使用的排他性.一个constexpr函数就是在一个常量表达式中使用一个函数(或变量).除此之外,它们是常规功能.在某些上下文(例如static_assert或数组大小等)中,常常表达式仅仅是编译时的情况.

你会在你的代码中注意到你循环一个变量,但你自己循环的变量不是constexpr,所以它不是一个常量表达式,用于N的模板实例化.因为它是没有不同于在这11 C：

constexpr bool f(int x) {    static_assert(x > 10,"..."); // invalID    return true;}

这显然是无效的,因为如前所述,您不必在独占的编译时情况下使用constexpr函数.例如,没有什么阻止你这样做：

constexpr int times_ten(int x) {    return x * 10;}int main() {   int a = times_ten(20); // notice,not constexpr   static_assert(times_ten(20) == 200,"...");   static_assert(a == 200,"..."); // doesn't compile}

总结

以上是内存溢出为你收集整理的可以使用C 14 constexpr函数中的for循环来实例化模板？全部内容，希望文章能够帮你解决可以使用C 14 constexpr函数中的for循环来实例化模板？所遇到的程序开发问题。

如果觉得内存溢出网站内容还不错，欢迎将内存溢出网站推荐给程序员好友。