为什么在 Visual C++ 中堆栈溢出不会引发错误？

发布于 2024-09-13 02:36:52 字数 206 浏览 9 评论 0原文

在 Microsoft Visual C++ 2010 中，我创建了一个故意导致堆栈溢出的程序。当我使用“开始调试”运行程序时，发生堆栈溢出时会引发错误。当我使用“启动而不调试”运行它时，不会抛出任何错误，并且程序只是默默地终止，就好像它已成功完成一样。有人可以向我解释一下发生了什么事吗？还有其他编译器不会在堆栈溢出时抛出错误吗？

（我认为这是询问有关堆栈溢出问题的正确位置。）

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

黎夕旧梦 2024-09-20 02:36:52

C++ 不会像托管环境那样抓住你的手。堆栈溢出意味着未定义的行为。

回复收藏 0 原文

鹿! 2024-09-20 02:36:52

堆栈溢出是未定义的行为。编译器完全有权利忽略它或导致任何事件发生。

回复收藏 0 原文

小情绪 2024-09-20 02:36:52

因为当你的进程堆栈溢出时，它就不再是一个有效的进程了。 显示错误消息需要堆栈。

Raymond Chen最近讨论过这个问题。

至于为什么调试器能够抛出这样的异常，在这种情况下，进程会被保留，因为它以调试模式附加到调试器的进程。您的进程没有显示错误，而是调试器显示错误。

在 Windows 计算机上，您可以捕获与堆栈溢出相对应的 SEH 异常。例如，您可以查看 boost::regex 的源代码（Google for BOOST_REGEX_HAS_MS_STACK_GUARD）。

回复收藏 0 原文

記憶穿過時間隧道 2024-09-20 02:36:52

编译器很可能优化了预期的堆栈溢出。考虑以下伪代码示例：

void RecursiveMethod(int n)
{
    if (n % 1024 == 0)
        print n;

    // call recursively
    RecursiveMethod(n + 1);
}

该方法将递归地调用自身并很快溢出堆栈，因为没有退出条件。

然而，大多数编译器使用尾递归，一种将转移递归函数调用循环结构。

需要注意的是，使用尾递归，上面的程序将无限循环地运行，并且不会静默退出。

Bart de Smet 有一篇很好的博客文章，其中解释了该技术在 .NET 中的工作原理：

演示失败的案例 - x64 上的 StackOverflowException

It might well be that the compiler optimized the intended stack overflow away. Consider the following pseudo-code example:

void RecursiveMethod(int n)
{
    if (n % 1024 == 0)
        print n;

    // call recursively
    RecursiveMethod(n + 1);
}

The method will call itself recursively and overflow the stack pretty quickly because there is no exit condition.

However, most compilers use tail recursion, a technique which will transfer the recursive function call into a loop construct.

It should be noted that with tail recursion, the above program would run in an endless loop and not exit silently.

Bart de Smet has a nice blog article where explains how this technique works in .NET:

The Case of The Failed Demo – StackOverflowException on x64

回复收藏 0 原文

谁人与我共长歌 2024-09-20 02:36:52

在调试版本中，会进行许多堆栈检查，以帮助您检测堆栈溢出、堆栈损坏等问题。它们不会出现在发布版本中，因为它们会影响应用程序的性能。正如其他人指出的那样，堆栈溢出是未定义的行为，因此编译器根本不需要实现此类堆栈检查。

当您处于调试环境中时，运行时检查将帮助您检测发布构建中也会出现的问题，因此，如果您修复了调试构建中检测到的所有问题，那么它们也应该在发布构建中修复。。。理论上。在实践中，有时您在调试版本中看到的错误并不存在于发布版本中，反之亦然。

堆栈溢出不应该发生。通常，堆栈溢出仅在无意的递归函数调用或在堆栈上分配足够大的缓冲区时发生。前者显然是一个bug，后者应该使用堆来代替。

回复收藏 0 原文

孤凫 2024-09-20 02:36:52

在调试模式下，您需要开销。您希望它检测是否破坏了堆栈、溢出了缓冲区等。此开销内置于调试工具和调试器中。在高级术语中，调试工具是额外的代码和数据，放置在那里以帮助标记错误，调试器用于检测标记的错误并通知用户（当然，除了帮助您调试之外）。

如果您正在运行以发布模式编译的项目，或者没有附加调试器，那么当您的程序死亡时，没有人会听到它的尖叫声:) 如果一棵树倒在森林里...

取决于您的编程方式， C++ 是没有辅助轮的编程。如果你碰壁了，没有人会告诉你你搞砸了。你只会崩溃并燃烧，或者更糟糕的是，崩溃并在一种非常残废的状态下继续奔跑，而不知道有什么问题。正因为如此，它可以非常快。没有额外的检查或安全防护措施来防止它以处理器的全速和潜力（当然，还有您在程序中编码了多少额外步骤）来处理您的程序。

回复收藏 0 原文

~没有更多了~