Allocation failure of automatic objects

幻の上帝

https://groups.google.com/a/isoc ... cussion/xphK7zA65nU

std-discussion上混的还是太叒，最后竟无言可吱……

LH_Mouse

本身栈溢这种东西对于一个 Turing-complete 的 abstract machine 就是严(zhuang)格(zuo)不(kan)存(bu)在(jian)的东西，所以没什么可大惊小怪的。实际场景下来栈溢往往就是直接挂了，又不像 `std::terminate()` 那么容易撕清楚——注意如果允许函数调用行为本身丢异常，就无法定义严格的 `noexcept`，所以就是实实在在地(virtually)装不存在了。

幻の上帝

LH_Mouse 发表于 2017-12-31 02:37
本身栈溢这种东西对于一个 Turing-complete 的 abstract machine 就是严(zhuang)格(zuo)不(kan)存(bu)在(ji ...

然而看不见的是栈，资源耗尽只是装作看不见而已，结果也就是UB，而且还是用户完全没法不针对具体实现糊干净的那种。这个各种意义上实在过于zz了。

幻の上帝

幻の上帝 发表于 2017-12-31 02:39
然而看不见的是栈，资源耗尽只是装作看不见而已，结果也就是UB，而且还是用户完全没法不针对具体实现糊干 ...

再者Turing complete当实用模型也太叒鸡了，Turing machine都直接不管资源有限……

LH_Mouse

反正就是概率非常小直接无视了呗。c艹 这语言本身从结构上就不能防止无穷递归。

幻の上帝

LH_Mouse 发表于 2017-12-31 03:21
反正就是概率非常小直接无视了呗。c艹 这语言本身从结构上就不能防止无穷递归。 ...

小个蛋蛋。
不需要静态禁止递归，直接扔free store钦定std::alloc就够了。麻烦的都是实现，不会给spec添乱，反而减少一条UB。
然而C艹连这个都懒得做。

LH_Mouse

幻の上帝 发表于 2017-12-31 12:20
小个蛋蛋。
不需要静态禁止递归，直接扔free store钦定std::alloc就够了。麻烦的都是实现，不会给spec添 ...

搞不好最后实现会变成 std::get_temporary_buffer() 一样的没娘养的。

幻の上帝

续集……
https://groups.google.com/a/isoc ... cussion/xphK7zA65nU