递归 constexpr 函数

问题描述

我正在阅读 Effective Modern C++ 并想尝试使用常量表达式来尝试一个非常基本的函数。我的 C++ 技能确实不是很好，但我无法弄清楚这段基本代码有什么问题：

constexpr int test( int x ) {
  // works if: return x == 43337,otherwise segmentation fault
  return x > 1000000 ? x+1 : test( x + 1 ); 
}

int main(int argc,char const *argv[])
{
  constexpr auto x = 0;
  cout << "Result: " << test( x );
  return 0;
}

如评论中所述，如果我使用 return x == 43337，则此代码有效，但任何更大的值都会导致分段错误。

这段代码有什么问题？如果我正确理解了 const 表达式，则计算应该在编译时进行，但是在我看来，计算是在运行时进行的。更大的值似乎会导致分段错误，因为调用堆栈太深。

但是，我不确定为什么我没有收到任何编译器错误，因为计算应该在编译时进行（显然不是）。

此外，如果我的方法签名如下所示，此代码是否有效：

constexpr decltype(auto) test( int x )

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

c++constexpr decltype recursion