为什么所有C++编译器都会崩溃或挂起此代码

Why do all C++ compilers crash or hang from this code?

本文关键字：崩溃 挂起 代码 C++ 编译器 为什么      更新时间：2023-10-16

当我测试过的每一个C++编译器编译时，以下代码都会崩溃或挂起，直到内存耗尽：

#include <tuple>
template<class... Ts>
auto f(Ts... ts){
return f(std::make_tuple(ts...)); 
}
auto a = f();

在GCC、Clang、MSVC、icc、ELLCC的各种版本上进行测试：https://godbolt.org/z/cwqiZK

我的问题是，为什么这些编译器没有实现模板深度限制或类似的安全性？我发现了一些代码示例，比如这个旧示例，会导致编译器挂起，但自从限制模板实例化深度成为标准以来，我能找到的所有问题似乎都得到了解决。

我应该注意，这不是make_tuple独有的，适用于tie、forward_as_tuple。。。等

作为警告，如果您尝试在本地编译，请确保使用类似ulimit的东西来确保编译器不会耗尽您的内存。在玩这个游戏的时候，我不得不硬重启几次。

GCC没有实现所有可能的可变函数模板递归检测方法(或者可能没有实现任何方法？(，这可能是由于评论中提出的各种问题。

OP示例看起来与2014年未解决的GCC错误59914非常相似(相同？(。对于GCC开发人员来说，防止此类错误，或者实际上防止此类错误在开发人员的工作站上爆发，似乎并不是一个高度优先事项。BTW-错误中报告的示例程序比OP更快地滥用内存：在800MB的数据限制下，我可以让OP进行150多次模板实例化，而错误报告中的程序在不到20次后就耗尽了内存。

这两个程序也会崩溃clang，所以我想clang开发人员有相似的优先级。

相关文章：