0

我正在阅读有效的现代 C++ 并想尝试使用 const 表达式的一个非常基本的函数。我的 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 )

4

1 回答 1

1

在您的代码中，您不是test在需要编译时评估的上下文中调用，因此编译器可以在运行时自由评估调用，从而导致段错误。

test您可以通过使用结果初始化constexpr变量来强制调用的编译时上下文：

constexpr auto result = test( x );  // error

正如预期的那样，这会产生编译时错误：

error: constexpr variable 'result' must be initialized by a constant expression
  constexpr auto result = test( x );
                 ^        ~~~~~~~~~
note: constexpr evaluation exceeded maximum depth of 512 calls
...
于 2021-02-15T08:42:40.203 回答